-
Notifications
You must be signed in to change notification settings - Fork 11
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
Add batch verification failure blame #125
Comments
See tari-project/tari-crypto#224 for an example of this. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
If verification of a batch of proofs fails, it is not possible to directly identify which proofs in the batch are invalid. There are cases in which a verifier is likely to want this information.
The most comprehensive approach would introduce two different "verify-with-blame" functions. One would attempt full batch verification; if this fails, it checks each proof in succession and returns a list of all failures. The other would also attempt full batch verification; if this fails, it uses a binary search to return a single failure. The former runs with linear complexity in the size of the batch, while the latter runs with logarithmic complexity.
The text was updated successfully, but these errors were encountered: