NilFoundation / crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
☆33Updated 6 months ago
Alternatives and similar repositories for crypto3-zk:
Users that are interested in crypto3-zk are comparing it to the libraries listed below
- Proof system with plonkup back-end proving arguments☆14Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- Cryptography libraries for ZKsync☆27Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- 🪩 verify plonky3 proofs in plonky2☆18Updated 10 months ago
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 6 years ago
- Vectorized AVX-512 256-bit arithmetic library☆30Updated 4 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
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 2 months ago
- efficient modular multiplication research☆14Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆29Updated 2 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 5 months ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Pairing-friendly elliptic curve library☆23Updated 6 months ago
- ☆28Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- fft impl for ff::Field☆15Updated 9 months ago
- ☆11Updated 3 years ago
- ☆28Updated this week
- Intel assembly finite field library generator☆12Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆23Updated 7 months ago
- Spartan on Arkworks☆40Updated 2 months ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆38Updated 5 years ago
- R1CS constraints for non-native field arithmetic☆20Updated 3 years ago
- ☆23Updated 2 years ago
- =nil; Foundation's Algebraic Operations and Structures Module☆9Updated 8 months ago
- An elastic proof system based on arkworks☆80Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆15Updated this week
- A parallel proving service for ZKM.☆21Updated this week