cryptosubtlety / 00
Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
☆64Updated last year
Related projects ⓘ
Alternatives and complementary repositories for 00
- Automated verification of uniqueness property for ZKP circuits☆70Updated 7 months ago
- SMT 2023 Submission; license pending☆52Updated last month
- Reproduce ZKP vulnerabilities☆43Updated 3 weeks ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆107Updated 2 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- Arkworks circuits for verifiable time-lock encryption☆86Updated 2 years ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆92Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- An automated fuzz harness generator for Go projects☆14Updated last month
- ☆60Updated last year
- ☆117Updated last month
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- A curated list of awesome security resources for ZK.☆64Updated 2 weeks ago
- Circuits library for matrix operations in circom☆32Updated 4 months ago
- Write-ups submitted by CTF participants☆34Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆47Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 10 months ago
- ☆29Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆62Updated 4 months ago
- ☆78Updated 3 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you s…☆43Updated 9 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆117Updated last year
- Validation code for the EOF specification☆43Updated this week
- ☆46Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- ☆40Updated 10 months ago
- Benchmarks of popular zkVMs including Jolt☆56Updated 6 months ago