vons

7 ms·

1. 1.▲
   The Year Finding and Exploiting Bugs Became Cheap, and What to Do About It(blog.zksecurity.xyz)

   4 points by vons 10d ago|0 comments
2. 2.▲
   The First ZK Exploits Happened, and They Weren't What We Expected(blog.zksecurity.xyz)

   2 points by vons 7mo ago|0 comments
3. 3.▲
   by vons 1y ago

   So, EOF is basically an object format for EVM (Ethereum Virtual Machine) bytecode. You can learn more here: https://evmobjectformat.org/ . Clean is basically a DSL for writing zero-knowledge-proof circuits, so it is unrelate
4. 4.▲
   Clean, a formal verification DSL for ZK circuits in Lean4(blog.zksecurity.xyz)

   77 points by vons 1y ago|5 comments
5. 5.▲
   Awesome-ZKP-Security(github.com)

   2 points by vons 2y ago|0 comments
6. 6.▲
   Tornado Cash has been removed from GitHub(github.com)

   2 points by vons 4y ago|2 comments
7. 7.▲
   Well-typed programs can go wrong, finding bugs in compilers [pdf](theosotr.github.io)

   3 points by vons 4y ago|1 comments