Alternatives and similar repositories for bitvm-zk-verifier

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

• chainwayxyz / clementine

  View on GitHub
  Clementine repository
  ☆106Feb 10, 2026Updated last week
• chainwayxyz / bitcoin-da

  View on GitHub
  Bitcoin DA Adapter for Sovereign SDK
  ☆46Mar 28, 2024Updated last year
• chainwayxyz / citrea

  View on GitHub
  Citrea repository
  ☆284Updated this week
• zippiehq / rv32i-to-bitvm

  View on GitHub
  ☆15Feb 14, 2024Updated 2 years ago
• chainwayxyz / toy-bitvm-rs

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

  View on GitHub
  A Trust-minimized Bitcoin Bridge
  ☆498Jan 26, 2026Updated 3 weeks ago
• lurk-lang / arecibo

  View on GitHub
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Mar 3, 2025Updated 11 months ago
• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

  View on GitHub
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆159Dec 3, 2025Updated 2 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
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Feb 10, 2026Updated last week
• 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
• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• KasarLabs / bitcoin-da

  View on GitHub
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆38Oct 27, 2023Updated 2 years ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• shramee / cairo_pairing

  View on GitHub
  ☆19Aug 15, 2024Updated last year
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• HerodotusDev / hdp

  View on GitHub
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Feb 20, 2025Updated 11 months ago
• 0xEigenLabs / eigen-zeth

  View on GitHub
  A "Type 0" zkEVM
  ☆12Jul 16, 2025Updated 7 months ago
• hananbeer / tornado-core-blacklist

  View on GitHub
  Tornado cash fork with blacklist to prevent illegal money laundering
  ☆10Mar 13, 2023Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• privacy-ethereum / halo2-solidity-verifier

  View on GitHub
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆68Oct 1, 2024Updated last year
• matter-labs / pairing

  View on GitHub
  Pairing-friendly elliptic curve library
  ☆24Aug 15, 2024Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• z-korp / zknight-front

  View on GitHub
  ☆11Nov 17, 2023Updated 2 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• JumpCrypto / plonky2-crypto

  View on GitHub
  Crypto Gadgets for Plonky2
  ☆77May 16, 2024Updated last year
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• BitVM / rust-bitcoin-m31-or-babybear

  View on GitHub
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Jul 24, 2024Updated last year
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• blockhackersio / zrclib

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

  View on GitHub
  ☆83Jan 7, 2025Updated last year
• matter-labs / zk_os

  View on GitHub
  OS for next iteration of the world computer
  ☆43Aug 24, 2023Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• matter-labs / risc_v_simulator

  View on GitHub
  ☆22Dec 4, 2024Updated last year
• succinctlabs / vectorx

  View on GitHub
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆46Jun 9, 2024Updated last year