crate-crypto / rust-verkle
☆120Updated 4 months ago
Alternatives and similar repositories for rust-verkle:
Users that are interested in rust-verkle are comparing it to the libraries listed below
- ☆119Updated 3 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 6 months ago
- Threshold ECDSA via Triples☆78Updated 10 months ago
- ☆96Updated 6 months ago
- ☆150Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆88Updated this week
- Email verification circuit in halo2☆67Updated 8 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Implementation of Plonk by Hand in rust☆60Updated last year
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 3 months ago
- ☆94Updated 6 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated 5 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆41Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated last year
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆134Updated this week
- ☆56Updated this week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆120Updated 2 weeks ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- Polynomials Identity Language☆68Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated 3 months ago
- EigenTrust - A distributed reputation system☆111Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆60Updated this week
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- Crypto Gadgets for Plonky2☆72Updated 9 months ago
- barretenburg in rust (here we go)☆97Updated last year