-
Hacken
- http://hacken.io
Stars
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.