crate-crypto / rust-verkle
☆120Updated 3 months ago
Alternatives and similar repositories for rust-verkle:
Users that are interested in rust-verkle are comparing it to the libraries listed below
- EigenTrust - A distributed reputation system☆110Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- ☆150Updated 11 months ago
- Poseidon hash function☆73Updated last year
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆133Updated this week
- barretenburg in rust (here we go)☆97Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- RISC-V interactive fault proof tech☆99Updated this week
- Implementation of Plonk by Hand in rust☆60Updated 11 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆130Updated last month
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated last month
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆120Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆74Updated this week
- ☆119Updated 2 months ago
- Threshold ECDSA via Triples☆77Updated 9 months ago
- A collection of ZK light client libraries for various blockchains☆46Updated last month
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆151Updated this week
- ☆90Updated last month
- ☆95Updated 5 months ago
- On-chain Ethereum light client built with SP1☆32Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆44Updated this week
- ☆112Updated 11 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated last year
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆114Updated 3 weeks ago
- A PoC repo for a HyperNova impl☆82Updated last year
- Lowering client-side proving cost for private ZK signatures in circom☆107Updated last year
- Zirgen compiler and RISC Zero circuits☆76Updated this week
- Rust implementation of the Agglayer.☆95Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 9 months ago