-
Notifications
You must be signed in to change notification settings - Fork 268
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
feat: revert early in verifier contract for malformed proof inputs #4453
Conversation
9084d3e
to
f6098ee
Compare
Benchmark resultsMetrics with a significant change:
Detailed resultsAll benchmarks are run on txs on the This benchmark source data is available in JSON format on S3 here. Values are compared against data from master at commit L2 block published to L1Each column represents the number of txs on an L2 block published to L1.
L2 chain processingEach column represents the number of blocks on the L2 chain where each block has 16 txs.
Circuits statsStats on running time and I/O sizes collected for every circuit run across all benchmarks.
Tree insertion statsThe duration to insert a fixed batch of leaves into each tree type.
MiscellaneousTransaction sizes based on how many contracts are deployed in the tx.
Transaction processing duration by data writes.
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The removed and
make it possible to ignore part of validation.
We currently check whether various points contained in the proof lie on the bn128 curve and then feed those points into the EC precompiles whether or not they failed the previous check. This means that the precompile then fails and eats all of the gas which the user has sent.
This PR modifies these checks so that we immediately revert if we find a point which doesn't satisfy this check. This avoids the behaviour of burning all the available gas which happens if we make the call to the precompile with invalid inputs.