microsoft / ForerunnerLinks
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
☆98Updated last year
Alternatives and similar repositories for Forerunner
Users that are interested in Forerunner are comparing it to the libraries listed below
Sorting:
- Geth-in-SGX provides an example of running go-ethereum in SGX☆74Updated last year
- group signatures implemented with zkSNARKs☆86Updated 3 years ago
- ZK-based engine for self-sovereign SQL queries☆89Updated 2 years ago
- ☆89Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- Huff implementation of the bn254 curve, for Ethereum smart contracts☆112Updated 5 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆147Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆231Updated 2 years ago
- MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.☆154Updated 2 years ago
- Ethereum p2p traffic analysis with eBPF☆56Updated 3 years ago
- Dark Forest zkSNARK circuits☆119Updated last year
- Paper: Data Representation in Solidity☆60Updated 2 years ago
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- ☆115Updated 3 months ago
- Tornado privacy pool with internal transactions☆132Updated 2 years ago
- readable evm state diffs, enumerate full contract storage☆135Updated last year
- Cuda implementation of EVM bytecode executor☆111Updated 6 months ago
- yellow paper for roll_up token☆67Updated 6 years ago
- A devp2p crawler targeted at Eth2 nodes☆59Updated last year
- Ethereum Distributed Validator Specifications☆86Updated 2 years ago
- simulates MEV activity from an array of unique searchers; used for testing infra☆122Updated 10 months ago
- Publications of Runtime Verification, Inc.☆92Updated 3 months ago
- Tools for Yul.☆138Updated 2 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆118Updated last year
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- RISC-V interactive fault proof tech☆103Updated 2 months ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 6 years ago
- Prevent frontrunning and malicious MEV on Ethereum by using a threshold cryptography-based distributed key generation (DKG) protocol.☆68Updated 2 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago