Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️
☆38Oct 27, 2023Updated 2 years ago
Alternatives and similar repositories for bitcoin-da
Users that are interested in bitcoin-da are comparing it to the libraries listed below
Sorting:
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- ☆13Feb 16, 2025Updated last year
- Bitcoin DA Adapter for Sovereign SDK☆46Mar 28, 2024Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- ☆10Apr 27, 2023Updated 2 years ago
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- ☆268Sep 16, 2024Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- Examples of covenants in Bitcoin script☆15Oct 2, 2024Updated last year
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public later☆52Aug 31, 2023Updated 2 years ago
- Semgrep rules for Cairo 1.0☆18Aug 28, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 2 years ago
- ☆21May 9, 2023Updated 2 years ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Jul 8, 2024Updated last year
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- Sets up Scarb in your GitHub Actions workflow.☆19Feb 24, 2026Updated last week
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Jun 25, 2024Updated last year
- ShellOnStark is a bot designed to facilitate the management and visualization of cryptocurrency portfolios. It offers features such as …☆18Feb 28, 2024Updated 2 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Aug 28, 2023Updated 2 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- A STARK proof of Bitcoin's header chain☆42Apr 29, 2024Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆44Jul 14, 2023Updated 2 years ago
- Unified liquidity, accessible anywhere.☆23May 11, 2023Updated 2 years ago
- Boot an Optimism Node, Blazingly Fast.☆25Oct 1, 2023Updated 2 years ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Stark Compass: the only open source explorer☆68Oct 4, 2024Updated last year
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- ☆15Sep 5, 2023Updated 2 years ago
- A collection of scripts for running eth + optimism full nodes☆13Mar 15, 2023Updated 2 years ago
- Ethereum block hallucinator☆16Oct 1, 2025Updated 5 months ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Mar 13, 2023Updated 2 years ago