Alternatives and similar repositories for swiftness

Users that are interested in swiftness are comparing it to the libraries listed below

• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• Okm165 / stwo-web-stark

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

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• keep-starknet-strange / snos

  View on GitHub
  Rust Library for running the Starknet OS via the Cairo VM
  ☆68Jan 20, 2026Updated 3 weeks ago
• Okm165 / binius-web-snark

  View on GitHub
  Binius circuits web demos
  ☆14Dec 15, 2024Updated last year
• starkware-libs / sequencer

  View on GitHub
  ☆64Updated this week
• 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
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated last month
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• starkware-libs / stone-prover

  View on GitHub
  ☆267Sep 16, 2024Updated last year
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆75Jan 27, 2026Updated 2 weeks ago
• matter-labs / zksync-crypto-gpu

  View on GitHub
  GPU-acceselerated cryptography libraries for ZKsync
  ☆22Updated this week
• Maddiaa0 / solidity-circuits

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• starkware-libs / stwo

  View on GitHub
  ☆476Updated this week
• succinctlabs / sp1-helios

  View on GitHub
  On-chain Ethereum light client built with SP1
  ☆80Dec 16, 2025Updated 2 months ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• 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
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• cartridge-gg / cainome

  View on GitHub
  A library to generate bindings from Cairo ABI.
  ☆50Updated this week
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Oct 20, 2025Updated 3 months ago
• lambdaclass / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Feb 9, 2026Updated last week
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• lambdaclass / STARK101-rs

  View on GitHub
  STARK 101 Workshop in Rust 🐺🦀
  ☆140Apr 28, 2023Updated 2 years ago
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• brevis-network / pico

  View on GitHub
  ☆97Updated this week
• keep-starknet-strange / garaga

  View on GitHub
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆251Jan 24, 2026Updated 3 weeks ago
• starknet-io / types-rs

  View on GitHub
  🐺 Starknet Rust types 🦀
  ☆80Dec 2, 2025Updated 2 months ago
• TomWambsgans / Whirlaway

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

  View on GitHub
  Benchmark of ZKVMs and Proving Schemes
  ☆32Dec 12, 2025Updated 2 months ago
• renegade-fi / renegade

  View on GitHub
  On-chain dark pool. MPC for anonymous crosses at midpoint prices.
  ☆239Updated this week
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• dipdup-io / stone-packaging

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

  View on GitHub
  Simplified educational python plonk implementation
  ☆46Jul 6, 2025Updated 7 months ago
• celestiaorg / lumina

  View on GitHub
  Wasm friendly Celestia light node implementation in Rust
  ☆170Updated this week