arcalinea / bellman-examplesLinks
examples for bellman zk-snarks library
☆77Updated 7 years ago
Alternatives and similar repositories for bellman-examples
Users that are interested in bellman-examples are comparing it to the libraries listed below
Sorting:
- A Rust library for building R1CS gadgets☆93Updated 4 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 4 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆91Updated 3 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆83Updated 2 years ago
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- zk-STARK for fibonacci sequence in Rust☆37Updated 6 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- Threshold BLS Signatures and DKG☆82Updated last month
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Updated last year
- Implementation of the Jubjub elliptic curve group☆122Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆77Updated 3 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 6 years ago
- Communal zk-SNARK MPC for Public Parameters☆146Updated 4 years ago
- ZKProofs website☆90Updated 2 years ago
- Threshold BLS signatures in Rust☆77Updated 4 years ago
- ☆118Updated 4 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 3 years ago
- Bellman zkSNARK library for community with Ethereum's BN256 support☆162Updated last year
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 3 years ago
- ☆78Updated 6 years ago
- ☆113Updated last year
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆101Updated 5 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆68Updated 6 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆66Updated 4 months ago
- BLS Signatures in Rust☆81Updated 9 months ago
- An implementation of Verifiable Delay Functions in Rust☆190Updated 4 years ago
- Cryptographic accumulators in Rust.☆139Updated 10 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59Updated 2 years ago