Enforce Stack Height #4
Description
Currently, the semantics for instructions which operate on the stack does not enforce a limit on the stack height. This could be implemented by requiring a proof when pushing an item that it is less than 1024
{{ message }}