Alternatives and similar repositories for BitVMX-CPU

Users that are interested in BitVMX-CPU are comparing it to the libraries listed below

• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆22Updated 3 weeks ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆26Updated last year
• chainwayxyz / risc0-to-bitvm2
  ☆20Updated last month
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆51Updated 8 months ago
• alpenlabs / alpen
  Rust implementation of the Alpen protocol
  ☆77Updated this week
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆94Updated this week
• starkware-bitcoin / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆24Updated 8 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-examples
  Examples of covenants in Bitcoin script
  ☆17Updated 10 months ago
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆22Updated last year
• sanket1729 / rust-bulletproofs-pp
  Implementation of bulletproofs++ in rust
  ☆16Updated 2 years ago
• FairgateLabs / BitVMX
  ☆20Updated last year
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆17Updated 2 years ago
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆55Updated 2 years ago
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆19Updated 3 months ago
• starkware-bitcoin / raito
  Bitcoin ZK client written in Cairo.
  ☆73Updated last week
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆22Updated last week
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆72Updated 6 months ago
• supertestnet / bitvm-workshop
  Learn how to develop bitvm apps by building tic tac toe
  ☆16Updated 6 months ago
• LedgerHQ / moosig
  Fun with MuSig2 and Ledger devices 🎵
  ☆13Updated last month
• succinctlabs / zkvm-perf
  ☆26Updated 7 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year
• Lagrange-Labs / reckle-trees
  ☆31Updated last year
• ProjectZKM / zkm-prover
  A parallel proving service for ZKM.
  ☆22Updated 3 weeks ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆27Updated 8 months ago
• Rsync25 / awesome-bitvm
  A curated list of resources around BitVM
  ☆111Updated 2 weeks ago
• RGB-WG / rgb-schemata
  Standard RGB schemata and schema compiler
  ☆30Updated 2 months ago
• starkware-bitcoin / stark-symphony
  STARK verifier written in SimplicityHL language
  ☆18Updated 3 weeks ago
• siv2r / bip-frost-signing
  A BIP draft for BIP340-compatible FROST threshold signing protocol
  ☆19Updated 2 months ago