HerodotusDev / hdpView external linksLinks
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
☆28Feb 20, 2025Updated 11 months ago
Alternatives and similar repositories for hdp
Users that are interested in hdp are comparing it to the libraries listed below
Sorting:
- Herodotus EVM contracts☆17Sep 1, 2025Updated 5 months ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated last year
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆34Jan 30, 2026Updated 2 weeks ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- ☆11Sep 12, 2023Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 2 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- DRAI: Dollar-Pegged RAI☆14Apr 9, 2024Updated last year
- World ID state bridge for Linea☆11Oct 21, 2024Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- Minimal Merkle Tree implementations☆32Jun 13, 2025Updated 8 months ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- Solidity Merkle Mountain Range library☆12Jul 26, 2024Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Jan 9, 2026Updated last month
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- gast is an open source command-line toolkit for Ethereum transactions (send blob and EIP-1559 tx, deploy Solidity contracts, sign, verify…☆26Jun 26, 2024Updated last year
- Solidity contracts for a next-gen rollup system.☆70Nov 5, 2025Updated 3 months ago
- Gas benchmark research repository☆20Feb 7, 2026Updated last week
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- Educational repo for fuzzing smart-contracts with Echidna☆17Mar 6, 2024Updated last year
- 🍭 A Solidity library for prime field arithmetic☆16Jan 31, 2024Updated 2 years ago
- ☆41Aug 9, 2024Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Starknet Core Contract components in Cairo.☆28Feb 3, 2026Updated last week
- Keccak-f[1600] permutation in the EVM☆28Feb 3, 2025Updated last year
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 2 years ago
- ZKsync protocol libraries☆20Jan 20, 2026Updated 3 weeks ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Real-time bidding API scaffold for MevWallet transactions☆18Mar 5, 2023Updated 2 years ago
- ☆19Jul 25, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- An open-souce CLI which can be used to clone, compile and upload shadow contracts to the decentralized Shadow Contract Registry.☆17Mar 10, 2025Updated 11 months ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 3 months ago