Koukyosyumei / zkFuzzLinks
ZK Circuit Fuzzer (IEEE S&P'26)
☆34Updated last month
Alternatives and similar repositories for zkFuzz
Users that are interested in zkFuzz are comparing it to the libraries listed below
Sorting:
- SMT 2023 Submission; license pending☆56Updated last year
- Automated verification of uniqueness property for ZKP circuits☆92Updated last year
- Automated verification of uniqueness property for ZKP circuits☆44Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- A monorepo of reusable Circom circuits.☆27Updated 6 months ago
- ☆48Updated 2 years ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆37Updated 2 months ago
- A curated list of awesome security resources for ZK.☆112Updated last month
- ☆74Updated 3 months ago
- ☆26Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- A course on Halo2 in collaboration with Zircuit☆34Updated 11 months ago
- ZK proofs for image authenticity☆48Updated 2 months ago
- ☆93Updated last week
- AES-GCM implementation in Circom☆38Updated 3 years ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Circom circuits library for magnificent ZK applications☆14Updated 6 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 6 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆46Updated 7 months ago
- Interactive formal verification tool for Yul programs☆75Updated last month
- ☆27Updated 8 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- ☆65Updated 7 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆46Updated 2 weeks ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆57Updated 5 months ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 6 months ago
- Circuits library for matrix operations in circom☆33Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆75Updated last month