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
- EVM ByteCode To Opcode Disassembler☆61Updated 8 months ago
- Paper: Data Representation in Solidity☆60Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- group signatures implemented with zkSNARKs☆86Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆231Updated 2 years ago
- readable evm state diffs, enumerate full contract storage