NilFoundation / crypto3
Modern Cryptography Suite in C++17
☆79Updated 3 weeks ago
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 11 months ago
- ☆11Updated 3 years ago
- C++ elliptic curve library☆134Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆136Updated last week
- C++ library for Fast Fourier Transforms in finite fields☆96Updated 3 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated 10 months ago
- In-EVM Solana Light Client State Verification☆34Updated 6 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- C++ library for Finite Fields and Elliptic Curves☆155Updated 3 years ago
- DPC with Universal Setup☆45Updated last year
- elliptic curve construction tool☆17Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆107Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆175Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 10 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆209Updated 2 months ago
- Poseidon hash function☆73Updated last year
- An elastic proof system based on arkworks☆76Updated 10 months ago
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆55Updated last year
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 10 months ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆32Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- ☆60Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆36Updated 5 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- ☆78Updated 3 years ago