Hacker News new | ask | show | jobs
user: vons
created: 2022-06-03
karma: 42

submissions:

The First ZK Exploits Happened, and They Weren't What We Expected
2 points | 0 comments
0 points | 0 comments
Clean, a formal verification DSL for ZK circuits in Lean4
77 points | 5 comments
Awesome-ZKP-Security
2 points | 0 comments
Tornado Cash has been removed from GitHub
2 points | 2 comments
Well-typed programs can go wrong, finding bugs in compilers [pdf]
3 points | 1 comments