zksecurity / zkbugs
Reproduce ZKP vulnerabilities
☆30Updated this week
Related projects: ⓘ
- Write-ups submitted by CTF participants☆34Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- My personal notebook for various zk-related topics☆47Updated 5 months ago
- Automated verification of uniqueness property for ZKP circuits☆65Updated 6 months ago
- SMT 2023 Submission; license pending☆48Updated this week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆68Updated 8 months ago
- Zero-Knowledge University☆28Updated last month
- A collection of all the project ideas involving zk, blockchains & what not☆22Updated last year
- A curated list of repos related to Circom☆93Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆63Updated 6 months ago
- Provides tools for testing circom circuits.☆56Updated 2 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆24Updated 2 months ago
- Playing with zero-knowledge proof languages☆105Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆11Updated 3 months ago
- Poseidon hash function implemented in Solidity☆40Updated last month
- Ecne: An engine for verifying the soundness of R1CS constraints☆101Updated 2 years ago
- PoC of Revm execution in SGX☆78Updated 10 months ago
- ☆29Updated last year
- Export Circom verifier to Cairo☆48Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆60Updated this week
- Honk Verifier in Solidity☆48Updated this week
- ☆58Updated last month
- group signatures implemented with zkSNARKs☆83Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆10Updated last year
- Circuits library for matrix operations in circom☆32Updated 3 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- ☆29Updated last year
- Crypto Gadgets for Plonky2☆69Updated 4 months ago
- ☆20Updated last month
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆71Updated this week