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

[Docs] Rangeproof output documentation #3234

Merged
merged 2 commits into from
Feb 25, 2020

Conversation

jafalter
Copy link
Contributor


name: PR Rangeproof documentation
about: Bulletproofs output bytes
title: '[Docs] Rangeproof output documentation'
labels: ''
assignees: ''


This PR adds an additional documentation document, explaining how to recover the parameters of a range proof used in Grin output, from the byte output. This document was added and also linked to in the table of contents.

Copy link
Contributor

@jaspervdm jaspervdm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for PRing this in! I haven't verified the exact values you used, but overall the explanation seems good. Just have a small comment


`ed9e1ee8cb2db1e71311cacd9e1d0b6dbf6cfab15723ec3cac4cc52154fc9d53 (107477520278964342277912932357487306000871347661927764278313323679782451060051)` b2

And last we have the commitments Li and Ri of every round. In Grin we have 64-bit range proofs. This means we have six rounds (log(64) = 6); however, since we stop early, we only do five rounds, so 10 points instead of 12. The implementation always computes L before R. (*inner_product_impl.h 627*)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

In Grin we have 64-bit range proofs

Could be interpreted to mean range proofs are 64 bits long. Could you rephrase to something like

Range proofs in Grin prove the value is within 64 bits

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fixed

@jaspervdm
Copy link
Contributor

Thanks!

@jaspervdm jaspervdm merged commit bcf3e4e into mimblewimble:master Feb 25, 2020
@antiochp antiochp mentioned this pull request Feb 27, 2020
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 this pull request may close these issues.

2 participants