Sovereign-Labs / nmt-rsLinks
An implementation of a namespaced merkle tree in Rust.
☆31Updated last month
Alternatives and similar repositories for nmt-rs
Users that are interested in nmt-rs are comparing it to the libraries listed below
Sorting:
- Tendermint in Solidity☆60Updated 3 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆58Updated 2 months ago
- ☆19Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- On-chain Ethereum light client built with SP1☆62Updated last week
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Tower-based ABCI interface.☆76Updated 5 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- ☆16Updated 4 months ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated 2 weeks ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- ☆27Updated 2 years ago
- RISC-V interactive fault proof tech☆103Updated 2 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Rust crate to generate and verify proofs for Noir circuits☆18Updated last week
- ☆33Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Secure and optimized communication layer for rollups using EigenDA.☆22Updated last week
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago