-
Notifications
You must be signed in to change notification settings - Fork 1
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: check SR from batch proofs matches the SR from the DS #14
Conversation
Quality Gate failedFailed conditions |
aggregator/prover/prover.go
Outdated
|
||
var v [8]uint64 | ||
var j = 0 | ||
for i := 19; i < 19+8; i++ { |
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.
Extract 19 to some constant (probably also 8).
if err != nil { | ||
log.Fatal(err) |
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.
Nitpick
if err != nil { | |
log.Fatal(err) | |
var ( | |
v [8]uint64 | |
j = 0 | |
) |
6d90a34
to
9420376
Compare
Quality Gate failedFailed conditions |
* feat: check SR from batch proofs matches the SR from the DS
Description
Every time the aggregator gets a new batch proof from the prover, it checks that the resulting SR is the expected one, retrieved from the data stream. If the check fails, it fatals.
Until now, it was only checked for final proofs, it makes more sense to check at batch level, as some final proof would not be generated in case a SR mismatches.