HN Explorer

vons

↗ HN profile [ 5623 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Year Finding and Exploiting Bugs Became Cheap, and What to Do About It (blog.zksecurity.xyz)
    2 points 0
  2. The First ZK Exploits Happened, and They Weren't What We Expected (blog.zksecurity.xyz)
    2 points 0
  3. Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz)
    77 points 5
  4. Awesome-ZKP-Security (github.com)
    2 points 0
  5. Tornado Cash has been removed from GitHub (github.com)
    2 points 2
  6. Well-typed programs can go wrong, finding bugs in compilers [pdf] (theosotr.github.io)
    3 points 1