flashbots/rbuilder

feat: improve UsedStateEVMInspector by adding other op-codes that read or write

开放

#58 创建于 2024年7月13日

 (3 条评论) (0 个反应) (0 位负责人)Rust (207 个派生)auto 404
enhancementgood first issuehelp wanted

仓库指标

星标
 (559 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

During simulation we use an EVM inspector to get state that is used by a transaction by looking at the storage slots that a transaction reads and writes from. We could supplement this by adding other op-codes that read or write state. A few off the top of my head that we should add:

  • balance
  • selfbalance
  • create (balance and nonce is read)
  • create2 (balance and nonce is read)
  • selfdestruct (balance and nonce is read)

Do we need to support EXTCODECOPY, EXTCODEHASH, or EXTCODESIZE too? Not sure but I think so because some transactions might condition their execution on these and others might deploy contracts.

The goal would be to improve our coverage of what state is being used and how.

https://github.com/flashbots/rbuilder/blob/develop/crates/rbuilder/src/building/evm_inspector.rs

贡献者指南