vons's submissions | Hacker News

1.		The First ZK Exploits Happened, and They Weren't What We Expected (zksecurity.xyz)
		2 points by vons 64 days ago \| past
2.		Clean, a formal verification DSL for ZK circuits in Lean4 (zksecurity.xyz)
		77 points by vons on March 27, 2025 \| past \| 5 comments
3.		Awesome-ZKP-Security (github.com/stefanoschaliasos)
		2 points by vons on July 31, 2024 \| past
4.		Tornado Cash has been removed from GitHub (github.com/tornadocash)
		2 points by vons on Aug 9, 2022 \| past \| 2 comments
5.		Well-typed programs can go wrong, finding bugs in compilers [pdf] (theosotr.github.io)
		3 points by vons on June 4, 2022 \| past \| 1 comment