Skip to content

@HerodotusDev Herodotus

Change the repository type filter

All

    Repositories list

    47 repositories

    • integrity

      Public
      Cairo STARK proof verifier for Starknet
      cairointegrityzklayer3zkpherodotusstarknetcairozero
      Cairo
      •
      Apache License 2.0
      •20•67•1•3•Updated Nov 22, 2024Nov 22, 2024

    • hdp

      Public
      Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
      ruststarkdata-processorzkvmetheureum
      Rust
      •
      GNU General Public License v3.0
      •4•29•27•3•Updated Nov 22, 2024Nov 22, 2024

    • hdp-cairo

      Public
      Cairo
      •
      Apache License 2.0
      •4•7•9•5•Updated Nov 21, 2024Nov 21, 2024

    • integrity-hashes-calculator

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Nov 20, 2024Nov 20, 2024

    • hdp-test

      Public
      hdp integration test with fixtures
      Cairo
      •
      Apache License 2.0
      •0•0•0•1•Updated Nov 20, 2024Nov 20, 2024

    • herodotus-evm

      Public
      Herodotus EVM contracts
      ethereumherodotusstorage-proofs
      Solidity
      •
      GNU General Public License v3.0
      •6•17•4•9•Updated Nov 19, 2024Nov 19, 2024

    • atlantic-example

      Public
      Cairo
      •0•0•0•0•Updated Nov 11, 2024Nov 11, 2024

    • integrity-calldata-generator

      Public
      Rust
      •
      Apache License 2.0
      •8•1•0•0•Updated Nov 8, 2024Nov 8, 2024

    • hdp-sp1

      Public
      Herodotus Data Processor using SP1 as backend
      Rust
      •
      MIT License
      •1•14•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
      rustmerkle-treemerkle-mountain-range
      Rust
      •
      GNU General Public License v3.0
      •1•9•4•1•Updated Oct 30, 2024Oct 30, 2024

    • offchain-evm-headers-processor

      Public
      Cairo
      •
      GNU General Public License v3.0
      •2•4•0•2•Updated Oct 29, 2024Oct 29, 2024

    • trie-proofs

      Public
      A comprehensive transaction MPT proofs handler for Ethereum / Starknet
      ethereumtriemerkle-patricia-triestarknet
      Rust
      •
      GNU General Public License v3.0
      •2•9•3•0•Updated Oct 28, 2024Oct 28, 2024

    • eth_essentials

      Public
      Cairo
      •
      Apache License 2.0
      •1•2•0•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

    • cairo-lib

      Public
      A comprehensive library for Cairo 🐺
      cairoherodotuscairo-lang
      Cairo
      •
      GNU General Public License v3.0
      •11•38•0•3•Updated Oct 23, 2024Oct 23, 2024

    • L2-indexer

      Public
      Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)
      rustethereumindexeroptimismherodotusarbitrumopstack
      Rust
      •
      GNU General Public License v3.0
      •0•35•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
      •8•0•0•0•Updated Sep 15, 2024Sep 15, 2024

    • hdp-solidity

      Public
      Solidity interface on Herodotus Data Processor
      ethereumsoliditydata-processor
      Solidity
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • program_registery

      Public
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • solidity-mmr

      Public
      Solidity Merkle Mountain Range library
      Solidity
      •
      GNU General Public License v3.0
      •3•11•0•1•Updated Jul 26, 2024Jul 26, 2024

    • yab-herodotus

      Public
      Step by step Storage Proofs with Herodotus || Workshop/tutorial showcasing YAB <> Herodotus integration
      TypeScript
      •4•9•0•0•Updated Jul 5, 2024Jul 5, 2024

    • cairo

      Public
      Cairo is the first Turing-complete language for creating provable programs for general computation.
      Rust
      •
      Apache License 2.0
      •497•0•0•0•Updated Jun 10, 2024Jun 10, 2024

    • cairo-vm

      Public
      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.
      Rust
      •
      Apache License 2.0
      •150•0•0•0•Updated May 22, 2024May 22, 2024

    • mpt-fixtures

      Public
      Rust
      •0•0•0•0•Updated May 7, 2024May 7, 2024

    • cairo1-cairo0bootloader

      Public
      Cairo1 execution in Cairo0 environment
      Cairo
      •
      Apache License 2.0
      •3•1•0•0•Updated Apr 25, 2024Apr 25, 2024