EIP-3779
Safer Control Flow for the EVM
Ensure an essential level of safety for EVM code.
WithdrawnSplurge
Status history
- Draft30 Aug 2021
- Withdrawndate not observed
Abstract
We define a safe EVM contract as one that cannot encounter an exceptional halting state. In general, we cannot prove safety for Turing-complete programs. But we can prove a useful subset. This EIP specifies validity rules to ensure that: > Valid contracts will not halt with an exception unless they either > * throw out of gas or > * recursively overflow stack. This EIP does not introduce any new…
- Created
- 30 Aug 2021
- Withdrawn because
- material moved to EIP-2315
- Authors
- Greg Colvin, Greg Colvin, Brooklyn Zelenka
- Upgrades
- Not listed in any upgrade
- Requires
- —
- Required by
- EIP-4573