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
  ☆21Updated 2 weeks ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last year
• starkware-bitcoin / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆23Updated last year
• chainwayxyz / clementine
  Clementine repository
  ☆102Updated this week
• FairgateLabs / BitVMX
  ☆22Updated 2 months ago
• chainwayxyz / risc0-to-bitvm2
  ☆20Updated last month
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆75Updated 10 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆16Updated 7 months ago
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆52Updated this week
• Bitcoin-Wildlife-Sanctuary / covenants-examples
  Examples of covenants in Bitcoin script
  ☆15Updated last year
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆54Updated 3 years ago
• alpenlabs / alpen
  Rust implementation of the Alpen protocol
  ☆87Updated 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
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆22Updated this week
• starkware-bitcoin / raito
  Bitcoin ZK client written in Cairo.
  ☆110Updated 2 weeks ago
• demox-labs / webgpu-crypto
  ☆41Updated 7 months ago
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆158Updated 2 weeks ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆28Updated last year
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆18Updated 3 years ago
• Lagrange-Labs / reckle-trees
  ☆32Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆78Updated last month
• CharmsDev / zkbitcoin
  zkBitcoin: zero-knowledge proofs on Bitcoin!
  ☆163Updated last year
• Neptune-Crypto / twenty-first
  Collection of mathematics routines and cryptography for the twenty-first century
  ☆92Updated this week
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆30Updated 10 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆86Updated 9 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆64Updated last year
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆80Updated last year
• Rsync25 / awesome-bitvm
  A curated list of resources around BitVM
  ☆111Updated 4 months ago
• BitVM / garbled-snark-verifier
  ☆20Updated last week
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago