runtimeverification / publicationsLinks
Publications of Runtime Verification, Inc.
☆92Updated last month
Alternatives and similar repositories for publications
Users that are interested in publications are comparing it to the libraries listed below
Sorting:
- readable evm state diffs, enumerate full contract storage☆136Updated last year
- A collection of commonly used, vigorously tested Huff contracts for learning purposes.☆137Updated 2 years ago
- Foundry + Yul template☆96Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- ☆165Updated last year
- Tools for Yul.☆138Updated 2 years ago
- ☆76Updated 2 years ago
- ☆158Updated last week
- A collection of gas optimizations for the EVM.☆93Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- ☆90Updated 4 years ago
- An opinionated template for Foundry projects.☆76Updated 3 weeks ago
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆109Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆147Updated last month
- ☆92Updated last year
- ☆130Updated last year
- MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.☆154Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Practical tutorials of Certora Prover☆236Updated last year
- Library for checked-in, targeted gas snapshots with forge☆97Updated 8 months ago
- Replay and track historical state☆206Updated 4 months ago
- ☆118Updated last year
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- a simple cli tool to load a contract code up in your IDE instantly.☆131Updated 2 months ago
- ☆122Updated 2 years ago
- Hacxyk Lab -- A sandboxed playground to exploit Ethereum contracts on a mainnet fork☆69Updated 2 years ago
- A list of resources related to scaling with rollups.☆61Updated last year
- Using mutations to improve specs and test suites☆188Updated 3 weeks ago