The Year Finding and Exploiting Bugs Became Cheap, and What to Do About It b blog.zksecurity.xyz 4 vons 2 months ago 0 comments
The First ZK Exploits Happened, and They Weren't What We Expected b blog.zksecurity.xyz 2 vons 8 months ago 0 comments
Clean, a formal verification DSL for ZK circuits in Lean4 b blog.zksecurity.xyz 77 vons 1 year ago 5 comments
Well-typed programs can go wrong, finding bugs in compilers [pdf] t theosotr.github.io 3 vons 4 years ago 1 comments