ZeroSync/giza external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ZeroSync/giza

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ZeroSync/giza)

Close

ZeroSync / gizaView on GitHubMore

• External links
• Readme badge

A Cairo VM prover implemented using Winterfell

☆17May 4, 2023Updated 2 years ago

Alternatives and similar repositories for giza

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

• 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
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 2 years ago
• zippiehq / rv32i-to-bitvm

  View on GitHub
  ☆15Feb 14, 2024Updated 2 years ago
• hashcloak / starkjub

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

  View on GitHub
  Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.
  ☆30Feb 13, 2023Updated 3 years ago
• 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
• kariy / probe

  View on GitHub
  A Starknet toolkit
  ☆15Mar 6, 2025Updated 11 months ago
• glihm / starknet-abigen-rs

  View on GitHub
  Exploratory work on abigen in rust for Starknet 🦀
  ☆15Dec 17, 2023Updated 2 years ago
• succinctlabs / btc-warp

  View on GitHub
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60May 19, 2023Updated 2 years ago
• trianglesphere / rnode

  View on GitHub
  ☆21May 9, 2023Updated 2 years ago
• maxgillett / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆157Aug 25, 2022Updated 3 years ago
• HerodotusDev / herodotus-eth-starknet

  View on GitHub
  ☆35Aug 4, 2023Updated 2 years ago
• EthereumPostalService / eps-core

  View on GitHub
  Contracts and off-chain event listener for EPS
  ☆21Apr 8, 2023Updated 2 years ago
• gakonst / sgx-revm

  View on GitHub
  PoC of Revm execution in SGX
  ☆78Oct 21, 2023Updated 2 years ago
• halseth / output-zero

  View on GitHub
  ☆25Feb 21, 2025Updated last year
• rkrasiuk / op-reth

  View on GitHub
  ☆23Mar 4, 2023Updated 2 years ago
• hashcloak / fhe_risc0_zkvm

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

  View on GitHub
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61May 2, 2023Updated 2 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• supranational / pasta-msm

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 5 months 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
• starkware-libs / stone-prover

  View on GitHub
  ☆268Sep 16, 2024Updated last year
• keep-starknet-strange / gomu-gomu-no-gatling

  View on GitHub
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆25Oct 27, 2024Updated last year
• op-rs / op-boot

  View on GitHub
  Boot an Optimism Node, Blazingly Fast.
  ☆25Oct 1, 2023Updated 2 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• hyperledger-labs / PerformanceSandBox

  View on GitHub
  Sandbox for Hyperledger Projects Performance research usage
  ☆12Nov 27, 2023Updated 2 years ago
• statechannels / SAFE-protocol

  View on GitHub
  Low-cost and fast L2 to L1 token withdrawal
  ☆10Feb 9, 2022Updated 4 years ago
• 0xKitsune / magglob-rs

  View on GitHub
  Modular aggregated order book for CeFi exchanges
  ☆13May 25, 2023Updated 2 years ago
• kaushik-himself / winterfell-boilerplate

  View on GitHub
  ☆13Dec 3, 2022Updated 3 years ago
• with-backed / papr-liquidation-bot-rs

  View on GitHub
  ☆14May 3, 2023Updated 2 years ago
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• nfurfaro / hunter

  View on GitHub
  A mutation testing CLI tool built in Rust. Currently supports Noir as a target language
  ☆12Dec 2, 2024Updated last year
• morpho-org / ethers-multicall

  View on GitHub
  ⚡ Call multiple view functions, from multiple Smart Contracts, in a single RPC query!
  ☆24Apr 25, 2023Updated 2 years ago
• SorellaLabs / pade

  View on GitHub
  Macros + Primitives for PADE format
  ☆29Jul 26, 2025Updated 7 months ago
• andrewmilson / ministark

  View on GitHub
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆377Nov 19, 2024Updated last year
• lambdaclass / AES_zero_knowledge_proof_circuit

  View on GitHub
  ☆76Mar 30, 2023Updated 2 years ago
• noir-lang / acvm

  View on GitHub
  ☆49Sep 20, 2023Updated 2 years ago