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

field: Simplify code in secp256k1_fe_set_b32

Browse Source
This commit is contained in:
Tim Ruffing 2023-02-01 11:44:28 +01:00
parent d93f62e369
commit ca92a35d01
2 changed files with 4 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/field_10x26_impl.h
View File

@ -367,13 +367,8 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
ret = !((r->n[9] == 0x3FFFFFUL) & ((r->n[8] & r->n[7] & r->n[6] & r->n[5] & r->n[4] & r->n[3] & r->n[2]) == 0x3FFFFFFUL) & ((r->n[1] + 0x40UL + ((r->n[0] + 0x3D1UL) >> 26)) > 0x3FFFFFFUL)); ret = !((r->n[9] == 0x3FFFFFUL) & ((r->n[8] & r->n[7] & r->n[6] & r->n[5] & r->n[4] & r->n[3] & r->n[2]) == 0x3FFFFFFUL) & ((r->n[1] + 0x40UL + ((r->n[0] + 0x3D1UL) >> 26)) > 0x3FFFFFFUL));
#ifdef VERIFY #ifdef VERIFY
r->magnitude = 1; r->magnitude = 1;
if (ret) { r->normalized = ret;
r->normalized = 1; secp256k1_fe_verify(r);
secp256k1_fe_verify(r);
} else {
r->normalized = 0;
secp256k1_fe_verify(r);
}
#endif #endif
return ret; return ret;
} }

9
src/field_5x52_impl.h
View File

@ -342,13 +342,8 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
ret = !((r->n[4] == 0x0FFFFFFFFFFFFULL) & ((r->n[3] & r->n[2] & r->n[1]) == 0xFFFFFFFFFFFFFULL) & (r->n[0] >= 0xFFFFEFFFFFC2FULL)); ret = !((r->n[4] == 0x0FFFFFFFFFFFFULL) & ((r->n[3] & r->n[2] & r->n[1]) == 0xFFFFFFFFFFFFFULL) & (r->n[0] >= 0xFFFFEFFFFFC2FULL));
#ifdef VERIFY #ifdef VERIFY
r->magnitude = 1; r->magnitude = 1;
if (ret) { r->normalized = ret;
r->normalized = 1; secp256k1_fe_verify(r);
secp256k1_fe_verify(r);
} else {
r->normalized = 0;
secp256k1_fe_verify(r);
}
#endif #endif
return ret; return ret;
} }