NilFoundation / crypto3
Modern Cryptography Suite in C++17
☆80Updated last month
Related projects ⓘ
Alternatives and complementary repositories for crypto3
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Updated 3 months ago
- Extended precision integer C++ library☆132Updated last month
- fast zksnark prover☆119Updated last year
- C++ library for Finite Fields and Elliptic Curves☆154Updated 3 years ago
- ☆11Updated 3 years ago
- ☆78Updated 4 years ago
- C++ library for Fast Fourier Transforms in finite fields☆95Updated 3 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated 10 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆55Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆36Updated 5 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆125Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆140Updated 3 weeks ago
- C++ implementation of Ethereum JSON RPC daemon within Thorax architecture☆45Updated 10 months ago
- An elastic proof system based on arkworks☆76Updated 11 months ago
- C++ elliptic curve library☆134Updated last year
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆209Updated 3 months ago
- Recursive SNARKs based on Plonk and Halo☆113Updated 3 years ago
- C++ library for IOP-based zkSNARKs☆149Updated 10 months ago
- Poseidon hash function☆73Updated last year
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆92Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆64Updated 5 months ago
- An `arkworks` library for low-degree testing☆20Updated 2 months ago
- DPC with Universal Setup☆45Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- elliptic curve construction tool☆17Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆47Updated 2 years ago