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

Help the compiler prove that a loop is entered

Browse Source
This commit is contained in:
Tim Ruffing 2023-05-16 20:29:05 +02:00 committed by Hennadii Stepanov
parent fd491ea1bb
commit 8a7273465b
No known key found for this signature in database
GPG Key ID: 410108112E7EA81F
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/ecmult_gen_compute_table_impl.h
View File

@ -22,6 +22,9 @@ static void secp256k1_ecmult_gen_compute_table(secp256k1_ge_storage* table, cons
secp256k1_gej nums_gej; secp256k1_gej nums_gej;
int i, j; int i, j;
VERIFY_CHECK(g > 0);
VERIFY_CHECK(n > 0);
/* get the generator */ /* get the generator */
secp256k1_gej_set_ge(&gj, gen); secp256k1_gej_set_ge(&gj, gen);