Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
☆13Jul 14, 2023Updated 3 years ago
Alternatives and similar repositories for starknet_rollup_on_bitcoin
Users that are interested in starknet_rollup_on_bitcoin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Superset of Yul☆19Oct 5, 2026Updated last month
- Single-hop router that quotes and executes swaps against a proprietary AMM (FermiSwap, Kipseli, or Bebop) or directly against Uniswap V3,…☆19Oct 28, 2026Updated last week
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 3 years ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆27Dec 4, 2023Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Sep 15, 2023Updated 3 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 3 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- OS for next iteration of the world computer☆42Aug 24, 2023Updated 3 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 3 years ago
- forge development env for SUAVE key management☆20Aug 8, 2024Updated 2 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 3 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 3 years ago
- Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance☆111Jun 11, 2026Updated 4 months ago
- STARK 101 Workshop in Rust 🐺🦀☆145Apr 28, 2023Updated 3 years ago
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 3 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Oct 29, 2024Updated 2 years ago
- ☆13Aug 30, 2025Updated last year
- World's first zk explorer☆10Nov 12, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tornado cash fork with blacklist to prevent illegal money laundering☆11Mar 13, 2023Updated 3 years ago
- Anoma application examples☆16May 23, 2025Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Jul 25, 2023Updated 3 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- DEFLATE algorithm implemented in Cairo☆11Feb 13, 2024Updated 2 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆38Oct 27, 2023Updated 3 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 3 years ago
- a zig sdk that allows your code to run in a zkvm☆16Sep 11, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- storage proof made by sp1☆25Sep 20, 2024Updated 2 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆135Oct 27, 2026Updated last week
- Code for Dynamic Pricing for Non-fungible Resources☆17Oct 31, 2022Updated 4 years ago
- Crypto Gadgets for Plonky2☆77May 16, 2024Updated 2 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆68Jun 18, 2023Updated 3 years ago
- Composable OP Stack Orchestration☆41Nov 10, 2023Updated 2 years ago
- Carmine options protocol☆33Oct 12, 2023Updated 3 years ago