search

ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
238 stars 48 forks source link

Get preimages from Solidity #369

Open msooseth opened 1 year ago

msooseth commented 1 year ago

We should get all preimages from Solidity and replace the concrete values with the Keccak so our SStore/SLoad simplification can strip them away.

msooseth commented 1 year ago

This is currently blocked on help from the Solidity team. As discussed in the solidity-dev room, this is something the Solidity devs are looking into, but it's not yet done. We'll likely get a list of (preimage, image) pairs, which will do the trick.

msooseth commented 2 months ago

Apparently this is coming once the new debug JSON symbols are standardized, yay!