-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Incompleteness due to gas exhaustion #10
Comments
We/the group should discuss this, I don't understand the cases in which this happens |
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. |
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.
The text was updated successfully, but these errors were encountered: