runtimeverification / publicationsLinks
Publications of Runtime Verification, Inc.
☆92Updated 4 months ago
Alternatives and similar repositories for publications
Users that are interested in publications are comparing it to the libraries listed below
Sorting:
- evm inception: the evm inside the evm via yul and solidity☆230Updated 2 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆130Updated last year
- Code for Foundry Seminar☆114Updated 3 years ago
- Solidity library with basic trigonometry functions☆148Updated 2 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- ☆162Updated 3 years ago
- readable evm state diffs, enumerate full contract storage☆137Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆63Updated 2 years ago
- Foundry + Yul template☆97Updated last year
- Smart contract debugging data format – Standards development working group☆67Updated 2 months ago
- ☆91Updated 4 years ago
- ☆215Updated 11 months ago
- Simulate cross-chain protocols txs, easily.☆151Updated 2 months ago
- ☆118Updated last year
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- ☆76Updated 3 years ago
- A gas optimized, 100% on-chain chess engine and art project where each move is minted as an NFT☆164Updated 3 years ago
- ☆109Updated 2 months ago
- Website for the Underhanded Solidity Contest☆170Updated 9 months ago
- 🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry☆109Updated 2 years ago
- A quick reference for symbols and conventions used in the Ethereum Yellow Paper.☆107Updated 4 years ago
- A collection of commonly used, vigorously tested Huff contracts for learning purposes.☆137Updated 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
- Using mutations to improve specs and test suites☆192Updated 3 months ago
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆136Updated last year
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- A data structures library that does memory management for you☆221Updated 2 years ago