uiuc-kang-lab / zkml
SysX
☆13Updated 5 months ago
Related projects: ⓘ
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆29Updated 10 months ago
- ☆36Updated 2 weeks ago
- ☆54Updated 2 years ago
- (ICLR 2023 Spotlight) MPCFormer: fast, performant, and private transformer inference with MPC☆84Updated last year
- ☆12Updated 3 weeks ago
- ☆61Updated this week
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆69Updated last year
- [ICML'23 Oral] HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption☆28Updated 5 months ago
- Polycircuit is an FHE components library built via FHERMA competitions☆15Updated last week
- Path Oblivious Heap C++ Reference Implementation☆22Updated 4 years ago
- zero knowledge proof for NN inference☆78Updated 3 years ago
- Secure distributed dataflow framework for encrypted machine learning and data processing☆57Updated 6 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆73Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆77Updated 7 months ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆48Updated this week
- cuZK: An Efficient GPU Implemetation of zkSNARK☆22Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆31Updated 9 months ago
- Secure aggregation protocol for TensorFlow Federated☆22Updated 4 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆38Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆14Updated last year
- Implementation of Multi-Key TFHE [KMS22]☆14Updated 7 months ago
- ☆20Updated 2 weeks ago
- Princeton University - COS/ECE 470 : Principles of Blockchains☆20Updated last year
- ☆63Updated this week
- ☆43Updated 2 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆16Updated 3 years ago
- Libra zero knowledge proof system☆47Updated last year
- ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs☆27Updated 5 months ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆22Updated 7 months ago
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆76Updated 10 months ago