Initial support for TSTORE and TLOAD opcodes

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

223 stars 45 forks source link

Initial support for TSTORE and TLOAD opcodes #500

Open samalws-tob opened 1 month ago

samalws-tob commented 1 month ago

Description

Checklist

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

samalws-tob commented 1 month ago

Eventually I can work on testing for this, I won't be available to do that for the next month or so though

samalws-tob commented 1 month ago

Also any suggestions on where clearTStorages should be called from? Is there some transaction related code that we can hook it into?

d-xo commented 1 month ago

Also any suggestions on where clearTStorages should be called from? Is there some transaction related code that we can hook it into?

I think finalize would be the spot probably.

If we update ethereum/tests to the latest then I think we should get most of the required tests for free? We might need to bundle this PR into a larger cancun specific one in that case (cancun-spec).