NilFoundation / crypto3
Modern Cryptography Suite in C++17
☆85Updated 6 months ago
Alternatives and similar repositories for crypto3:
Users that are interested in crypto3 are comparing it to the libraries listed below
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆34Updated 8 months ago
- fast zksnark prover☆119Updated last year
- C++ implementation of Ethereum JSON RPC daemon within Thorax architecture☆46Updated last year
- Extended precision integer C++ library☆142Updated 3 weeks ago
- A Zig implementation of Poseidon2 hash function.☆11Updated last month
- ☆11Updated 3 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Fiat-Shamir for the masses.☆63Updated 2 weeks ago
- ☆59Updated 4 months ago
- R1CS constraints for bits, fields, and elliptic curves☆156Updated last week
- Poseidon hash function☆75Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- Zirgen compiler and RISC Zero circuits☆92Updated this week
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- ☆76Updated 3 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆64Updated last week
- C++ library for Fast Fourier Transforms in finite fields☆95Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 7 months ago
- ☆81Updated 4 years ago
- SMT 2023 Submission; license pending☆53Updated 5 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆213Updated 2 months ago
- C++ elliptic curve library☆134Updated 2 years ago
- ☆60Updated 2 years ago
- ☆23Updated 2 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆130Updated last year