runtimeverification / publicationsLinks
Publications of Runtime Verification, Inc.
☆93Updated 2 months ago
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☆135Updated last year
- ☆90Updated 4 years ago
- ☆158Updated 2 weeks ago
- Zero-to-One Solidity with Simplicity-first.☆172Updated 2 months 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
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Foundry + Yul template☆96Updated last year
- ☆162Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆229Updated 2 years ago
- Code for Foundry Seminar☆114Updated 3 years ago
- ☆165Updated last year
- ☆130Updated last year
- Simulate cross-chain protocols txs, easily.☆148Updated last week
- ☆109Updated this week
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated last year
- Practical tutorials of Certora Prover☆237Updated last year
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆135Updated last year
- An opinionated template for Foundry projects.☆76Updated last month
- Core contracts of Morpho Optimizers.☆138Updated 3 months ago
- A forkable template repo for easily writing and testing toy contracts☆151Updated last year
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆166Updated 2 years ago
- ☆75Updated 5 months ago
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆109Updated 2 years ago
- ERC-4626 wrappers for common yield-generating platforms☆143Updated 5 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- A collection of gas optimizations for the EVM.☆94Updated 2 years ago
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago