Herodotus

All

52 repositories

herodotus-evm-v2
Public
Second iteration of herodotus-evm, based on a Diamond contract, infinite chains in one deployment, one contract to index events.
Solidity
•
GNU General Public License v3.0
•0•0•1•0•Updated Mar 12, 2025Mar 12, 2025
hdp-cairo
Public
A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
framework evm multichain zero-knowledge starknet cairo1 cairo0
Rust
•
Apache License 2.0
•5•12•5•4•Updated Mar 12, 2025Mar 12, 2025
integrity-hashes-calculator
Public
TypeScript
•
MIT License
•0•0•0•0•Updated Mar 10, 2025Mar 10, 2025
integrity
Public
Cairo STARK proof verifier for Starknet
cairo integrity zk layer3 zkp herodotus starknet cairozero
Cairo
•
Apache License 2.0
•25•70•2•6•Updated Mar 8, 2025Mar 8, 2025
integrity-calldata-generator
Public
Rust
•
Apache License 2.0
•12•2•0•1•Updated Mar 8, 2025Mar 8, 2025
bankai
Public
Cairo
•
Apache License 2.0
•1•2•0•0•Updated Mar 6, 2025Mar 6, 2025
atlantic-examples
Public
Cairo
•
Apache License 2.0
•0•5•0•0•Updated Feb 20, 2025Feb 20, 2025
hdp
Public
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
rust stark data-processor zkvm etheureum
Rust
•
GNU General Public License v3.0
•4•28•18•1•Updated Feb 20, 2025Feb 20, 2025
cairo-lib
Public
A comprehensive library for Cairo 🐺
cairo herodotus cairo-lang
Cairo
•
GNU General Public License v3.0
•11•38•0•3•Updated Feb 5, 2025Feb 5, 2025
eth_essentials
Public
Cairo
•
Apache License 2.0
•1•2•0•0•Updated Jan 23, 2025Jan 23, 2025
pathfinder
Public
A Starknet full node written in Rust
Rust
•
Other
•246•0•0•0•Updated Jan 10, 2025Jan 10, 2025
hetherscan
Public
Grants etherscan more functionality, including full diamond standard support & Herodotus proving services
TypeScript
•
GNU General Public License v3.0
•0•1•0•0•Updated Jan 3, 2025Jan 3, 2025
winter_hackathon_team_red
Public
A comprehensive transaction MPT proofs handler for Ethereum / Starknet
Rust
•
GNU General Public License v3.0
•3•0•0•0•Updated Dec 23, 2024Dec 23, 2024
program_registery
Public
Rust
•
GNU General Public License v3.0
•0•0•0•0•Updated Dec 13, 2024Dec 13, 2024
hdp-test
Public
hdp integration test with fixtures
Cairo
•
Apache License 2.0
•0•0•0•0•Updated Dec 6, 2024Dec 6, 2024
offchain-evm-headers-processor
Public
Cairo
•
GNU General Public License v3.0
•2•4•0•2•Updated Dec 4, 2024Dec 4, 2024
herodotus-evm
Public
Herodotus EVM contracts
ethereum herodotus storage-proofs
Solidity
•
GNU General Public License v3.0
•6•17•5•8•Updated Nov 25, 2024Nov 25, 2024
hdp-sp1
Public
Herodotus Data Processor using SP1 as backend
Rust
•
MIT License
•1•15•1•0•Updated Nov 8, 2024Nov 8, 2024
hdp-module-template
Public template
hdp custom module template
Shell
•0•0•0•1•Updated Nov 6, 2024Nov 6, 2024
rust-accumulators
Public
Rust Accumulators library
rust merkle-tree merkle-mountain-range
Rust
•
GNU General Public License v3.0
•2•9•4•1•Updated Oct 30, 2024Oct 30, 2024
trie-proofs
Public
A comprehensive transaction MPT proofs handler for Ethereum / Starknet
ethereum trie merkle-patricia-trie starknet
Rust
•
GNU General Public License v3.0
•3•10•3•0•Updated Oct 28, 2024Oct 28, 2024
snapshot-hodl-time-poc
Public
Safely confirm that a voter's token possession meets or exceeds a predetermined time threshold.
Cairo
•0•1•0•0•Updated Oct 24, 2024Oct 24, 2024
herodotus-on-starknet
Public
Cairo
•
GNU General Public License v3.0
•4•6•0•2•Updated Oct 23, 2024Oct 23, 2024
L2-indexer
Public
Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
rust ethereum indexer optimism herodotus arbitrum opstack
Rust
•
GNU General Public License v3.0
•0•34•1•1•Updated Oct 22, 2024Oct 22, 2024
eth-essential-rs
Public
Rust
•
MIT License
•0•0•0•0•Updated Oct 8, 2024Oct 8, 2024
turbo-zksync-demo
Public
Turbo DApp example
Solidity
•
GNU General Public License v3.0
•0•2•0•0•Updated Sep 19, 2024Sep 19, 2024
integrity-autogenerated-split
Public
Script for converting cairo0 autogenerated file to cairo1 and splitting it
Cairo
•0•1•0•0•Updated Sep 16, 2024Sep 16, 2024
swiftness
Public
Cairo-VM Stark Verifier Rust implementation
Rust
•
Apache License 2.0
•12•0•0•0•Updated Sep 15, 2024Sep 15, 2024
hdp-solidity
Public
Solidity interface on Herodotus Data Processor
ethereum solidity data-processor
Solidity
•
GNU General Public License v3.0
•1•0•0•0•Updated Sep 10, 2024Sep 10, 2024
solidity-mmr
Public
Solidity Merkle Mountain Range library
Solidity
•
GNU General Public License v3.0
•3•12•0•1•Updated Jul 26, 2024Jul 26, 2024