SafeAILab / zkDL
zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for zkDL
- ☆51Updated last month
- SysX☆15Updated 7 months ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆72Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆25Updated last year
- Demo of ML for MNIST classification in a zero knowledge proof☆119Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆110Updated 8 months ago
- ☆64Updated 3 weeks ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆16Updated last year
- ☆23Updated 2 months ago
- zero knowledge proof for NN inference☆79Updated 3 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 8 months ago
- Verifying a 512-layer CNN w/ Nova☆156Updated last year
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated last year
- ☆15Updated 2 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆65Updated 2 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆31Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆30Updated last year
- ☆55Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆42Updated 3 months ago
- An elastic proof system based on arkworks☆76Updated 11 months ago
- ☆46Updated this week
- ☆12Updated 3 years ago
- Circom Circuits Library for Machine Learning☆166Updated 5 months ago
- ☆345Updated 6 months ago
- Benchmark of multiple zk implementations.☆82Updated last year
- ☆70Updated 3 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year
- ☆19Updated 2 years ago