Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by vons
Clean, a formal verification DSL for ZK circuits in Lean4
77 points
vons
2025-03-27T18:33:00Z
blog.zksecurity.xyz
Awesome-ZKP-Security
2 points
vons
2024-07-31T15:50:19Z
github.com
Tornado Cash has been removed from GitHub
2 points
vons
2022-08-09T07:21:07Z
github.com
Well-typed programs can go wrong, finding bugs in compilers [pdf]
3 points
vons
2022-06-04T06:32:30Z
theosotr.github.io