Limit VMResult cases when concrete

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

225 stars 46 forks source link

Limit VMResult cases when concrete #447

Closed arcz closed 7 months ago

arcz commented 7 months ago

Description

This builds on top of https://github.com/ethereum/hevm/pull/427. Better types using VMType allowed to eliminate dead code and optimize concrete execution with specialized branch. The speedup is ~10% on ethereum-tests.

Checklist

[x] tested locally
[ ] added automated tests
[ ] updated the docs
[ ] updated the changelog