spring-epfl / zkskLinks
Zero-Knowledge Swiss Knife
☆97Updated 3 years ago
Alternatives and similar repositories for zksk
Users that are interested in zksk are comparing it to the libraries listed below
Sorting:
- Library for programming zk-SNARKs directly in Python☆191Updated last year
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆110Updated 3 years ago
- C++ library for IOP-based zkSNARKs☆176Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- ZKProofs website☆90Updated 2 years ago
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆219Updated last month
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Updated 5 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆88Updated 2 years ago
- Robust MPC-based confidentiality layer for blockchains☆138Updated 4 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆84Updated 6 years ago
- ☆118Updated 4 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆193Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 3 years ago
- Elliptic curve pairing in Python☆57Updated 5 years ago
- A Rust library for building R1CS gadgets☆93Updated 4 years ago
- A library for generating non-interactive proofs of knowledge without trusted setup☆30Updated 6 years ago
- Rust crypto library for data privacy tools☆120Updated 3 months ago
- ☆72Updated 3 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆87Updated 2 years ago
- This archived repository lacks recent updates. Developers seeking an actively maintained alternative should consider ethereum/py_ecc☆111Updated last year
- Libra zero knowledge proof system☆54Updated 2 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆38Updated last month
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆26Updated last year
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆58Updated 2 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated last year
- ☆47Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 4 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- If you like this project, please ⭐⭐⭐ it on GitHub!! Solidity-compatible BLS signatures, threshold encryption, distributed key generation …☆155Updated this week
- SageMath library for constructing elliptic curves☆73Updated 2 years ago