-
Notifications
You must be signed in to change notification settings - Fork 67
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
Add cancun
support
#290
Comments
|
TODO:
source: https://github.com/ethereum/execution-specs/blob/master/network-upgrades/mainnet-upgrades/cancun.md |
@karmacoma-eth working on the issue? would it be alright if I take over this task? |
@ByungHeonLEE that would be great! For Longer term, we may want to support multiple transactions, in which case there will be a difference between transient and persistent storage, so it may be useful to have a |
halmos
does currently not support the new EVM versioncancun
(exampleMCOPY
):↩ 0x5e 0x (error: HalmosException('Unsupported opcode 0x5e'))
In order to formally verify properties given this new EVM version, it would be useful to add support for this new version.
The text was updated successfully, but these errors were encountered: