NilFoundation / crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
☆33Updated 7 months ago
Alternatives and similar repositories for crypto3-zk:
Users that are interested in crypto3-zk are comparing it to the libraries listed below
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- STARK book☆20Updated 6 months ago
- Spartan on Arkworks☆40Updated 3 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated last year
- Modern Cryptography Suite in C++17☆85Updated 5 months ago
- fft impl for ff::Field☆15Updated 10 months ago
- ☆30Updated 3 weeks ago
- Solidity verifier for Plonk☆41Updated 7 months ago
- ☆28Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆24Updated 9 months ago
- ☆50Updated last month
- Rust library for accumulation schemes☆23Updated 2 years ago
- ☆32Updated 2 years ago
- Rescue and Poseidon hash function implementations☆42Updated 7 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- ☆26Updated 2 weeks ago
- Vectorized AVX-512 256-bit arithmetic library☆30Updated 5 months ago
- ☆28Updated 5 months ago
- Pairing-friendly elliptic curve library☆23Updated 7 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆33Updated 2 years ago
- R1CS constraints for non-native field arithmetic☆20Updated 3 years ago
- Simple implementation of KZG commitments in C☆35Updated 2 years 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
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year