SafeAILab / zkDLLinks
zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
☆43Updated last year
Alternatives and similar repositories for zkDL
Users that are interested in zkDL are comparing it to the libraries listed below
Sorting:
- ☆78Updated 5 months ago
- SysX☆21Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆82Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆42Updated last month
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆111Updated this week
- Demo of ML for MNIST classification in a zero knowledge proof☆122Updated 2 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆28Updated last year
- Verifying a 512-layer CNN w/ Nova☆166Updated 2 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated 2 years ago
- ☆49Updated 2 months ago
- ☆17Updated 8 months ago
- Circom Circuits Library for Machine Learning☆176Updated 11 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 6 months ago
- Zirgen compiler and RISC Zero circuits☆95Updated last week
- ☆20Updated 4 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆26Updated 2 years ago
- ☆39Updated 3 months ago
- ☆14Updated 3 years ago
- Verifiable FHE prototype☆24Updated 9 months ago
- ☆76Updated 5 months ago
- ☆79Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 6 months ago
- ☆53Updated last week
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆36Updated last year
- ☆59Updated 3 years ago