Charterhouse / pysnark
Python-based system for zk-SNARK based verifiable computations and smart contracts
☆80Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for pysnark
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆125Updated last year
- Tutorial and example code for using libsnark☆191Updated 3 years ago
- Robust MPC-based confidentiality layer for blockchains☆133Updated 3 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆172Updated 2 years ago
- Library for programming zk-SNARKs directly in Python☆173Updated 5 months ago
- A high-level framework for developing efficient zk-SNARK circuits☆184Updated last year
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆74Updated 5 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆52Updated 8 months ago
- ☆115Updated 3 years ago
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆195Updated this week
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆114Updated last year
- C++ library for IOP-based zkSNARKs☆149Updated 10 months ago
- A Java library for zk-SNARK circuits☆210Updated last year
- A simple Python implementation of threshold BLS signatures.☆39Updated 7 months ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆283Updated 5 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆65Updated 5 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆241Updated 3 weeks ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆84Updated last year
- ☆63Updated 6 years ago
- ☆79Updated 8 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- Aggregate and Multi Signatures based on BGLS over BN256 and BLS12-381☆60Updated 2 years ago
- ZKP Circuits code for Loopring Protocol 3.0☆52Updated 4 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆82Updated 5 months ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- Algorand's reference implementation of bls signature scheme☆50Updated last year
- Solidity-compatible BLS signatures, threshold encryption, distributed key generation library in modern C++. Actively maintained and used …☆145Updated last week