SafeAILab / zkDL
zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
☆44Updated last year
Alternatives and similar repositories for zkDL:
Users that are interested in zkDL are comparing it to the libraries listed below
- ☆74Updated 3 months ago
- SysX☆19Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆80Updated 2 years ago
- ☆78Updated this week
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆40Updated last year
- Demo of ML for MNIST classification in a zero knowledge proof☆121Updated 2 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆106Updated this week
- ☆17Updated 3 months ago
- ☆33Updated 2 months ago
- ☆58Updated 3 years ago
- Zirgen compiler and RISC Zero circuits☆92Updated this week
- Circom Circuits Library for Machine Learning☆175Updated 10 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆36Updated last year
- Verifying a 512-layer CNN w/ Nova☆164Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆28Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- ☆16Updated 7 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆77Updated 3 months ago
- ☆12Updated last year
- ☆14Updated 3 years ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 4 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆91Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆43Updated 2 years ago
- ☆107Updated last year
- A ZKP-augmented fork of the OpenFHE library☆17Updated 9 months ago
- building blocks for accelerating ZK proofs over binary fields☆45Updated 8 months ago