eth-sri / zkay
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
☆83Updated last year
Alternatives and similar repositories for zkay:
Users that are interested in zkay are comparing it to the libraries listed below
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆127Updated last year
- Tutorial and example code for using libsnark☆193Updated 3 years ago
- Libra zero knowledge proof system☆50Updated 2 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆81Updated 5 years ago
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- zkPoD: A decentralized system for perfect fair data exchange☆211Updated last year
- Crypto application code for the zkSNARKs toolbox ZoKrates☆54Updated last year
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆76Updated 6 years ago
- ☆58Updated 3 years ago
- ☆65Updated 2 years ago
- Library for programming zk-SNARKs directly in Python☆184Updated 9 months ago
- A high-level framework for developing efficient zk-SNARK circuits☆185Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 5 months ago
- Robust MPC-based confidentiality layer for blockchains☆137Updated 3 years ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆103Updated 2 years ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆288Updated 5 years ago
- ☆19Updated 2 years ago
- ☆25Updated 6 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- A curated list of academic blockchain-related papers☆123Updated 3 months ago
- A curated list of awesome things related to plonk proof system☆236Updated 7 months ago
- BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs☆41Updated 4 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆65Updated 5 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 5 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆56Updated 4 months ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 10 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆204Updated 2 months ago