Skip to content
It pays to be Circomspect
blog.trailofbits.com | research | #vulnerability | #static-analysis | #blockchain | #zero-knowledge-proofs | #circomspect | #circom | #tornado-cash
Summary
Trail of Bits open-sourced Circomspect, a static analyzer for Circom zero-knowledge circuits that would have caught the Tornado.cash deposit-forgery flaw, which boiled down to a two-character fix.
- Published
- Collected