1 repositorio
Scans Circom circuits and ZK proof code for memory safety, logic flaws, and insecure cryptographic transformations.
Distinct from Zero-Knowledge Proof Frameworks: Distinct from Zero-Knowledge Proof Frameworks: focuses on auditing existing implementations for vulnerabilities rather than providing frameworks for building ZK applications.
Explore 1 awesome GitHub repository matching security & cryptography · Implementation Audits. Refine with filters or upvote what's useful.
Scans Circom circuits and ZK proof code for memory safety and logic flaws that enable proof forgery.