chainwayxyz / bitcoin-da

Related projects: ⓘ

• rollkit / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆59Updated this week
• KasarLabs / bitcoin-da
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆39Updated 10 months ago
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆74Updated 2 months ago
• proto-kit / starter-kit
  Starter kit for privacy enabled application chains
  ☆38Updated last week
• starkware-libs / stark-perpetual
  ☆48Updated 9 months ago
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆54Updated this week
• BitVM / bitvm-js
  Experimental draft implementation of BitVM
  ☆36Updated 6 months ago
• Sovereign-Labs / sov-rollup-starter
  ☆16Updated 2 months ago
• PufferFinance / secure-signer
  Secure-Signer
  ☆56Updated 4 months ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆21Updated this week
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.
  ☆80Updated 10 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.
  ☆62Updated this week
• proto-kit / framework
  ☆26Updated this week
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆48Updated 5 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
• agglayer / agglayer-go
  ☆19Updated last month
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆77Updated 2 weeks ago
• essential-contributions / ERC-7521
  ☆40Updated 5 months ago
• ethereum / kzg-ceremony-sequencer
  ☆83Updated 11 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆61Updated this week
• Trivo25 / o1js-elgamal
  Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.
  ☆21Updated 11 months ago
• SpecularL2 / specular
  Specular Monorepo
  ☆37Updated 5 months ago
• scroll-tech / stateless-block-verifier
  ☆34Updated this week
• lambdaclass / mina_bridge
  Bridge from Mina to Ethereum
  ☆77Updated this week
• risc0 / demos
  ☆45Updated this week
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆114Updated this week
• zkemail / ether-email-auth
  A user of on-chain apps can authenticate that the user is a correct holder of the specific email address and authorize anything described…
  ☆37Updated this week
• succinctlabs / sp1-contracts
  Verifier contracts for onchain verification of SP1.
  ☆55Updated this week
• l2beat / byor
  BYOR - Build Your Own Rollup
  ☆57Updated 7 months ago