You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"Legacy" contracts might already be deployed on kakarot, without having their valid jumpdests analyzed. This will cause an issue when trying to validate a jump destination, which will always return false.
Add a fallback mechanism to analyze a contract's bytecode if it has not been analyzed yet, directly inside the account contract.
Describe Preferred Solution
If a storage read for valid jumpdests returns 0, verify whether the Account_jumpdests_initialized storage variable is set to true. If not, analyze the code and set the account's jumpdests in place, then return the result of the query.
Describe Alternatives
Related Code
Additional Context
If the feature request is approved, would you be willing to submit a PR? Yes
/ No (Help can be provided if you need assistance submitting a PR)
The text was updated successfully, but these errors were encountered:
Feature Request
Describe the Feature Request
"Legacy" contracts might already be deployed on kakarot, without having their valid jumpdests analyzed. This will cause an issue when trying to validate a jump destination, which will always return false.
Add a fallback mechanism to analyze a contract's bytecode if it has not been analyzed yet, directly inside the account contract.
Describe Preferred Solution
If a storage read for valid jumpdests returns 0, verify whether the Account_jumpdests_initialized storage variable is set to true. If not, analyze the code and set the account's jumpdests in place, then return the result of the query.
Describe Alternatives
Related Code
Additional Context
If the feature request is approved, would you be willing to submit a PR? Yes
/ No (Help can be provided if you need assistance submitting a PR)
The text was updated successfully, but these errors were encountered: