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 8 months ago
- SMT 2023 Submission; license pending☆52Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- Reproduce ZKP vulnerabilities☆43Updated last month
- Arkworks circuits for verifiable time-lock encryption☆86Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- Write-ups submitted by CTF participants☆35Updated last year
- ☆60Updated last year
- Circuits library for matrix operations in circom☆32Updated 5 months ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- ☆78Updated 4 years ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆47Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆234Updated 5 months ago
- ☆117Updated 2 months ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Implementation of Plonk by Hand in rust☆61Updated 8 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 5 months ago
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- ☆41Updated 11 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- A curated list of repos related to Circom☆94Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆127Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year