Alternatives and similar repositories for bitvm-workshop

Users that are interested in bitvm-workshop are comparing it to the libraries listed below

• pool2win / bitcoin-dsl
  Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes
  ☆20Updated 9 months ago
• AbdelStark / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆20Updated 6 months ago
• chainwayxyz / toy-bitvm-rs
  ☆27Updated last year
• ZeroSync / header_chain
  A STARK proof of Bitcoin's header chain
  ☆43Updated last year
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆17Updated last month
• Bitcoin-Wildlife-Sanctuary / covenants-examples
  Examples of covenants in Bitcoin script
  ☆16Updated 8 months ago
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆52Updated 5 months ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆27Updated 10 months ago
• coins / bitcoin-scripts
  What are the limits of Bitcoin Script?
  ☆46Updated last year
• supertestnet / 8bit-cpu-for-bitvm
  Write bitvm programs without learning circuit diagrams
  ☆32Updated last year
• AbdelStark / cashu-zk-engine
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆12Updated 8 months ago
• taproot-wizards / purrfect_vault
  Demo of an onchain Bitcoin Vault using OP_CAT
  ☆61Updated 8 months ago
• BP-WG / bp-core
  BP Core Lib: consensus data structures and client-side-validation library for bitcoin protocol
  ☆24Updated this week
• siv2r / bip-frost-signing
  A BIP draft for BIP340-compatible FROST threshold signing protocol
  ☆18Updated last month
• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆21Updated last month
• lava-xyz / loans-paper
  ☆19Updated 3 weeks ago
• ShieldedCSV / ShieldedCSV
  ☆39Updated 8 months ago
• lava-xyz / sibyls
  oracle implementation for numeric discreet log contracts
  ☆13Updated 6 months ago
• halseth / elftrace
  ☆32Updated 2 months ago
• JohnLaw2 / ln-scaling-covenants
  Protocols that use simple covenants to scale Lightning
  ☆20Updated last year
• RGB-WG / rgb-schemata
  Standard RGB schemata and schema compiler
  ☆29Updated this week
• LedgerHQ / moosig
  Fun with MuSig2 and Ledger devices 🎵
  ☆13Updated 2 months ago
• halseth / output-zero
  ☆21Updated 3 months ago
• alexbosworth / goldengate
  Utilities for HTLCs
  ☆16Updated 5 months ago
• RGB-WG / contractum-lang
  Contractum: RGB contract definition language
  ☆30Updated 2 years ago
• keep-starknet-strange / stark-symphony
  🎻 STARK verifier written in Simfony language for the Liquid sidechain
  ☆13Updated last week
• RGB-Tools / rgb-sandbox
  ☆20Updated 5 months ago
• maitrebitcoin / bitcoin-bitvm-compiler
  Generate a logical circuit for BitVM Bitcoin from a C like source code
  ☆13Updated 8 months ago
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆55Updated 2 years ago
• BP-WG / bp-wallet
  Modern, lightweight & standard-compliant bitcoin wallet runtime & cli without rust-bitcoin dependencies
  ☆18Updated 2 weeks ago