-
Notifications
You must be signed in to change notification settings - Fork 92
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fix(eof): eofwrap.py to ignore invalid blocks #1028
base: main
Are you sure you want to change the base?
Conversation
It seems the request hash problem affects filling |
This fixes filling of EOF tests for me. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
One comment that is a breaking issue, there must be some other approach to this.
src/ethereum_test_types/types.py
Outdated
for type, requests_list in enumerate(requests_lists): | ||
if requests_list: | ||
self.requests_list.append( | ||
Bytes(bytes([type]) + requests_list_to_bytes(requests_list)) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This still breaks our test generation because this is the code path we use to process the list returned by the t8n tool, and the list returned by t8n (correctly) already contains the type byte at the beginning of each request.
I think the interface could definitely be improved, and it could be that we need a different parameter for this use case in this PR, and a different one for the values returned by t8n.
It would also help me to better understand this use case with an example test that causes an issue when wrapped with an EOF container.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Okay, I'm back to this after holidays, sorry about the wait @marioevz .
evmone's t8n doesn't include the type in the result, and it does include empty requests. (mind that in the commitment it follows the spec, i.e. empty requests are excluded from it per the recent change). And from what I understand, the eofwrap use case also works on the t8n output.
Where is the t8n output format formally specified / agreed upon?
(I'll try to produce an example)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Meanwhile, I think I've found the answer to my own question - t8n follows the execution-apis as spec https://github.com/ethereum/execution-apis/pull/599/files ?
As such I guess I should fix on evmone
's end, let me try that.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
OK, that worked, I force-pushed those commits away from this PR and fixed in evmone
. Thank you for the thorough review and patience, I really appreciate this.
0861df4
to
10e5ad6
Compare
🗒️ Description
There is no support for invalid FixtureTransactions to be read from JSON, so we cannot include invalid blocks easily. However as this is not central to the behavior eofwrap tests are intended to test, we can just skip these invalid blocks with the same end effect on the test.
Unfortunately, the fix isn't limited to that. It seems like the fix to requests serialization/hashing (#990) missed a detail when therequests_lists
is used to construct requests (like from t8n output). Please double check carefully if this fix is fine.Note also that for devnet-5 this would be partially hidden by the fact, that we don't include empty requests in the commitment anymore, meaning that all empty requests will not trigger the problemEDIT: request handling remains unchanged, see thread below
🔗 Related Issues
NA
✅ Checklist
mkdocs serve
locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.