EIP-3690: EOF - JUMPDEST Table

[gcolvin]

I think the best way to deal with jumdest taebles is not to have them at all.

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 …