Skip to content
Circomspect has more passes!
blog.trailofbits.com | blog | #cryptography | #static-analysis | #blockchain | #zero-knowledge | #trail-of-bits | #circomspect | #circom
Summary
Circomspect 0.8.0 adds five analysis passes for Circom ZK circuits — unconstrained signals, division-by-zero, Circomlib LessThan misuse — and would have caught the million-dollar ZK bug.
- Published
- Collected