Incompleteness due to gas exhaustion

[lorenzb]

We should document that the verifier currently isn't complete (i.e. there exist valid transactions whose inclusion the verifier cannot check) due to gas exhaustion issues.

[relyt29]

We/the group should discuss this, I don't understand the cases in which this happens

[lorenzb]

I can submit a transaction that has a huge data field and barely fits into the block gas limit.

You then cannot prove that this transaction was included, because the proof becomes so large that it would exhaust the block gas limit.

This is a problem for applications that want to use proveth for fraud proofs/proofs of cheat such as as libsubmarine. However, when the application knows what a well-formed transaction looks like (e.g. libsubmarine), we can fix this problem by creating a second proof kind that omits the transaction data itself.