-
Notifications
You must be signed in to change notification settings - Fork 214
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
Merge main into circuit #111
Conversation
The `read32` function extracts the first 32 bytes of a slice as an array. This makes the parsing code cleaner.
Canonical serialization format for RangeProof
Now that the IPP points are stored in compressed form, they have to be decompressed during verification.
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.
👍
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.
LGTM, let's also open an issue to change the circuit code to use compressed points.
Oh, okay, I was going to add that to this PR. I don't think it's super important, but it seems like when merging changes from |
ok that sounds good for future changes! |
This pulls in the changes to use compressed points in the rangeproofs and inner product proofs.
The current circuit proof code stores the points in the circuit proof in uncompressed format, which is now inconsistent with the range proof code. Maybe this PR should also change the circuit proofs to use compressed points?