Alternatives and similar repositories for cairo-m

Users that are interested in cairo-m are comparing it to the libraries listed below

• Okm165 / stone-prover-cairo0-verifier

  View on GitHub
  Integrating Stone Prover's generated proofs with the Cairo0 verifier
  ☆10Mar 8, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• NethermindEth / optimized_ecc_cairo

  View on GitHub
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Feb 8, 2023Updated 3 years ago
• keep-starknet-strange / garaga

  View on GitHub
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆251Jan 24, 2026Updated 2 weeks ago
• starkware-bitcoin / mikan

  View on GitHub
  Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s
  ☆25Nov 24, 2025Updated 2 months ago
• starkware-bitcoin / stark-symphony

  View on GitHub
  STARK verifier written in SimplicityHL language
  ☆19Sep 25, 2025Updated 4 months ago
• AbdelStark / cashu-zk-engine

  View on GitHub
  Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.
  ☆14Sep 18, 2024Updated last year
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago
• zksecurity / halo2-course

  View on GitHub
  A course on Halo2 in collaboration with Zircuit
  ☆35Jan 14, 2025Updated last year
• tcoratger / whir-p3

  View on GitHub
  ☆58Feb 6, 2026Updated last week
• keep-starknet-strange / awesome-stwo

  View on GitHub
  A curated list of awesome projects using STWO.
  ☆37Jun 27, 2025Updated 7 months ago
• starkware-libs / stwo-cairo

  View on GitHub
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
  ☆271Updated this week
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Updated this week
• astraly-labs / calf

  View on GitHub
  ☆16Jan 10, 2025Updated last year
• keep-starknet-strange / scaffold-garaga

  View on GitHub
  Noir + Garaga + Starknet web app tutorial (in-browser proving)
  ☆25Dec 4, 2025Updated 2 months ago
• keep-starknet-strange / poseidon-rs

  View on GitHub
  Poseidon Rust library
  ☆38Mar 13, 2023Updated 2 years ago
• dipdup-io / stone-packaging

  View on GitHub
  Various forms of distribution for the Starkware Stone prover and verifier
  ☆16Jan 15, 2025Updated last year
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆136Updated this week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 7 months ago
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 10 months ago
• AmadiMichael / EllipticCurves

  View on GitHub
  Elliptic curve operations written in rust.
  ☆13Jul 16, 2024Updated last year
• varun-doshi / eth-binary-tree

  View on GitHub
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Jul 13, 2025Updated 7 months ago
• ColliderVM / collidervm_toy

  View on GitHub
  ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
  ☆18Jun 5, 2025Updated 8 months ago
• rutefig / proof-of-residency

  View on GitHub
  ☆11May 17, 2025Updated 8 months ago
• starkware-libs / stwo

  View on GitHub
  ☆474Feb 5, 2026Updated last week
• starkware-libs / sequencer

  View on GitHub
  ☆64Updated this week
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆28May 30, 2025Updated 8 months ago
• leanEthereum / leanSpec

  View on GitHub
  Lean Ethereum protocol specifications and test vector generation framework.
  ☆93Updated this week
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• NethermindEth / starknet-staking-v2

  View on GitHub
  Validator software for Starknet stakers written in Go
  ☆14Dec 19, 2025Updated last month
• Moonsong-Labs / madara-prover-api

  View on GitHub
  RPC server and client to run the Stone Prover on the Madara sequencer.
  ☆11Oct 16, 2024Updated last year
• keep-starknet-strange / nori

  View on GitHub
  RPC request router and proxy for Starknet, forked from Optimism proxyd.
  ☆12Feb 26, 2024Updated last year
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• lambdaclass / lambdaworks_stark_platinum

  View on GitHub
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Oct 2, 2023Updated 2 years ago
• rkdud007 / awesome-zkvm

  View on GitHub
  A curated list of zkVM, zero-knowledge virtual machine
  ☆301Sep 29, 2025Updated 4 months 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
• keep-starknet-strange / zkramp

  View on GitHub
  ☆29Oct 8, 2024Updated last year
• AbdelStark / nostringer-rs

  View on GitHub
  Ring signatures (SAG, BLSAG) for Nostr, written in Rust 🦀
  ☆16Apr 6, 2025Updated 10 months ago
• td-kwj-zp2023 / webgpu-msm-bls12-377

  View on GitHub
  WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023
  ☆14Nov 18, 2024Updated last year