☆35Aug 4, 2023Updated 2 years ago
Alternatives and similar repositories for herodotus-eth-starknet
Users that are interested in herodotus-eth-starknet are comparing it to the libraries listed below
Sorting:
- A comprehensive library for Cairo 🐺☆40Jan 27, 2026Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- ☆18Nov 1, 2023Updated 2 years ago
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Oct 29, 2025Updated 4 months ago
- Cairo/Starknet smart contract fuzzer☆129Apr 22, 2025Updated 10 months ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆30Feb 11, 2026Updated 3 weeks ago
- A lightweight documentation generator for Starknet Cairo smart contracts☆11Mar 12, 2024Updated last year
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- ☆268Sep 16, 2024Updated last year
- ☆15Jun 20, 2024Updated last year
- A minimal template for building smart contracts with Cairo 1.0☆87Jun 1, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- Rust Library for running the Starknet OS via the Cairo VM☆67Feb 24, 2026Updated last week
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 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
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- Rust based Virtual Machine on Avalanche that implements Bulletproof ZK Proofs.☆14Dec 29, 2022Updated 3 years ago
- Cairo STARK proof verifier for Starknet☆77Jan 27, 2026Updated last month
- ☆17Mar 18, 2023Updated 2 years ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Generate the interfaces for your Cairo contracts☆33Oct 29, 2022Updated 3 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- A combination of simple implementations of different existing protocols and standards in Cairo☆46Feb 6, 2023Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- WadRay library for Cairo and Starknet☆21Apr 24, 2025Updated 10 months ago
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago
- Herodotus EVM contracts☆17Sep 1, 2025Updated 6 months ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year