SafeAILab / zkDL
zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
☆38Updated last year
Alternatives and similar repositories for zkDL:
Users that are interested in zkDL are comparing it to the libraries listed below
- ☆66Updated last week
- SysX☆17Updated 9 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆26Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆73Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated 2 years ago
- ☆26Updated 4 months ago
- ☆57Updated 3 years ago
- ☆15Updated 3 months ago
- ☆67Updated this week
- Benchmarks of popular zkVMs including Jolt☆58Updated 8 months ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆77Updated last year
- ☆13Updated 3 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated last year
- zero knowledge proof for NN inference☆82Updated 3 years ago
- ☆10Updated 11 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last month
- Prototype implementations of various Collaborative zkSNARKs.☆120Updated 10 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 9 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆36Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆57Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 4 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆33Updated last year
- Verifiable FHE prototype☆22Updated 5 months ago
- Demo of ML for MNIST classification in a zero knowledge proof☆122Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆42Updated 5 months ago
- ☆72Updated last week
- ☆13Updated this week
- A library for lattice-based multiparty homomorphic encryption in Go☆12Updated 3 weeks ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆43Updated this week
- lattice-based zkSNARKs over libsnark [ISW21]☆30Updated 3 months ago