HNHacker News
TopNewBestAskShowJobs

vons

42 karma · joined June 3, 2022

submissionscomments

The Year Finding and Exploiting Bugs Became Cheap, and What to Do About It

blog.zksecurity.xyz·4 pts·vons·
0

The First ZK Exploits Happened, and They Weren't What We Expected

blog.zksecurity.xyz·2 pts·vons·
0

Clean, a formal verification DSL for ZK circuits in Lean4

blog.zksecurity.xyz·77 pts·vons·
5

Awesome-ZKP-Security

github.com·2 pts·vons·
0

Tornado Cash has been removed from GitHub

github.com·2 pts·vons·
2

Well-typed programs can go wrong, finding bugs in compilers [pdf]

theosotr.github.io·3 pts·vons·
1