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 months ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last year
• chainwayxyz / risc0-to-bitvm2
  ☆19Updated 4 months ago
• starkware-bitcoin / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆23Updated 10 months ago
• starkware-bitcoin / raito
  Bitcoin ZK client written in Cairo.
  ☆99Updated last week
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆51Updated 10 months ago
• alpenlabs / alpen
  Rust implementation of the Alpen protocol
  ☆86Updated this week
• chainwayxyz / clementine
  Citrea's BitVM Based Trust-Minimized Two-Way Peg Program
  ☆100Updated 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
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆75Updated 8 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆16Updated 5 months ago
• succinctlabs / zkvm-perf
  ☆27Updated 9 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• supertestnet / bitvm-workshop
  Learn how to develop bitvm apps by building tic tac toe
  ☆16Updated 9 months ago
• sanket1729 / rust-bulletproofs-pp
  Implementation of bulletproofs++ in rust
  ☆17Updated 2 years ago
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆20Updated last year
• demox-labs / webgpu-crypto
  ☆40Updated 6 months ago
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆17Updated 3 years ago
• ZeroSync / header_chain
  A STARK proof of Bitcoin's header chain
  ☆41Updated last year
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆22Updated this week
• matter-labs / schnorr-musig
  Simple Schnorr Multi-Signatures
  ☆30Updated last year
• CharmsDev / zkbitcoin
  zkBitcoin: zero-knowledge proofs on Bitcoin!
  ☆165Updated last year
• Lagrange-Labs / reckle-trees
  ☆32Updated last year
• AbdelStark / cashu-zk-engine
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆14Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆62Updated 10 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year
• FairgateLabs / BitVMX
  ☆20Updated last week
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆20Updated 11 months ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 3 months ago