kobigurk / wasm_proof
☆64Updated 6 years ago
Alternatives and similar repositories for wasm_proof:
Users that are interested in wasm_proof are comparing it to the libraries listed below
- ☆78Updated 5 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆126Updated 2 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Updated 3 years ago
- ☆115Updated 3 years ago
- Experimental zero-knowledge proof compiler in Rust macros☆159Updated last year
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆76Updated 2 years ago
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- Cryptographic accumulators in Rust.☆137Updated last month
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- Implementation of the Jubjub elliptic curve group☆121Updated 8 months ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- BLS Signatures in Rust☆79Updated last week
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- A library for generating zk-STARKs.☆144Updated 2 years ago
- Threshold BLS Signatures and DKG☆76Updated last week
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆65Updated 5 years ago
- Zcash "Sapling" cryptography☆84Updated last month
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆44Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆88Updated 2 years ago
- Accumulators and Vector Commitments☆43Updated 2 years ago
- ZKProofs website☆89Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 10 months ago
- zk-STARK for fibonacci sequence in Rust☆38Updated 5 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 4 years ago
- Zero knowledge succinct arguments of knowledge, written in Rust☆59Updated 2 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago