patrickbiel01/Cairo_Verifier 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

patrickbiel01/Cairo_Verifier

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/patrickbiel01/Cairo_Verifier)

Close

patrickbiel01 / Cairo_VerifierView on GitHubMore

• External links
• Readme badge

☆36Aug 22, 2021Updated 4 years ago

Alternatives and similar repositories for Cairo_Verifier

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

• maxgillett / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆157Aug 25, 2022Updated 3 years ago
• personaelabs / heyanon-circuits

  View on GitHub
  Circuits used by heyanon
  ☆21Sep 14, 2022Updated 3 years ago
• xJonathanLEI / oriac

  View on GitHub
  A toy Cairo VM implementation in Rust™
  ☆73Jun 7, 2022Updated 3 years ago
• liamzebedee / quark-blockchain

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

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• starkware-libs / cairo-vm-2

  View on GitHub
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆578Updated this week
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• apibara / starknet-modular-contracts-standard

  View on GitHub
  A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
  ☆38Mar 11, 2022Updated 4 years ago
• starkoracles / zkos

  View on GitHub
  Cross-zk-rollup aggregation
  ☆61Feb 17, 2023Updated 3 years ago
• lambdaclass / circom_export_to_cairo

  View on GitHub
  Export Circom verifier to Cairo
  ☆49Apr 26, 2022Updated 3 years ago
• liamzebedee / goliath-blockchain

  View on GitHub
  An Ethereum-compatible blockchain with a giant capacity for storage
  ☆21Jul 1, 2022Updated 3 years ago
• yonadaa / battle-rollup

  View on GitHub
  ☆19Dec 9, 2022Updated 3 years ago
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• adietrichs / kzg-sharding

  View on GitHub
  ☆19Aug 4, 2022Updated 3 years ago
• weijiekoh / poseidon-encryption-circom

  View on GitHub
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆13Jul 12, 2023Updated 2 years ago
• walker9296 / BLS12-381

  View on GitHub
  sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者
  ☆13Mar 14, 2025Updated last year
• starkware-libs / stark-perpetual

  View on GitHub
  ☆56Nov 22, 2023Updated 2 years ago
• EyeOfPython / cashproof

  View on GitHub
  ☆10Sep 25, 2019Updated 6 years ago
• leonardoalt / hevm_paper

  View on GitHub
  ☆12Dec 3, 2021Updated 4 years ago
• skyro-compiler / skyro

  View on GitHub
  Home of the Skyro compiler
  ☆43Dec 12, 2022Updated 3 years ago
• starkware-libs / starkex-for-spot-trading

  View on GitHub
  ☆25May 9, 2022Updated 3 years ago
• RagePit / micro-rust-evm

  View on GitHub
  ☆22May 18, 2022Updated 3 years ago
• sCrypt-Inc / zk-battleship

  View on GitHub
  A React zkSNARK Battleship game
  ☆12Jan 9, 2024Updated 2 years ago
• perama-v / GoL2

  View on GitHub
  Cellular automata on replicated state machine
  ☆26Jun 27, 2022Updated 3 years ago
• AztecProtocol / aztec-2-bug-bounty

  View on GitHub
  ☆17Jun 3, 2022Updated 3 years ago
• facebook / winterfell

  View on GitHub
  A STARK prover and verifier for arbitrary computations
  ☆889Jul 19, 2025Updated 8 months ago
• TritonVM / triton-vm

  View on GitHub
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆272Mar 6, 2026Updated 2 weeks ago
• factorgroup / nightmarket

  View on GitHub
  ☆46Jul 25, 2022Updated 3 years ago
• valida-xyz / valida-compiler

  View on GitHub
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆52Aug 31, 2023Updated 2 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• naszam / maker-badges

  View on GitHub
  Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal
  ☆16Sep 17, 2025Updated 6 months ago
• ColliderVM / collidervm_toy

  View on GitHub
  ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
  ☆19Jun 5, 2025Updated 9 months ago
• nulltea / zk-SQL

  View on GitHub
  ZK-based engine for self-sovereign SQL queries
  ☆90Jul 28, 2022Updated 3 years ago
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 3 years ago
• sCrypt-Inc / go-scryptlib

  View on GitHub
  An sCrypt SDK for the Go language
  ☆19Dec 1, 2022Updated 3 years ago
• sCrypt-Inc / zokrates

  View on GitHub
  A zero-knowledge proof toolbox on Bitcoin. A fork of zokrates (https://github.com/Zokrates/ZoKrates).
  ☆15Feb 8, 2024Updated 2 years 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
• Alexangelj / dcs

  View on GitHub
  Dungeon Crawler System
  ☆27Jan 5, 2022Updated 4 years ago
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago