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

rangeproof: initial set of cleanups, minor stack space improvements #150

Open
wants to merge 7 commits into
base: master
Choose a base branch
from

Conversation

apoelstra
Copy link
Contributor

Builds on #149

Add two new fixed rangeproof vectors; check that various extracted
values are correct; add a test for creating and verifying single-value
proofs.
This decreases rangeproof proving stack size by 224 bytes on my system.
Though the point is not to show large stack reductions (yet) but to demo
the closure API on something simple/non-invasive.

Future commits will use this for scalars and public keys, and then we
will see some serious stack reduction.
Reduces stack usage of rangeproof_sign by 1056 bytes, is a bit safer as
it doesn't require the caller of borromean_sign to know which indices are
going to be overwritten, is a net-negative code diff, and will simplify
things for the next step of closure-ification.
@apoelstra apoelstra force-pushed the 2021-10--initial-rangeproof-cleanups branch 4 times, most recently from f708890 to 3f23126 Compare October 19, 2021 20:14
This is purely to reduce the number of arguments being passed into one
function at once. Also improves const-correctness.
@apoelstra apoelstra force-pushed the 2021-10--initial-rangeproof-cleanups branch from 3f23126 to 6c94f45 Compare October 19, 2021 20:36
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.

1 participant