Skip to content
@HerodotusDev

Herodotus

Trust nothing. Verify everything. Build anything.

Pinned Loading

  1. integrity integrity Public

    Cairo STARK proof verifier for Starknet

    Cairo 75 25

  2. cairo-lib cairo-lib Public

    A comprehensive library for Cairo 🐺

    Cairo 39 13

  3. hdp-cairo hdp-cairo Public

    A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.

    Cairo 13 9

  4. hdp-sp1 hdp-sp1 Public

    Herodotus Data Processor using SP1 as backend

    Rust 17 3

  5. L2-indexer L2-indexer Public

    Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)

    Rust 35

  6. stwo-gnark-verifier stwo-gnark-verifier Public

    Groth16 wrapper for STWO proof-system

    Go 12 3

Repositories

Showing 10 of 68 repositories
  • starkware-cairo-vm Public Forked from starkware-libs/cairo-vm

    cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

    HerodotusDev/starkware-cairo-vm's past year of commit activity
    Rust 0 Apache-2.0 229 0 0 Updated Aug 31, 2026
  • cicd Public

    Repository for generic cicd templates

    HerodotusDev/cicd's past year of commit activity
    Shell 1 3 0 1 Updated Aug 27, 2026
  • satellite Public

    Second iteration of herodotus-evm, based on a Diamond contract, infinite chains in one deployment, one contract to index events.

    HerodotusDev/satellite's past year of commit activity
    Solidity 1 GPL-3.0 1 1 1 Updated Aug 25, 2026
  • ai-skills Public

    Herodotus SKILLs for LLMs

    HerodotusDev/ai-skills's past year of commit activity
    TypeScript 1 0 0 0 Updated Aug 25, 2026
  • snapshot-hodl-time-poc Public

    Safely confirm that a voter's token possession meets or exceeds a predetermined time threshold.

    HerodotusDev/snapshot-hodl-time-poc's past year of commit activity
    Cairo 1 0 0 0 Updated Aug 25, 2026
  • hdp-module-template Public template

    hdp custom module template

    HerodotusDev/hdp-module-template's past year of commit activity
    Shell 0 0 0 1 Updated Aug 25, 2026
  • hetherscan Public

    Grants etherscan more functionality, including full diamond standard support & Herodotus proving services

    HerodotusDev/hetherscan's past year of commit activity
    TypeScript 1 GPL-3.0 0 0 0 Updated Aug 25, 2026
  • yab-herodotus Public

    Step by step Storage Proofs with Herodotus || Workshop/tutorial showcasing YAB <> Herodotus integration

    HerodotusDev/yab-herodotus's past year of commit activity
    TypeScript 10 4 0 0 Updated Aug 25, 2026
  • daloc-whitepaper Public
    HerodotusDev/daloc-whitepaper's past year of commit activity
    TeX 0 0 0 0 Updated Aug 19, 2026
  • offchain-evm-headers-processor Public
    HerodotusDev/offchain-evm-headers-processor's past year of commit activity
    Cairo 4 GPL-3.0 3 0 2 Updated Jun 8, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…