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) |
|---|---|---|---|---|---|
| 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 |
| ZK #26 | Sep 2024 | 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.