Alternatives and similar repositories for bitcoin-da

Users that are interested in bitcoin-da are comparing it to the libraries listed below

• chainwayxyz / bitvm-zk-verifier

  View on GitHub
  BitVM Groth16 Verifier Toolkit - WIP
  ☆80Jul 8, 2024Updated last year
• Sovereign-Labs / sov-rollup-starter

  View on GitHub
  ☆20Jul 10, 2024Updated last year
• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• KasarLabs / bitcoin-da

  View on GitHub
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆38Oct 27, 2023Updated 2 years ago
• chainwayxyz / toy-bitvm-rs

  View on GitHub
  ☆25Feb 2, 2024Updated 2 years ago
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• chainwayxyz / clementine

  View on GitHub
  Clementine repository
  ☆106Updated this week
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• blockhackersio / zrclib

  View on GitHub
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Oct 20, 2023Updated 2 years ago
• Eclipse-Laboratories-Inc / zk-bpf

  View on GitHub
  zero-knowledge execution of eBPF bytecode
  ☆94Jun 29, 2023Updated 2 years ago
• emilianobonassi / zkFHE

  View on GitHub
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Apr 20, 2023Updated 2 years ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• hashcloak / fhe_risc0_zkvm

  View on GitHub
  FHE in the Risc0 zkVM
  ☆25Nov 16, 2023Updated 2 years ago
• chainwayxyz / citrea

  View on GitHub
  Citrea repository
  ☆284Updated this week
• BitVM / bitvm-js

  View on GitHub
  Experimental draft implementation of BitVM
  ☆45Jul 28, 2025Updated 6 months ago
• Sovereign-Labs / sovereign-sdk

  View on GitHub
  A flexible toolkit for building real-time blockchains
  ☆457Feb 8, 2026Updated last week
• rkdud007 / sp1-storage-proof

  View on GitHub
  storage proof made by sp1
  ☆25Sep 20, 2024Updated last year
• axiom-crypto / axiom-v1-contracts

  View on GitHub
  Axiom smart contracts
  ☆26Jul 17, 2023Updated 2 years ago
• eco-incorp / Cross-L2-Actions

  View on GitHub
  Proof of concept for using state proofs and L1 block data to verify cross-chain actions
  ☆12Aug 29, 2024Updated last year
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• matter-labs / zk_os

  View on GitHub
  OS for next iteration of the world computer
  ☆43Aug 24, 2023Updated 2 years ago
• clabby / diffur

  View on GitHub
  A simple TUI to assist in diffing bodies of text
  ☆15May 9, 2024Updated last year
• omnia-network / ic-websocket-cdk-rs

  View on GitHub
  IC WebSocket CDK for canisters written in Rust
  ☆13Aug 13, 2025Updated 6 months ago
• sigp / opcode-purity

  View on GitHub
  A document describing purity detection in EVM opcode
  ☆16Mar 28, 2022Updated 3 years ago
• clabby / curta-puzzle

  View on GitHub
  ☆17Apr 25, 2023Updated 2 years ago
• asm-nop / lemma

  View on GitHub
  ZK Theorem Proving
  ☆10Aug 11, 2024Updated last year
• 0xfuturistic / sequencer-commitments

  View on GitHub
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Dec 4, 2023Updated 2 years ago
• eigerco / ethereum-canister

  View on GitHub
  ☆25Aug 12, 2024Updated last year
• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• Modulus-Labs / leela_vs_world

  View on GitHub
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆20Sep 26, 2024Updated last year
• EthanHeilman / op_cat_draft

  View on GitHub
  ☆15Dec 27, 2023Updated 2 years ago
• firedancer-io / solana-conformance

  View on GitHub
  Conformance test suite for the Solana protocol
  ☆13Jan 23, 2026Updated 3 weeks ago
• zkP2M / zkP2M-contracts

  View on GitHub
  ☆10Dec 10, 2023Updated 2 years ago
• ChainSafe / Spectre

  View on GitHub
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆61Sep 30, 2024Updated last year
• omurovec / fhe-darkpools

  View on GitHub
  Decentralized Dark Pools, implemented using Zama's fhEVM & fhenix
  ☆17Dec 14, 2023Updated 2 years ago
• wyattbenno777 / ZKPONIC

  View on GitHub
  Rust examples of zero knowledge proofs (ZKP) running on the Internet Computer blockchain.
  ☆12Feb 8, 2023Updated 3 years ago
• ShareRing / Shareledger

  View on GitHub
  A custom-designed distributed blockchain for sharing service
  ☆21Jan 12, 2026Updated last month
• lambdaclass / mina_bridge

  View on GitHub
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Nov 6, 2025Updated 3 months ago