Alternatives and similar repositories for herodotus-eth-starknet

Users that are interested in herodotus-eth-starknet are comparing it to the libraries listed below

• HerodotusDev / cairo-lib

  View on GitHub
  A comprehensive library for Cairo 🐺
  ☆40Jan 27, 2026Updated 2 weeks ago
• andrewmilson / sandstorm

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

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

  View on GitHub
  A Starknet toolkit
  ☆15Mar 6, 2025Updated 11 months ago
• gaetbout / starknet-commit-reveal

  View on GitHub
  ☆18Nov 1, 2023Updated 2 years ago
• snapshot-labs / checkpoint

  View on GitHub
  Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.
  ☆55Oct 29, 2025Updated 3 months ago
• FuzzingLabs / cairo-fuzzer

  View on GitHub
  Cairo/Starknet smart contract fuzzer
  ☆129Apr 22, 2025Updated 9 months ago
• foundry-rs / starknet_forge_template

  View on GitHub
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Nov 15, 2023Updated 2 years ago
• glihm / starknet-messaging-dev

  View on GitHub
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Updated this week
• nostrafinance / cairo-docgen

  View on GitHub
  A lightweight documentation generator for Starknet Cairo smart contracts
  ☆11Mar 12, 2024Updated last year
• arkworks-rs / accumulation

  View on GitHub
  Rust library for accumulation schemes
  ☆25Jan 24, 2023Updated 3 years ago
• massalabs / riscairo

  View on GitHub
  RISC-V ELF interpreter in cairo
  ☆37Oct 18, 2024Updated last year
• lambdaclass / simpleworks

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

  View on GitHub
  Cryptographic protocols
  ☆38Apr 19, 2023Updated 2 years ago
• starkware-libs / stone-prover

  View on GitHub
  ☆267Sep 16, 2024Updated last year
• Quadratic-Labs / VerkleTries_Besu

  View on GitHub
  ☆15Jun 20, 2024Updated last year
• auditless / cairo-template

  View on GitHub
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Jun 1, 2023Updated 2 years ago
• keep-starknet-strange / snos

  View on GitHub
  Rust Library for running the Starknet OS via the Cairo VM
  ☆68Jan 20, 2026Updated 3 weeks ago
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• iosis-tech / zetina

  View on GitHub
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Dec 5, 2024Updated last year
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 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
• sanket1729 / rust-bulletproofs-pp

  View on GitHub
  Implementation of bulletproofs++ in rust
  ☆18May 8, 2023Updated 2 years ago
• glihm / starknet-abigen-rs

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

  View on GitHub
  Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.
  ☆15Dec 29, 2022Updated 3 years ago
• HerodotusDev / integrity

  View on GitHub
  Cairo STARK proof verifier for Starknet
  ☆75Jan 27, 2026Updated 2 weeks ago
• kaizokulabs / yet-another-bridge

  View on GitHub
  Yet Another Bridge with Grind Labs and Herodotus
  ☆20Jan 5, 2024Updated 2 years ago
• Janmajayamall / ObliviousMessageRetrieval-Old

  View on GitHub
  ☆17Mar 18, 2023Updated 2 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• enitrat / cairo-toolkit

  View on GitHub
  Generate the interfaces for your Cairo contracts
  ☆33Oct 29, 2022Updated 3 years ago
• lambdaclass / starknet_in_rust

  View on GitHub
  A Rust implementation of Starknet execution logic
  ☆170Jul 22, 2024Updated last year
• Darlington02 / min-starknet

  View on GitHub
  A combination of simple implementations of different existing protocols and standards in Cairo
  ☆46Feb 6, 2023Updated 3 years ago
• HerodotusDev / cairo-mmr

  View on GitHub
  Cairo Merkle Mountain Range
  ☆37Nov 8, 2023Updated 2 years ago
• lindy-labs / wadray

  View on GitHub
  WadRay library for Cairo and Starknet
  ☆21Apr 24, 2025Updated 9 months ago
• zk-ml / research

  View on GitHub
  repository for machine learning algorithms and systems on emergent runtimes
  ☆21Jan 31, 2023Updated 3 years ago
• JSeam2 / zkml-server

  View on GitHub
  Server for ZKML
  ☆21Mar 5, 2023Updated 2 years ago
• HerodotusDev / herodotus-evm

  View on GitHub
  Herodotus EVM contracts
  ☆17Sep 1, 2025Updated 5 months ago
• SoraSuegami / iOMaker

  View on GitHub
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆36Oct 10, 2024Updated last year