Alternatives and similar repositories for rv32i-to-bitvm

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

• BitVM / rust-bitcoin-m31-or-babybear

  View on GitHub
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Jul 24, 2024Updated last year
• maitrebitcoin / bitcoin-bitvm-compiler

  View on GitHub
  Generate a logical circuit for BitVM Bitcoin from a C like source code
  ☆13Sep 8, 2024Updated last year
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• halseth / output-zero

  View on GitHub
  ☆25Feb 21, 2025Updated 11 months ago
• Bitcoin-Wildlife-Sanctuary / catnet

  View on GitHub
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆20Jun 25, 2024Updated last year
• LimeChain / based-preconfirmations-research

  View on GitHub
  ☆12May 8, 2024Updated last year
• jackryanservia / mastermind

  View on GitHub
  ☆12Jun 29, 2022Updated 3 years ago
• chainwayxyz / bitvm-zk-verifier

  View on GitHub
  BitVM Groth16 Verifier Toolkit - WIP
  ☆80Jul 8, 2024Updated last year
• AIGC-NFT / implementation

  View on GitHub
  ☆13Aug 10, 2024Updated last year
• tari-project / bulletproofs-plus

  View on GitHub
  ☆11Jul 14, 2025Updated 7 months ago
• Modulus-Labs / leela_vs_world

  View on GitHub
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆20Sep 26, 2024Updated last year
• EthanHeilman / op_cat_draft

  View on GitHub
  ☆15Dec 27, 2023Updated 2 years ago
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• phantomzone-org / phantom

  View on GitHub
  ☆23Dec 8, 2025Updated 2 months ago
• blockhackersio / zrclib

  View on GitHub
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Oct 20, 2023Updated 2 years ago
• zkp-gravity / 0g

  View on GitHub
  ☆39Apr 25, 2023Updated 2 years ago
• getclave / zksync-storage-proofs

  View on GitHub
  ☆13Apr 9, 2025Updated 10 months ago
• matter-labs / risc_v_simulator

  View on GitHub
  ☆22Dec 4, 2024Updated last year
• lambdaclass / era_vm

  View on GitHub
  EraVM implementation
  ☆19Sep 5, 2024Updated last year
• curiosity-driven / bitcoin-contracts-compiler

  View on GitHub
  Small programming language compiling to Bitcoin Script
  ☆17Apr 8, 2015Updated 10 years ago
• matter-labs / zk_os

  View on GitHub
  OS for next iteration of the world computer
  ☆43Aug 24, 2023Updated 2 years ago
• eerkaijun / kzg-rust

  View on GitHub
  Step by step implementation of KZG
  ☆19Sep 29, 2024Updated last year
• hashcloak / fhe_risc0_zkvm

  View on GitHub
  FHE in the Risc0 zkVM
  ☆25Nov 16, 2023Updated 2 years ago
• hyperproofs / hyperproofs-go

  View on GitHub
  ☆22Dec 19, 2024Updated last year
• privacy-ethereum / nova-ml

  View on GitHub
  ☆24Oct 13, 2023Updated 2 years ago
• pool2win / bitcoin-dsl

  View on GitHub
  Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes
  ☆20Aug 22, 2024Updated last year
• lambdaclass / programming_bitcoin_in_rust

  View on GitHub
  Implementing the book "Programming Bitcoin" in Rust
  ☆22Sep 27, 2022Updated 3 years ago
• socathie / zkApp

  View on GitHub
  Zero-Knowledge dApp Boilerplate
  ☆24Mar 8, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• BitVM / rust-bitcoin-scriptexec

  View on GitHub
  Bitcoin Script interpreter implemented in Rust
  ☆53Dec 11, 2025Updated 2 months ago
• z-kaggle / ZKaggle

  View on GitHub
  🏆 Finalist of ETHGlobal FVM Space Warp Hack
  ☆27Mar 4, 2023Updated 2 years ago
• summa-dev / halo2-experiments

  View on GitHub
  For practice to using halo2
  ☆23Jun 7, 2023Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• Rsync25 / awesome-bitvm

  View on GitHub
  A curated list of resources around BitVM
  ☆112Aug 4, 2025Updated 6 months ago
• geometryxyz / mental-poker

  View on GitHub
  A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
  ☆117Jan 29, 2025Updated last year
• aljazceru / discreet-log-contracts

  View on GitHub
  dlc.wiki - discreete log contracts directory
  ☆24Jan 30, 2026Updated 2 weeks ago
• chainwayxyz / toy-bitvm-rs

  View on GitHub
  ☆25Feb 2, 2024Updated 2 years ago
• starkoracles / Aero

  View on GitHub
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Jul 27, 2023Updated 2 years ago