spring-epfl / zksk
Zero-Knowledge Swiss Knife
☆94Updated 2 years ago
Alternatives and similar repositories for zksk:
Users that are interested in zksk are comparing it to the libraries listed below
- Library for programming zk-SNARKs directly in Python☆184Updated 10 months ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆81Updated 5 years ago
- C++ library for IOP-based zkSNARKs☆160Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year
- A bilinear pairing library for petlib☆36Updated 2 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆83Updated last year
- SageMath library for constructing elliptic curves☆69Updated last year
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆27Updated 2 years ago
- Elliptic curve pairing in Python☆53Updated 4 years ago
- ☆49Updated last year
- Libra zero knowledge proof system☆50Updated 2 years ago
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆103Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆91Updated last year
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆26Updated 2 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- A tiny, educational library for secure multi-party computation (in pure Python).☆89Updated 2 years ago
- ☆66Updated 2 years ago
- C++ library for Finite Fields and Elliptic Curves☆155Updated 3 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆183Updated last year
- Hashing to Elliptic Curves☆81Updated 7 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆30Updated 5 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆204Updated this week
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- Algorand's reference implementation of bls signature scheme☆51Updated 2 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago