informalsystems / ibc-starknet
Integration of IBC with Starknet
☆19Updated this week
Alternatives and similar repositories for ibc-starknet:
Users that are interested in ibc-starknet are comparing it to the libraries listed below
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 6 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Circom AES-GCM circuits☆29Updated 2 weeks ago
- RISC-V ELF interpreter in cairo☆36Updated 6 months ago
- An observatory fork of SP1☆68Updated 2 months ago
- ☆47Updated this week
- ☆28Updated last week
- ☆40Updated 5 months ago
- ☆12Updated last month
- ☆17Updated 3 weeks ago
- On-chain Ethereum light client built with SP1☆46Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated last month
- Groth16 over ICICLE☆23Updated this week
- ☆31Updated last year
- ☆23Updated 4 months ago
- ☆13Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- A stateless Ethereum execution client☆28Updated 2 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated this week
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆41Updated 2 months ago
- High performance EraVM for zkSync.☆24Updated this week
- Cairo Merkle Mountain Range☆37Updated last year
- An API compatible port of the Stone prover.☆19Updated 5 months ago
- Solidity verifier for Plonk☆42Updated 8 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- KZG commitments over BLS12-381☆34Updated 2 years ago
- Cryptography libraries for ZKsync☆30Updated this week