Stripped-down oracle-augmented version of geth for use in fault proofs.
☆30Dec 11, 2024Updated last year
Alternatives and similar repositories for minigeth
Users that are interested in minigeth are comparing it to the libraries listed below
Sorting:
- [Optimism] Batches go zoom☆17Apr 11, 2021Updated 4 years ago
- rollup node experiments☆15Jan 25, 2022Updated 4 years ago
- Modeled after https://github.com/ethereum/eth2.0-pm☆18Dec 8, 2025Updated 2 months ago
- [Optimism] Service Integration Tests☆16Apr 11, 2021Updated 4 years ago
- ☆19Aug 20, 2022Updated 3 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Workshops that we teach☆12Nov 3, 2022Updated 3 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Contracts for EthML- a decentralized AI implementation☆24Dec 14, 2021Updated 4 years ago
- RISC-V interactive fault proof tech☆108Dec 2, 2025Updated 3 months ago
- [Optimism] State Dumps & Regenesis Automation☆15Apr 10, 2021Updated 4 years ago
- ☆15Nov 22, 2021Updated 4 years ago
- Send and download blobs on the proto-danksharding net☆32Jul 2, 2024Updated last year
- Ethereum end-to-end test harness☆35Apr 19, 2024Updated last year
- ☆52Sep 11, 2022Updated 3 years ago
- ☆17Jul 21, 2021Updated 4 years ago
- [Optimism] Plugins!☆16Apr 9, 2021Updated 4 years ago
- ☆13May 21, 2022Updated 3 years ago
- Optimistic: Bedrock, is a protocol that strives to be an extremely simple optimistic rollup that maintains 1:1 compatibility with Ethereu…☆173Aug 2, 2023Updated 2 years ago
- blah☆17Sep 20, 2021Updated 4 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 8 months ago
- ☆12Apr 11, 2023Updated 2 years ago
- Poseidon Rust library☆39Mar 13, 2023Updated 2 years ago
- Coq definitions and lemmas for verification of Casper☆18Aug 15, 2019Updated 6 years ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- The anonymous voting application implementation for Nouns project.☆15Sep 22, 2023Updated 2 years ago
- 🛠️🪝 Pre-commit hooks for foundry forge fmt and snapshot.☆20Nov 14, 2022Updated 3 years ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆23Sep 29, 2023Updated 2 years ago
- Legacy Optimism Monorepo☆14Apr 17, 2024Updated last year
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- ☆18Jun 30, 2024Updated last year
- ☆15Feb 13, 2025Updated last year
- ☆19May 3, 2021Updated 4 years ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 4 years ago
- ☆18Feb 15, 2024Updated 2 years ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Dec 27, 2023Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago