informalsystems / ibc-starknetLinks
Integration of IBC with Starknet
β21Updated 2 months ago
Alternatives and similar repositories for ibc-starknet
Users that are interested in ibc-starknet are comparing it to the libraries listed below
Sorting:
- Mikan π: The ZK Friendly DA Layer for Bitcoin L2sβ24Updated 3 weeks ago
- RISC-V ELF interpreter in cairoβ36Updated last year
- β50Updated this week
- β27Updated 7 months ago
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Updated 2 years ago
- Starknet sequencer built with Tendermint Coreβ52Updated 2 years ago
- Cairo Merkle Mountain Rangeβ37Updated 2 years ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.β39Updated last month
- β59Updated this week
- A collection of ZK light client libraries for various blockchainsβ63Updated 11 months ago
- β12Updated last year
- Noir + Garaga + Starknet web app tutorial (in-browser proving)β22Updated 6 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β160Updated 10 months ago
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.β59Updated 11 months ago
- β13Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersβ43Updated 2 years ago
- A verifiable supercomputerβ74Updated 4 months ago
- JSON parser written in Lurkβ28Updated 2 years ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reuβ¦β25Updated 3 months ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writβ¦β20Updated 2 years ago
- An observatory fork of SP1β75Updated 9 months ago
- Monorepo for Summa Proof of Solvency Protocolβ98Updated last year
- An advanced fork of Nova (contact:@huitseeker)β86Updated 8 months ago
- Compiler from Rust to Miden Assemblyβ90Updated this week
- Cairo-VM STONE STARK Verifier Rust implementationβ43Updated 9 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max powerβ49Updated 2 weeks ago
- Verify a chain of x509 certificates in halo2β31Updated last year
- Solidity implementation of Nova proving system verifierβ66Updated last year
- β18Updated last year
- A ZK-VM for the Brainfuck language, based on Stwoβ33Updated 7 months ago