zkVM applications
At Veridise, we have extensive experience auditing zkVM applications such as Steel, Kailua, Malda, and vlayer. Built on zkVMs like RISC Zero, these applications aim to deliver scalable, verifiable computation — and we ensure their security from the ground up.
Related blog posts
10 min read 10 min read 
6 min read 6 min read 
zkVM Applications audits
| Protocol | Resource | Start Date | Company | Language(s) | Tag(s) |
|---|---|---|---|---|---|
| Matter Labs: ZKsync Airbender | Report | Feb 2026 | Matter Labs | Rust | zkVM Application, RISC-V, Rust |
| Boundless: Kailua | Report | Feb 2026 | Boundless | Solidity | Smart Contracts, zkVM Application, Solidity, OP-Stack Dispute Game, risc0 |
| Boundless: Kailua | Report | Oct 2025 | Boundless | Rust | zkVM Application, Risc0, Rust, OP-Stack Dispute Game, Kona |
| EigenDA: Hokulea | Report | Oct 2025 | EigenDA | Rust | zkVM Application, Rust, SP1, Rollup, Risc0 |
| 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 |
| Wormhole: Boundless Transceiver | Report | Sep 2025 | Wormhole | Solidity, Rust | Smart Contracts, zkVM Application, Solidity, Risc0, Rust, OpenZeppelin, wormhole |
| Boundless: Fulfilment Data | Report | Sep 2025 | Boundless | Rust, Solidity | Smart Contracts, zkVM Application, Risc0, Solidity, Rust, Auction |
| Succinct: SP1 Call Contract | Report | Jun 2025 | Succinct | Solidity, Rust | SP1, Solidity, zkVM Application |
| RISC Zero: Kailua Protocol | Report | May 2025 | Risc Zero | Rust | zkVM Application, Risc0, Rust, OP-Stack Dispute Game, Kona, Alloy |
| RISC Zero: Kailua Protocol | Report | May 2025 | Risc Zero | Rust, Solidity | Smart Contracts, zkVM Application, Solidity, Risc0, Rust, OP-Stack Dispute Game, Optimism, Alloy, risc0 |
| RiscZero: steel | Report | Apr 2025 | Risc Zero | Rust | Relayer/Off-Chain Backend Service, zkVM Application, Risc0, Rust, Library/Infrastructure, Alloy |
| vlayer | Report | Feb 2025 | vlayer | Solidity, Rust | Smart Contracts, Solidity, ZK Circuits, zkVM Application |
| Malda: zk-coprocessor | Report | Jan 2025 | Malda | Rust | Smart Contracts, Solidity, ZK Circuits, zkVM Application |
| Malda: Lending | Report | Jan 2025 | Malda | Solidity | Smart Contracts, Solidity, ZK Circuits, zkVM Application |
| RISC Zero: Kailua | Report | Jan 2025 | Risc Zero | Rust,Solidity | zkVM Application, Risc0, FaultProofs |
| RiscZero: Steel | Report | Sep 2024 | Risc Zero | Rust | Relayer/Off-Chain Backend Service, zkVM Application, Risc0, Library/Infrastructure |
| RiscZero: Blobstream Zero | Report | Sep 2024 | Risc Zero | Rust,Solidity | Relayer/Off-Chain Backend Service, Smart Contracts, zkVM Application, Risc0 |
Secure your ZK stack with industry experts
Learn how we lead in ZK auditing – with tools,
resources, academic research, and success stories included.