j2kun / zero-knowledge-proofs
Python code for the post Zero Knowledge Proofs — A Primer
☆31Updated 4 years ago
Related projects: ⓘ
- A Language and Compiler for Homomorphic Encryption Made easY☆65Updated 4 years ago
- Privacy-preserving auditing for distributed ledgers☆65Updated 5 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆73Updated 4 years ago
- Python wrapper for open source Zero Proof Knowledge Library☆27Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆33Updated 4 years ago
- Bridge between TensorFlow and the Microsoft SEAL homomorphic encryption library☆95Updated 4 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆80Updated 5 years ago
- Zero-Knowledge Swiss Knife☆92Updated last year
- Various material around private machine learning, some associated with blog☆149Updated 5 years ago
- A Secure Multiparty Computation (MPC) protocol for computing linear regression on vertically distributed datasets.☆31Updated 5 years ago
- A library for running Functional Encryption on tensors☆41Updated 3 years ago
- Library implementing the Fan-Vercauteren homomorphic encryption scheme☆57Updated 8 years ago
- A tiny, educational library for secure multi-party computation (in pure Python).☆83Updated last year
- Proof of concept code for VoteAgain paper☆10Updated last year
- Library for programming zk-SNARKs directly in Python☆168Updated 3 months ago
- Arbitrary precision integers in TensorFlow☆11Updated last year
- ☆29Updated this week
- ☆50Updated last year
- SageMath library for constructing elliptic curves☆63Updated last year
- 6.857 project - implementation of scheme for encrypting integer vectors that allows addition, linear transformation, and weighted inner p…☆66Updated 7 years 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
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆38Updated 3 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 8 years ago
- Super Amazing Universal Composability, Yeah!☆32Updated 2 years ago
- C++ library for Finite Fields and Elliptic Curves☆153Updated 2 years ago
- An implementation of the LowMC block cipher family.☆24Updated 6 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 4 years ago
- ☆61Updated last year
- Arithmetic circuits for zero knowledge proof systems☆82Updated 5 months ago
- Perform multi-party computation on machine learning applications☆21Updated 2 years ago