Bitcoin as a Data Availability layer
☆58Feb 11, 2025Updated last year
Alternatives and similar repositories for bitcoin-da
Users that are interested in bitcoin-da are comparing it to the libraries listed below
Sorting:
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Jul 4, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.☆363Updated this week
- Go implementation of two dimensional Reed-Solomon merkle tree data availability scheme.☆168Feb 4, 2026Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- Celestia -> EVM bridge☆137Feb 18, 2026Updated last week
- 🎨 Programmable Block Builder for Cosmos Chains☆68Jan 31, 2025Updated last year
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- Namespaced Merkle Tree☆122Updated this week
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- ☆15May 27, 2021Updated 4 years ago
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 2 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19May 14, 2023Updated 2 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- optimistic fork of the Flashbot's mev-boost relay☆35Sep 23, 2025Updated 5 months ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- Blocktime estimator in Rust☆35Aug 10, 2023Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Cosmos SDK Module for Celestia DA☆51Sep 5, 2024Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Apr 16, 2024Updated last year
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆164Aug 22, 2024Updated last year
- Generic Data Availability Interface for Modular Blockchains☆51May 7, 2025Updated 9 months ago
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 5 months ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- Celestia Specifications☆49Sep 19, 2022Updated 3 years ago
- Solidity LSP server written in rust☆55Feb 25, 2025Updated last year
- A Rust zkVM with a Modular Proof System☆142Jul 24, 2025Updated 7 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- ☆23Jul 30, 2025Updated 6 months ago
- A flexible toolkit for building real-time blockchains☆462Updated this week
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Aug 22, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Mar 16, 2023Updated 2 years ago