Alternatives and similar repositories for covenants-examples

Users that are interested in covenants-examples are comparing it to the libraries listed below

• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆16Updated 5 months ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last year
• ZeroSync / header_chain
  A STARK proof of Bitcoin's header chain
  ☆41Updated last year
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆51Updated 10 months ago
• pool2win / bitcoin-dsl
  Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes
  ☆20Updated last year
• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆21Updated 2 months ago
• starkware-bitcoin / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆23Updated 10 months ago
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆54Updated 3 years ago
• halseth / elftrace
  ☆30Updated 6 months ago
• supertestnet / bitvm-workshop
  Learn how to develop bitvm apps by building tic tac toe
  ☆16Updated 9 months ago
• chainwayxyz / toy-bitvm-rs
  ☆25Updated last year
• AbdelStark / cashu-zk-engine
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆14Updated last year
• taproot-wizards / purrfect_vault
  Demo of an onchain Bitcoin Vault using OP_CAT
  ☆59Updated last year
• ShieldedCSV / ShieldedCSV
  ☆41Updated last year
• coins / bitcoin-scripts
  What are the limits of Bitcoin Script?
  ☆47Updated 3 months ago
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆100Updated this week
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆20Updated last year
• starkware-bitcoin / stark-symphony
  STARK verifier written in SimplicityHL language
  ☆19Updated last month
• starkware-bitcoin / starkstr
  Nostr x STARKs exploration project.
  ☆13Updated 6 months ago
• LedgerHQ / moosig
  Fun with MuSig2 and Ledger devices 🎵
  ☆11Updated 3 months ago
• sanket1729 / rust-bulletproofs-pp
  Implementation of bulletproofs++ in rust
  ☆17Updated 2 years ago
• JohnLaw2 / ln-scaling-covenants
  Protocols that use simple covenants to scale Lightning
  ☆19Updated last year
• maitrebitcoin / bitcoin-bitvm-compiler
  Generate a logical circuit for BitVM Bitcoin from a C like source code
  ☆13Updated last year
• lambdaclass / programming_bitcoin_in_rust
  Implementing the book "Programming Bitcoin" in Rust
  ☆22Updated 3 years ago
• stevenroose / covenants.info
  ☆20Updated 6 months ago
• zig-bitcoin / bitcoin-primitives
  Libraries and primitives for Bitcoin, written in Zig.
  ☆17Updated last year
• uncomputable / zkp-workshop
  Explore the world of zero-knowledge proofs from first principles.
  ☆45Updated 2 months ago
• jamesob / mempool.work
  Summary of mempool design, challenges, and proposals (re: fees)
  ☆41Updated 2 years ago
• Rsync25 / awesome-bitvm
  A curated list of resources around BitVM
  ☆109Updated 2 months ago
• halseth / output-zero
  ☆22Updated 8 months ago