Handle wrong number of steps properly #5
Description
If the verifier tries to get the state of a program after n steps, and there were not really n steps, currently there would be no result at all.
{{ message }}
If the verifier tries to get the state of a program after n steps, and there were not really n steps, currently there would be no result at all.