Herodotus's repositories
L2-indexer
Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
herodotus-evm
Herodotus EVM contracts
StarkBadge
Anon, prove your everAI on starknet — everAI mirroring
solidity-mmr
Solidity Merkle Mountain Range library
yab-herodotus
Step by step Storage Proofs with Herodotus || Workshop/tutorial showcasing YAB <> Herodotus integration
rust-accumulators
Rust Accumulators library
account-inactivity-proof
Aka workshop
eth-trie-proofs
A comprehensive proofs handler for Ethereum trie
cairo1-cairo0bootloader
Cairo1 execution in Cairo0 environment
turbo-zksync-demo
Turbo DApp example
zksync-tutorial
example project using api call on zksync
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
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.
hdp-solidity
Solidity interface on Herodotus Data Processor
hdp-test
hdp integration test with fixtures
stone-prover-cairo0-verifier
Integrating Stone Prover's generated proofs with the Cairo0 verifier