fuzz & differential testing of system config update event log handling

ethereum-optimism / optimism

Optimism is Ethereum, scaled.

https://optimism.io

MIT License

5.46k stars 3.04k forks source link

fuzz & differential testing of system config update event log handling #8801

Open roberto-bayardo opened 6 months ago

roberto-bayardo commented 6 months ago

Requested followup to https://github.com/ethereum-optimism/optimism/pull/8785

We should break out the deserialization logic for log event handling into a public handler function and then import those handlers into our solidity differential-testing and use vm.getRecordedLogs in a fuzz test to differentially test the handlers themselves.

Additional context

BlocksOnAChain commented 3 weeks ago

@roberto-bayardo what are the future steps for this issue and is it still relevant for you to work on? CC: @sebastianst @tynes for visibility and ideas.