Veridise
4.6/5 Founded 2021 Team: 35+ $$$
About
Academic-founded ZK security specialists with in-house detection tools (Picus) designed specifically for zero-knowledge circuits. Team includes multiple PhDs in formal methods, software security, and blockchain. The leading choice for ZK circuit audits where mathematical correctness is paramount.
Specialties
zk proofs formal verification smart contracts cryptography circuit auditing
Supported Chains
ethereum polygon arbitrum starknet scroll
Notable Audits
Risc Zero Succinct Linea Scroll
Turnaround
4-10 weeks
Team Size
35+
Public Reports
Yes