runtimeverification / publications

Related projects: ⓘ

• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆108Updated last year
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 3 years ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆164Updated 2 weeks ago
• costa-group / gasol-optimizer
  ☆107Updated last month
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated last year
• 0xmonsoon / evm-from-scratch
  Implementation of the Ethereum Virtual Machine in python.
  ☆86Updated last year
• gakonst / v3-periphery-foundry
  🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3, modified for building & testing with Foundry
  ☆109Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆91Updated 8 months ago
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆163Updated 2 years ago
• huff-language / huff-examples
  A collection of commonly used, vigorously tested Huff contracts for learning purposes.
  ☆138Updated last year
• odyslam / foundry-upgrades
  Helper smart contracts to deploy and manage upgradeable contracts on Ethereum.
  ☆169Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆138Updated last month
• blunt-instruments / MevWallet
  MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.
  ☆153Updated last year
• security-alliance / safe-harbor
  ☆58Updated 2 months ago
• huff-language / huff-project-template
  Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.
  ☆211Updated last month
• FastLane-Labs / atlas
  An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…
  ☆142Updated this week
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆136Updated 8 months ago
• euler-xyz / euler-contracts
  ☆129Updated 3 months ago
• a16z / metamorphic-contract-detector
  ☆160Updated 2 years ago
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• attestate / awesome-ethereum-rollups
  A list of resources related to scaling with rollups.
  ☆58Updated 5 months ago
• crytic / roundme
  ☆86Updated 3 months ago
• nomad-xyz / ExcessivelySafeCall
  excessively safe solidity calls
  ☆222Updated 11 months ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆57Updated last year
• euler-xyz / uni-v3-twap-manipulation
  ☆116Updated 6 months ago
• morpho-org / morpho-optimizers
  Core contracts of Morpho V1 Optimizers.
  ☆137Updated 6 months ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated last year