frost/secp256k1-zkp
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rangeproof: check that points deserialize correctly when verifying rangeproof

Browse Source
This commit is contained in:
Andrew Poelstra 2018-10-02 16:23:08 +00:00
parent cb786d6d1a
commit 65ffea43d5
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/modules/rangeproof/rangeproof_impl.h
View File

@ -609,8 +609,10 @@ SECP256K1_INLINE static int secp256k1_rangeproof_verify_impl(const secp256k1_ecm
} }
for(i = 0; i < rings - 1; i++) { for(i = 0; i < rings - 1; i++) {
secp256k1_fe fe; secp256k1_fe fe;
secp256k1_fe_set_b32(&fe, &proof[offset]); if (!secp256k1_fe_set_b32(&fe, &proof[offset]) ||
secp256k1_ge_set_xquad(&c, &fe); !secp256k1_ge_set_xquad(&c, &fe)) {
return 0;
}
if (signs[i]) { if (signs[i]) {
secp256k1_ge_neg(&c, &c); secp256k1_ge_neg(&c, &c);
} }