scipr-lab / dizk
Java library for distributed zero knowledge proof systems
☆243Updated 3 years ago
Alternatives and similar repositories for dizk:
Users that are interested in dizk are comparing it to the libraries listed below
- A high-level framework for developing efficient zk-SNARK circuits☆187Updated 2 years ago
- A Java library for zk-SNARK circuits☆211Updated 2 years ago
- Tutorial and example code for using libsnark☆192Updated 3 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 6 months ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆180Updated 2 years ago
- Robust MPC-based confidentiality layer for blockchains☆137Updated 3 years ago
- A zkSNARK tutorial and development environment☆403Updated 4 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year
- C++ library for IOP-based zkSNARKs☆162Updated last year
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆82Updated 5 years ago
- ☆62Updated 6 years ago
- A library for generating zk-STARKs.☆145Updated 2 years ago
- C++ library for Finite Fields and Elliptic Curves☆156Updated 3 years ago
- zkSNARK library implementation in Go from scratch (compiler, setup, prover, verifier)☆257Updated 3 years ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆133Updated 10 months ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆286Updated 5 years ago
- Pairing-friendly elliptic curve library.☆344Updated 2 weeks ago
- Circuit compiler for zkSNARKs☆473Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆321Updated last year
- Rust-language assets for Zcash☆343Updated this week
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- A collection of Paillier cryptosystem zero knowledge proofs☆118Updated last year
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- ☆115Updated 3 years ago
- Cryptographic accumulators in Rust.☆137Updated last month
- The Honey Badger of BFT Protocols☆142Updated 3 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- A fast zkSnark proof generator written in native Web Assembly.☆216Updated last month
- Library for programming zk-SNARKs directly in Python☆187Updated 10 months ago