Skip to content
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

Allow batch verifier to use separate transcript labels #64

Closed
AaronFeickert opened this issue Aug 22, 2023 · 0 comments · Fixed by #70
Closed

Allow batch verifier to use separate transcript labels #64

AaronFeickert opened this issue Aug 22, 2023 · 0 comments · Fixed by #70

Comments

@AaronFeickert
Copy link
Contributor

Range proofs support the use of a caller-provided label that is used to initialize the proof transcript for context-based domain separation. However, batch verification assumes a common label among all proofs in a batch. This can be generalized to use a separate label for each batched proof.

SWvheerden pushed a commit that referenced this issue Sep 20, 2023
Currently, transcript labels are assumed to be
[common](https://github.com/tari-project/bulletproofs-plus/blob/d9d0cc9063f85684179908569227dda251981751/src/range_proof.rs#L432)
when verifying a batch of proofs. This PR generalizes the batch verifier
API to accept a vector of labels, each of which is applied to the
corresponding proof.

Closes #64.

BREAKING CHANGE: Changes the batch verification API.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant