Alternatives and similar repositories for bitcoin-da:

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

• KasarLabs / bitcoin-da
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆39Updated last year
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆75Updated 6 months ago
• rollkit / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆60Updated last month
• BitVM / bitvm-js
  Experimental draft implementation of BitVM
  ☆39Updated 10 months ago
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆62Updated this week
• januszgrze / bitcoinrollups
  An educational website documenting the development of zk-rollups on Bitcoin.
  ☆12Updated 9 months ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆82Updated this week
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆20Updated 6 months ago
• agglayer / agglayer-go
  ☆21Updated 5 months ago
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆72Updated this week
• yetanotherco / zkRust
  ☆34Updated 2 months ago
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆35Updated 3 months ago
• pontem-network / u256
  Pure Move implementation of U256 numbers
  ☆28Updated 10 months ago
• Sovereign-Labs / sov-rollup-starter
  ☆17Updated 6 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated last year
• risc0 / demos
  ☆54Updated 2 months ago
• starkware-libs / stark-perpetual
  ☆50Updated last year
• MystenLabs / zklogin-verifier
  ☆13Updated 10 months ago
• tangle-network / gadget
  A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints/introduction
  ☆14Updated this week
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 4 months ago
• starkware-libs / starknet-api
  ☆60Updated 5 months ago
• zkLinkProtocol / groth16-sol-verifier
  ☆26Updated 2 years ago
• bitcoinlayers / bitcoinlayers
  ☆20Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆82Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 5 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆70Updated this week
• essential-contributions / ERC-7521
  ☆41Updated 9 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆87Updated 2 years ago
• EspressoSystems / espresso
  ☆23Updated last year