Zero-Knowledge Virtual Machines (zkVM)
zkVMs represent a new paradigm in verifiable computation and blockchain scalability.
At Veridise, we have extensive experience auditing zkVMs such as RISC Zero, Linea, and Succinct.
Related blog posts
10 min read 10 min read 
6 min read 6 min read 
Zero-Knowledge Virtual Machines (zkVM) audits
| Protocol | Resource | Start Date | Company | Language(s) | Tag(s) |
|---|---|---|---|---|---|
| ZKM: Ziren zkVM | Report | Oct 2025 | ZKM | Rust | zkVM Application, ZK Circuits, starky, plonky3, Rust, zkVM, Precompile / Accelerator, SHA2, Poseidon, Elliptic Curve Operations, SP1, sp1 |
| RISC Zero: Bigint2 Precompile | Report | Oct 2024 | Risc Zero | ZK Circuits, Library/Infrastructure, zkVM | |
| RISC Zero: RISC Zero zkVM | Report | Jul 2024 | Risc Zero | C++,Circom,Rust | ZK Circuits, Zirgen, Library/Infrastructure, Recursive Verifier, zkVM |
| ZK #17 | Jul 2024 | Rust | ZK Circuits, plonky3, zkVM | ||
| DeFi #80 | Jul 2024 | Solidity | Smart Contracts, Gnark, Solidity, zkVM |
Secure your ZK stack with industry experts
Learn how we lead in ZK auditing – with tools,
resources, academic research, and success stories included.