Alternatives and similar repositories for giza

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

• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• andrewmilson / ministark

  View on GitHub
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆375Nov 19, 2024Updated last year
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• lambdaclass / cairo-vm

  View on GitHub
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆573Updated this week
• 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
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆341Jul 31, 2025Updated 6 months ago
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• Lev-Stambler / bulletproof-cairo

  View on GitHub
  ☆40Sep 23, 2022Updated 3 years ago
• slushsdk / slush

  View on GitHub
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Feb 20, 2023Updated 2 years ago
• anoma / zkp-compiler-shootout

  View on GitHub
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Dec 19, 2023Updated 2 years ago
• xJonathanLEI / oriac

  View on GitHub
  A toy Cairo VM implementation in Rust™
  ☆72Jun 7, 2022Updated 3 years ago
• facebook / winterfell

  View on GitHub
  A STARK prover and verifier for arbitrary computations
  ☆884Jul 19, 2025Updated 6 months ago
• liamzebedee / quark-blockchain

  View on GitHub
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Jun 7, 2022Updated 3 years ago
• hashcloak / starkjub

  View on GitHub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Feb 2, 2023Updated 3 years ago
• patrickbiel01 / Cairo_Verifier

  View on GitHub
  ☆36Aug 22, 2021Updated 4 years ago
• Veridise / Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆52Sep 13, 2022Updated 3 years ago
• open-dust / cairo-foundry

  View on GitHub
  Foundry like framework for starknet contracts
  ☆75Mar 9, 2023Updated 2 years ago
• lambdaclass / STARK101-rs

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

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• keep-starknet-strange / shenlong

  View on GitHub
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Mar 24, 2023Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• OilerNetwork / fossil_cairo0

  View on GitHub
  ☆100Jun 14, 2022Updated 3 years ago
• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆147Feb 14, 2025Updated last year
• lambdaclass / lambdaworks

  View on GitHub
  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…
  ☆721Updated this week
• beautyisourbusiness / cairo-goldmine

  View on GitHub
  A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
  ☆293Oct 12, 2022Updated 3 years ago
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• sambarnes / cairo-multisig

  View on GitHub
  A simple multisig implementation for StarkNet
  ☆43May 28, 2022Updated 3 years ago
• influenceth / cairo-math-64x61

  View on GitHub
  Fixed point 64.61 math library for Cairo / Starknet
  ☆65Mar 8, 2023Updated 2 years ago
• HerodotusDev / cairo-mmr

  View on GitHub
  Cairo Merkle Mountain Range
  ☆37Nov 8, 2023Updated 2 years ago
• tekkac / cairo-alt_bn128

  View on GitHub
  bn254 pairing library for Cairo Zero
  ☆26Dec 15, 2022Updated 3 years ago
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• franklynwang / EcneProject

  View on GitHub
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Aug 2, 2022Updated 3 years ago
• lambdaclass / simpleworks

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

  View on GitHub
  A STARK proof to sync a Bitcoin full node in an instant.
  ☆443Nov 24, 2024Updated last year
• lambdaclass / circom_export_to_cairo

  View on GitHub
  Export Circom verifier to Cairo
  ☆49Apr 26, 2022Updated 3 years ago