uiuc-kang-lab / zkml
SysX
☆17Updated 10 months ago
Alternatives and similar repositories for zkml:
Users that are interested in zkml are comparing it to the libraries listed below
- ☆68Updated last month
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆40Updated last year
- ☆10Updated last year
- ☆59Updated 3 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆74Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆42Updated 2 years ago
- A ZKP-augmented fork of the OpenFHE library☆15Updated 7 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆86Updated last year
- Polycircuit is an FHE components library built via FHERMA competitions☆17Updated 2 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 4 months ago
- ☆16Updated 5 months ago
- A tiny, educational library for secure multi-party computation (in pure Python).☆89Updated last year
- HEonGPU is a high-performance library that optimizes Fully Homomorphic Encryption (FHE) on GPUs. Leveraging GPU parallelism, it reduces c…☆44Updated this week
- Prototype implementations of various Collaborative zkSNARKs.☆122Updated 11 months ago
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆33Updated 10 months ago
- ☆22Updated last month
- Libra zero knowledge proof system☆48Updated last year
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆26Updated 2 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17Updated last year
- ☆74Updated this week
- ☆17Updated 3 months ago
- A framework for deploying on-demand distributed-trust.☆13Updated 8 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆28Updated last year
- The zero knowledge proof system used in Delta.☆13Updated last year
- ☆14Updated this week
- Implementation of Multi-Key TFHE [KMS22]☆15Updated last year
- Verifiable FHE prototype☆22Updated 6 months ago
- ☆13Updated 3 years ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆51Updated this week