Skip to content
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.

Sign up for GitHub

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

Jump to bottom

RLP_TXN: Addr_HI/LO is not constraint to be constant along accessList tuple #402

Closed
letypequividelespoubelles opened this issue Sep 26, 2024 · 0 comments · Fixed by #403
Closed

RLP_TXN: Addr_HI/LO is not constraint to be constant along accessList tuple #402

letypequividelespoubelles opened this issue Sep 26, 2024 · 0 comments · Fixed by #403
Assignees
@letypequividelespoubelles
Labels
bug Something isn't working veridise audit

Comments

@letypequividelespoubelles
Copy link
Collaborator

https://www.notion.so/veridise/Under-constrained-address-in-access-tuple-109105edf1db80a69279d1d9ad8eb0ed
spec : https://github.com/Consensys/linea-specification-internal/issues/617
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@letypequividelespoubelles letypequividelespoubelles

Labels
bug Something isn't working veridise audit
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix(rlpTxn): constraint ADDR during AccessList tuple & ChainId Consensys/linea-constraints
1 participant
@letypequividelespoubelles