chainwayxyz / bitcoin-da

Related projects ⓘ

Alternatives and complementary repositories for bitcoin-da

• KasarLabs / bitcoin-da
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆39Updated last year
• BitVM / bitvm-js
  Experimental draft implementation of BitVM
  ☆38Updated 8 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆81Updated last year
• risc0 / demos
  ☆49Updated last week
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• Sovereign-Labs / sov-rollup-starter
  ☆17Updated 4 months ago
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆74Updated 4 months ago
• agglayer / agglayer-go
  ☆19Updated 3 months ago
• essential-contributions / ERC-7521
  ☆41Updated 7 months ago
• rollkit / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆59Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 2 weeks ago
• yetanotherco / zkRust
  ☆30Updated 3 weeks 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.
  ☆72Updated this week
• ethereum / kzg-ceremony-sequencer
  ☆85Updated last year
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆67Updated this week
• iykyk-syn / unison
  Consensus nodes performing in unison!
  ☆32Updated 5 months ago
• l2beat / byor
  BYOR - Build Your Own Rollup
  ☆61Updated 10 months ago
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆62Updated this week
• chainwayxyz / proof-of-innocence
  ☆59Updated last year
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆50Updated this week
• starkware-libs / stark-perpetual
  ☆49Updated last year
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆56Updated this week
• januszgrze / bitcoinrollups
  An educational website documenting the development of zk-rollups on Bitcoin.
  ☆12Updated 7 months ago
• aspectco / cairo-lib
  Library for common cairo functions
  ☆38Updated 2 years ago
• outsider-analytics / ZK-Circuit-Performance-and-Security-Data
  To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …
  ☆60Updated last year
• EspressoSystems / espresso
  ☆23Updated 10 months ago
• llamaxyz / llama
  Llama is an onchain governance and access control framework for smart contracts.
  ☆47Updated 3 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆53Updated this week