Add dedicated methods for verifying asset/value proofs - #195

Open

apoelstra wants to merge 6 commits into

BlockstreamResearch:masterfrom

apoelstra:2022-07--simple-proof-verification

Commits on Aug 25, 2022

rangeproof: add method to verify single-value proofs
apoelstra
committed
8281968
surjectionproof: add method to verify single-input proofs
apoelstra
committed
0b7cf31
rangeproof: add verify_value function to create single-value proofs
apoelstra
committed
b6b33c9
rangeproof: add more tests for exact-value proofs
apoelstra
committed
b8fc967
rangeproof: rename create_value and verify_value to create_exact and verify_exact
apoelstra
committed
7cf34e2
rangeproof_sign_exact: compute `k` in a more obviously non-reusing way
apoelstra
committed
a20c1e9