starkoracles/Aero 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

starkoracles/Aero

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/starkoracles/Aero)

Close

starkoracles / AeroView on GitHubMore

• External links
• Readme badge

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

☆39Jul 27, 2023Updated 2 years ago

Alternatives and similar repositories for Aero

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

• ZeroSync / giza

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

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

  View on GitHub
  Cairo Merkle Mountain Range
  ☆37Nov 8, 2023Updated 2 years ago
• zksecurity / stark-evm-adapter

  View on GitHub
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Oct 2, 2024Updated last year
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• slushsdk / slush

  View on GitHub
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Feb 20, 2023Updated 3 years ago
• andrewmilson / sandstorm

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

  View on GitHub
  RPC server and client to run the Stone Prover on the Madara sequencer.
  ☆11Oct 16, 2024Updated last year
• starkware-bitcoin / stark-symphony

  View on GitHub
  STARK verifier written in SimplicityHL language
  ☆19Sep 25, 2025Updated 5 months ago
• cartridge-gg / cairo-sha256

  View on GitHub
  Computes SHA256 of arbitrary length inputs.
  ☆15Nov 2, 2022Updated 3 years ago
• informalsystems / ibc-starknet

  View on GitHub
  Integration of IBC with Starknet
  ☆21Sep 16, 2025Updated 5 months ago
• S1nus / blevm

  View on GitHub
  celestia blobs, evm execution
  ☆20Feb 10, 2025Updated last year
• personaelabs / merkle-tree

  View on GitHub
  ☆30Mar 6, 2024Updated last year
• starkware-bitcoin / raito

  View on GitHub
  Bitcoin ZK client written in Cairo.
  ☆113Dec 1, 2025Updated 3 months ago
• Ferret-san / fuelmint

  View on GitHub
  ☆16Feb 22, 2023Updated 3 years ago
• kariy / probe

  View on GitHub
  A Starknet toolkit
  ☆15Mar 6, 2025Updated 11 months ago
• FuzzingLabs / cairo-fuzzer

  View on GitHub
  Cairo/Starknet smart contract fuzzer
  ☆129Apr 22, 2025Updated 10 months ago
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆76Jan 27, 2026Updated last month
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• software-mansion / cairo-coverage

  View on GitHub
  Code coverage tool for cairo
  ☆22Feb 23, 2026Updated last week
• lambdaclass / circom_export_to_cairo

  View on GitHub
  Export Circom verifier to Cairo
  ☆49Apr 26, 2022Updated 3 years ago
• erhant / lambda-0b10

  View on GitHub
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Oct 13, 2024Updated last year
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• lindy-labs / wadray

  View on GitHub
  WadRay library for Cairo and Starknet
  ☆21Apr 24, 2025Updated 10 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
• Carbonable / carbon-protocol

  View on GitHub
  Carbon Starknet Protocol written in Cairo.
  ☆54Jul 1, 2024Updated 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
• valida-xyz / valida

  View on GitHub
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆342Jul 31, 2025Updated 7 months ago
• keep-starknet-strange / satoru

  View on GitHub
  Synthetics platform for Starknet, inspired by GMX v2 design.
  ☆114Jul 26, 2024Updated last year
• sambarnes / cairo-multisig

  View on GitHub
  A simple multisig implementation for StarkNet
  ☆43May 28, 2022Updated 3 years ago
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• keep-starknet-strange / madara-tsukuyomi

  View on GitHub
  Madara Desktop Application
  ☆21Nov 2, 2023Updated 2 years ago
• starkware-bitcoin / mikan

  View on GitHub
  Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s
  ☆25Nov 24, 2025Updated 3 months ago
• zkp2p / zkp2p-poc

  View on GitHub
  ☆94Sep 6, 2023Updated 2 years ago
• ZeroSync / header_chain

  View on GitHub
  A STARK proof of Bitcoin's header chain
  ☆42Apr 29, 2024Updated last year
• lambdaclass / cairo_native

  View on GitHub
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆137Updated this week
• 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
• 0xEigenLabs / eigen-secret

  View on GitHub
  Confidential Transaction with Collaborative Traceability, zk-zkRollup
  ☆44Jul 14, 2023Updated 2 years ago
• starkware-bitcoin / askeladd

  View on GitHub
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆25Dec 4, 2024Updated last year