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.

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

EIP-6780: SELFDESTRUCT only in same transaction #2545

Draft
wants to merge 15 commits into
base: master
Choose a base branch
from
Draft

Conversation

anvacaru
Copy link
Contributor

@anvacaru anvacaru commented Jul 31, 2024

  • adding a new <createdAccounts> cell in the <substate> to keep track of the accounts created in the current transaction.
  • modified the python test harness to support a handful of tests that run on chainId 0.
  • implemented eip-6780 to remove the current account in SELFDESTRUCT only if it was created in the same tx ( EIP-6780 )
  • enabling ~3000 tests from failing.llvm.
  • updating .k proof files with the new cell.

@anvacaru anvacaru self-assigned this Aug 1, 2024
@@ -5,9 +5,7 @@ module TEST-OWNERUPONLYTEST-TESTINCREMENTASOWNER-0-SPEC

claim [BASIC-BLOCK-1-TO-3]: <kevm>
<k>
( .K => #end EVMC_SUCCESS
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These kontrol specs are now failing, not sure yet what changed this, as the changes in this PR only work with the CANCUN schedule, and these specs still use SHANGHAI.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant