informalsystems / ibc-starknet
Integration of IBC with Starknet
☆15Updated this week
Alternatives and similar repositories for ibc-starknet:
Users that are interested in ibc-starknet are comparing it to the libraries listed below
- RISC-V ELF interpreter in cairo☆36Updated 5 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- On-chain Ethereum light client built with SP1☆40Updated 2 weeks ago
- ☆46Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- Cairo Merkle Mountain Range