informalsystems / ibc-starknetLinks
Integration of IBC with Starknet
☆20Updated this week
Alternatives and similar repositories for ibc-starknet
Users that are interested in ibc-starknet are comparing it to the libraries listed below
Sorting:
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- ☆51Updated this week
- ☆27Updated 2 months ago
- ☆50Updated last year
- ☆14Updated 3 months ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆21Updated last week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 4 months ago
- ☆38Updated last month
- Installation tooling for Noir☆27Updated 3 weeks ago
- RISC-V ELF interpreter in cairo☆36Updated 8 months ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.☆29Updated this week
- An observatory fork of SP1☆69Updated 4 months ago
- ☆51Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 8 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆21Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.☆58Updated 6 months ago
- ☆11Updated 7 months ago
- A Noir's backend implementation using Gnark☆35Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- ☆31Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Cairo Merkle Mountain Range☆37Updated last year
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆84Updated 3 months ago
- Pessimistic proof for the AggLayer.☆26Updated last year
- EraVM implementation☆19Updated 9 months ago