whbjzzwjxq / ZKAPView external linksLinks
☆25Aug 14, 2024Updated last year
Alternatives and similar repositories for ZKAP
Users that are interested in ZKAP are comparing it to the libraries listed below
Sorting:
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- ☆16Jan 5, 2023Updated 3 years ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 8 months ago
- A new type of zk-EVM for L2 rollup☆10Feb 1, 2025Updated last year
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Jul 30, 2024Updated last year
- ☆36Oct 14, 2024Updated last year
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 weeks ago
- Code used in a recent presentation showing off noir storage proofs☆15Jul 30, 2023Updated 2 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆713Dec 19, 2024Updated last year
- Checklist for security audit of ZKP projects by @positivesecurity☆34Sep 12, 2024Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16May 23, 2023Updated 2 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆36Oct 18, 2024Updated last year
- ☆15Oct 5, 2024Updated last year
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- A compiler to turn GO code into a zkSNARK☆16Jul 19, 2021Updated 4 years ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Aug 17, 2024Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- ☆41Jan 7, 2024Updated 2 years ago
- circom runtime☆20Oct 18, 2024Updated last year
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- Minimal Yul Transpilation to the Miden VM☆52Jan 27, 2023Updated 3 years ago
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated 3 weeks ago
- Tool to simulate EVM blockchain transactions output and effects without actually executing them on the network☆18Apr 27, 2023Updated 2 years ago
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆93Mar 13, 2024Updated last year