Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
☆101Oct 30, 2023Updated 2 years ago
Alternatives and similar repositories for Forerunner
Users that are interested in Forerunner are comparing it to the libraries listed below
Sorting:
- ☆68Apr 2, 2022Updated 3 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- ☆12Apr 13, 2021Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- ☆49Oct 12, 2022Updated 3 years ago
- An optimization algorithm for liquidity allocation on DEXs☆20Nov 22, 2022Updated 3 years ago
- ☆75Feb 27, 2022Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆105Feb 14, 2018Updated 8 years ago
- Primitive Replicating Market Maker smart contracts☆131Jul 23, 2024Updated last year
- ☆39Nov 25, 2022Updated 3 years ago
- ☆10Dec 18, 2020Updated 5 years ago
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆48Mar 12, 2021Updated 5 years ago
- UniswapV3 by examples☆143Dec 22, 2022Updated 3 years ago
- ☆37Jan 7, 2022Updated 4 years ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 3 years ago
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 4 years ago
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- ☆20Jul 13, 2023Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆16Mar 18, 2024Updated 2 years ago
- Eth2 CLI debugging tool☆37Feb 23, 2025Updated last year
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆20Sep 26, 2024Updated last year
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆18Jul 1, 2024Updated last year
- Code4rena contracts☆37Jun 16, 2023Updated 2 years ago
- ☆102Jul 29, 2022Updated 3 years ago
- All awesome mev-boost related content☆115Nov 17, 2022Updated 3 years ago
- Released code of the MorphDAG prototype (version 2.0)☆10Jan 2, 2025Updated last year
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Template repository to begin building on Balancer V2☆10Jun 17, 2022Updated 3 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- A list of common Solidity optimization tips and myths.☆207Feb 17, 2022Updated 4 years ago
- ERC3156 wrappers for popular flash lenders☆73Jul 4, 2023Updated 2 years ago
- ☆18Nov 22, 2024Updated last year
- RealWorld CTF 5th realwrap challenge☆18May 21, 2023Updated 2 years ago