7 Repositories
Rust tendermint-rs Libraries
Implementation of zero-knowledge proof circuits for Tendermint.
Tendermint X Implementation of zero-knowledge proof circuits for Tendermint. Overview Tendermint X's core contract is TendermintX, which stores the he
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
ibc-rs Rust implementation of the Inter-Blockchain Communication (IBC) protocol. This project hosts the ibc rust crate which defines the main data str
A rust implementation of the ABCI protocol for tendermint core
🚨 DEPRECATED 🚨 This repo has been deprecated. Development work continues as the "abci" crate of informalsystems/tendermint-rs. Please reference that
Tendermint in Rust!
tendermint.rs Tendermint in Rust with TLA+ specifications. Tendermint is a high-performance blockchain consensus engine for Byzantine fault tolerant a
IBC modules and relayer - Formal specifications and Rust implementation
ibc-rs Rust implementation of the Inter-Blockchain Communication (IBC) protocol. This project comprises primarily four crates: The ibc crate defines t
Tendermint in Rust!
tendermint.rs Tendermint in Rust with TLA+ specifications. Tendermint is a high-performance blockchain consensus engine for Byzantine fault tolerant a
IBC modules and relayer - Formal specifications and Rust implementation
ibc-rs Rust implementation of the Inter-Blockchain Communication (IBC) protocol. This project comprises primarily four crates: The ibc crate defines t