liamzebedee / tendermint-rs
A minimal reimplementation of Tendermint in Rust
☆25Updated 4 months ago
Alternatives and similar repositories for tendermint-rs:
Users that are interested in tendermint-rs are comparing it to the libraries listed below
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆16Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- Pessimistic proof for the AggLayer.☆26Updated 8 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 5 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- On-chain Ethereum light client built with SP1☆39Updated 2 weeks ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 7 months ago
- Spire Labs' litepaper (it's pretty based bro)☆17Updated 4 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆54Updated last year
- Implementation of IBC modules by `ibc-rs` that can run with Sovereign SDK rollups☆22Updated 8 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 4 months ago
- ☆31Updated 11 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆37Updated 4 months ago
- Webb Protocol Implementation in CosmWasm.☆24Updated 2 years ago
- Rust implementation of KZG point evaluation☆30Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- ☆15Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year