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
• zippiehq / rv32i-to-bitvm

  View on GitHub
  ☆15Feb 14, 2024Updated 2 years ago
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 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
• halseth / output-zero

  View on GitHub
  ☆25Feb 21, 2025Updated last year
• HerodotusDev / herodotus-eth-starknet

  View on GitHub
  ☆35Aug 4, 2023Updated 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
• maxgillett / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆157Aug 25, 2022Updated 3 years ago
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 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
• 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 last year
• EthereumPostalService / eps-core

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

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 6 months ago
• glihm / starknet-abigen-rs

  View on GitHub
  Exploratory work on abigen in rust for Starknet 🦀
  ☆15Dec 17, 2023Updated 2 years ago
• andrewmilson / ministark

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

  View on GitHub
  Low-cost and fast L2 to L1 token withdrawal
  ☆10Feb 9, 2022Updated 4 years ago
• rkrasiuk / op-reth

  View on GitHub
  ☆23Mar 4, 2023Updated 3 years ago
• andrewmilson / sandstorm

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

  View on GitHub
  ☆21May 9, 2023Updated 2 years ago
• privacy-ethereum / maze

  View on GitHub
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61May 2, 2023Updated 2 years ago
• lambdaclass / cairo-vm-py

  View on GitHub
  cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
  ☆23Jun 29, 2023Updated 2 years ago
• lambdaclass / AES_zero_knowledge_proof_circuit

  View on GitHub
  ☆76Mar 30, 2023Updated 2 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• gakonst / sgx-revm

  View on GitHub
  PoC of Revm execution in SGX
  ☆78Oct 21, 2023Updated 2 years ago
• cronokirby / deevee

  View on GitHub
  Designatived verifier Schnorr signatures
  ☆13Nov 4, 2022Updated 3 years ago
• kayabaNerve / threshold-threshold-ecdsa

  View on GitHub
  ☆16Jan 29, 2024Updated 2 years ago
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• bitcoin-stark / khepri

  View on GitHub
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆53Sep 12, 2022Updated 3 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• ZeroSync / header_chain

  View on GitHub
  A STARK proof of Bitcoin's header chain
  ☆42Apr 29, 2024Updated last year
• yrrid / submission-msm-gpu

  View on GitHub
  ☆12Dec 20, 2023Updated 2 years ago
• starkware-libs / stone-prover

  View on GitHub
  ☆268Sep 16, 2024Updated last year
• 0xClandestine / zk-2fa

  View on GitHub
  Single owner authorization with zk-based two-factor-authorization.
  ☆18Oct 6, 2022Updated 3 years ago
• kaushik-himself / winterfell-boilerplate

  View on GitHub
  ☆13Dec 3, 2022Updated 3 years ago
• 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
• spalladino / zkp-tests

  View on GitHub
  Playing with zero-knowledge proof languages
  ☆107Jan 26, 2023Updated 3 years ago
• with-backed / papr-liquidation-bot-rs

  View on GitHub
  ☆14May 3, 2023Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago