Zero-Knowledge circuits
At Veridise, we have conducted academic research on identifying vulnerabilities related to zero-knowledge proofs and developed in-house tools for enhanced bug detection.
Audit report highlights:
Blog posts:
10 min read 10 min read 
6 min read 6 min read How to prepare for an audit?
We are the leading security and analysis tools providers for all layers of the Web3 ecosystem, including smart contracts, zero-knowledge circuits, blockchain implementations and much more.
We have a deep track record of identifying critical vulnerabilities in projects and protocols that other security companies and auditors missed.
So far, we have audited thousands of lines of code and counting, and have found more than 100 high-severity bugs.