NilFoundation / crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
☆33Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for crypto3-zk
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- FHE in the Risc0 zkVM☆25Updated 11 months ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆15Updated last year
- Spartan on Arkworks☆38Updated 4 months ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆32Updated 2 months ago
- ☆25Updated 5 months ago
- An `arkworks` library for low-degree testing☆20Updated 2 months ago
- Fiat-Shamir for the masses.☆42Updated last week
- STARK book☆21Updated last month
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Cryptography libraries for ZKsync☆20Updated last week
- R1CS constraints for non-native field arithmetic☆20Updated 3 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 4 months ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆38Updated this week
- Pairing-friendly elliptic curve library☆23Updated 2 months ago
- ☆31Updated last year
- 🪩 verify plonky3 proofs in plonky2☆19Updated 7 months ago
- Intel assembly finite field library generator☆12Updated 11 months ago
- DPC with Universal Setup☆45Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Simple implementation of KZG commitments in C☆33Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆52Updated last month
- ☆11Updated 3 years ago
- Cryptographic protocols☆37Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆16Updated 6 months ago
- ☆37Updated 2 years ago