Alternatives and similar repositories for bitcoin-dsl

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

• halseth / elftrace
  ☆30Updated 5 months ago
• ZeroSync / header_chain
  A STARK proof of Bitcoin's header chain
  ☆41Updated last year
• chainwayxyz / toy-bitvm-rs
  ☆25Updated last year
• coins / bitcoin-scripts
  What are the limits of Bitcoin Script?
  ☆47Updated 2 months ago
• ShieldedCSV / ShieldedCSV
  ☆41Updated last year
• halseth / output-zero
  ☆22Updated 6 months ago
• supertestnet / 8bit-cpu-for-bitvm
  Write bitvm programs without learning circuit diagrams
  ☆30Updated last year
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆51Updated 9 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆16Updated 4 months ago
• supertestnet / bitvm-workshop
  Learn how to develop bitvm apps by building tic tac toe
  ☆15Updated 7 months ago
• siv2r / bip-frost-signing
  A BIP draft for BIP340-compatible FROST threshold signing protocol
  ☆19Updated 3 months ago
• stevenroose / covenants.info
  ☆20Updated 5 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-examples
  Examples of covenants in Bitcoin script
  ☆16Updated 11 months ago
• taproot-wizards / purrfect_vault
  Demo of an onchain Bitcoin Vault using OP_CAT
  ☆59Updated 11 months ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last year
• AbdelStark / cashu-zk-engine
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆14Updated last year
• supertestnet / breaker-of-jpegs
  A tool for increasing the off-by-one bug in ordinal explorers
  ☆65Updated 2 years ago
• JohnLaw2 / ln-scaling-covenants
  Protocols that use simple covenants to scale Lightning
  ☆19Updated last year
• jamesob / mempool.work
  Summary of mempool design, challenges, and proposals (re: fees)
  ☆41Updated 2 years ago
• stutxo / tx-pigeon
  ☆27Updated 4 months ago
• lava-xyz / sibyls
  oracle implementation for numeric discreet log contracts
  ☆12Updated 9 months ago
• BP-WG / bp-core
  BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol
  ☆23Updated 2 months ago
• starkware-bitcoin / stark-symphony
  STARK verifier written in SimplicityHL language
  ☆19Updated this week
• BlockstreamResearch / bip-frost-dkg
  ☆60Updated 4 months ago
• starkware-bitcoin / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆23Updated 9 months ago
• danielabrozzoni / multisigs_and_carrots
  🥕 Create a multisig with taproot and spend from it using BDK 🥕
  ☆33Updated 2 years ago
• mit-dci / rustreexo
  Utreexo in rust
  ☆55Updated 3 weeks ago
• RGB-WG / rgb-schemata
  Standard RGB schemata and schema compiler
  ☆29Updated 3 months ago
• kuutamolabs / kld
  A Lightning Service Provider router by kuutamo
  ☆25Updated last year
• supertestnet / things-bitvm-needs
  A todo list for making bitvm great
  ☆23Updated last year