EIP-2315 Simple Subroutines for the EVM

[gcolvin]

And a little further down the line and I’ve moved the validation code to it’s own PR, as I realized it does not depend on these new opcodes, only deprecating dynamic use of JUMP and JUMPI.

EIP-3779: Safer Control Flow for the EVM

I have withdrawn this proposal. The algorithm cannot be made to work Abstract This EIP specifies validation rules for some important safety properties, including valid jump destinations, valid instructions, no stack underflows, and no stack overflows without recursion. Valid contracts will not halt with an exception unless they either run out of gas or overflow stack during a recursive subroutine call. Code is validated at contract creation time – not runtime – by the provided …