Herodotus EVM contracts
☆17Sep 1, 2025Updated 6 months ago
Alternatives and similar repositories for herodotus-evm
Users that are interested in herodotus-evm are comparing it to the libraries listed below
Sorting:
- ☆11Jan 17, 2024Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Feb 20, 2025Updated last year
- Solidity Merkle Mountain Range library☆13Jul 26, 2024Updated last year
- Builds an ExecutionPayload from a JSON Block obtained from RPC☆16Dec 3, 2024Updated last year
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- A comprehensive library for Cairo 🐺☆40Jan 27, 2026Updated last month
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- ☆10Oct 24, 2022Updated 3 years ago
- Raycast extension for the Foundry Cast CLI☆25Jun 18, 2023Updated 2 years ago
- ☆18Mar 8, 2023Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆35Jan 30, 2026Updated last month
- Keep8R Token is an advanced fork of Keep3R Network☆10Nov 21, 2020Updated 5 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 2 years ago
- ⚙️ Rules core smart contracts☆12Nov 24, 2023Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Jan 18, 2026Updated last month
- ☆35Aug 4, 2023Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Sep 15, 2022Updated 3 years ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- A dataframe approach to the Cairo framework☆17Feb 10, 2025Updated last year
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆10May 15, 2021Updated 4 years ago
- TenUp Smart Token☆10Aug 7, 2021Updated 4 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 3 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago