informalsystems / sovereign-ibc

Related projects ⓘ

Alternatives and complementary repositories for sovereign-ibc

• informalsystems / hermes-sdk
  ☆11Updated this week
• CosmWasm / cw-storage-plus
  Storage abstractions for CosmWasm smart contracts
  ☆37Updated 2 weeks ago
• skip-mev / feemarket
  Plug-and-play fee market module for Cosmos SDK chains
  ☆25Updated 3 weeks ago
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆50Updated this week
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated last month
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆11Updated this week
• liamzebedee / tendermint-rs
  A minimal reimplementation of Tendermint in Rust
  ☆24Updated last month
• ComposableFi / cosmwasm-vm
  Alternative CosmWasm VM
  ☆24Updated last year
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆21Updated this week
• informalsystems / cycles-quartz
  Secure SGX Sidecar for CosmWasm
  ☆21Updated this week
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆26Updated last month
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 2 years ago
• AbstractSDK / abstract
  The ultimate CosmWasm framework for modular Interchain applications.
  ☆62Updated this week
• axelarnetwork / tofnd
  A gRPC server wrapper for the https://github.com/axelarnetwork/tofn library.
  ☆25Updated 3 months ago
• PeggyJV / steward
  Eth Contract Monitor
  ☆31Updated last month
• strangelove-ventures / async-icq
  ☆23Updated last year
• MystenLabs / mysten-sim
  Deterministic executor + network sim for tokio-based systems.
  ☆14Updated last month
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• Electron-Labs / electron-rs
  SDK for Zero Knowledge Proof Verification on Rust based chains
  ☆30Updated last year
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆28Updated last week
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• informalsystems / basecoin-rs
  An example ABCI application making use of tendermint-rs and ibc-rs
  ☆56Updated this week
• succinctlabs / plonky3
  ☆23Updated 7 months ago
• Team-Kujira / kujira-rs
  Interfaces and utilities for Kujira cosmwasm contracts
  ☆13Updated 3 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆32Updated this week
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• penumbra-zone / tower-abci
  Tower-based ABCI interface.
  ☆75Updated last month
• MystenLabs / dapol
  DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees
  ☆16Updated 10 months ago