UCSB-TDS / ZEN
zero knowledge proof for NN inference
☆78Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ZEN
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆70Updated last year
- ☆55Updated 2 years ago
- Libra zero knowledge proof system☆48Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆111Updated 7 months ago
- ☆51Updated last month
- Efficient and Interactive Zero-Knowledge Proofs☆80Updated 9 months ago
- ☆57Updated 2 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- ☆12Updated 3 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆17Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- A tiny, educational library for secure multi-party computation (in pure Python).☆83Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆15Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆34Updated 11 months ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Implementation of the HotStuff consensus protocol.☆115Updated 2 months ago
- ☆45Updated this week
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆31Updated last year
- Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehens…☆202Updated 3 months ago
- ZPrize 2022 - All qualified entries☆51Updated last year
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆25Updated last year
- ☆22Updated 2 years ago
- Tutorial for writing constraints in the `arkworks` framework☆208Updated 4 months ago
- ☆20Updated 9 years ago
- An elastic proof system based on arkworks☆76Updated 10 months ago
- Global-Scale Secure Multiparty Computation☆40Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆26Updated 3 weeks ago
- High-throughput Byzantine consensus on variable bandwidth networks.☆36Updated 5 months ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆192Updated last year