eth-sri / zkayLinks
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
☆87Updated last year
Alternatives and similar repositories for zkay
Users that are interested in zkay are comparing it to the libraries listed below
Sorting:
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆193Updated 3 years ago
- Library for programming zk-SNARKs directly in Python☆191Updated last year
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆109Updated 3 years ago
- Libra zero knowledge proof system☆54Updated 2 years ago
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- ☆60Updated 4 years ago
- Robust MPC-based confidentiality layer for blockchains☆138Updated 4 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated last year
- 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
- A curated list of awesome things related to plonk proof system☆238Updated last year
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- C++ library for IOP-based zkSNARKs☆175Updated last year
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆219Updated 2 weeks ago
- zkPoD: A decentralized system for perfect fair data exchange☆214Updated 2 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆84Updated 6 years ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆93Updated 2 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆77Updated 6 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 6 months ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆34Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 3 years ago
- ☆21Updated 3 years ago
- ☆81Updated 5 years ago
- Confidentiality-Preserving Smart Contract Platform☆22Updated 5 years ago
- ☆204Updated 2 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆102Updated last month
- Example to create merkle path proof using libsnark☆45Updated 5 years ago
- A curated list of academic blockchain-related papers☆127Updated 7 months ago
- ☆71Updated 3 years ago