Picus
In-house ZK circuit vulnerability detection tool by Veridise. Specifically designed for ensuring correctness of zero-knowledge circuit implementations.
About
Picus is Veridise's automated formal verifier for zero-knowledge circuits. It identifies under-constrained circuits, soundness bugs, and implementation flaws, and supports Circom and Zirgen. An early version is open-sourced under MIT; the current version is proprietary and offered through Veridise's AuditHub. Veridise lists RISC Zero, Succinct, and Linea among users.
Categories
Static Analyzers ZK Security
Chains
ethereum starknet scroll
Want a human review too? Browse auditors with ZK proofs expertise →