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