arne
/
cryptopp
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add additional assert

pull/334/head
Jeffrey Walton 2018-09-03 18:53:07 -04:00
parent aa45eca561
commit c01606e305
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
xtr.cpp
View File

@ -34,6 +34,7 @@ void XTR_FindPrimesAndGenerator(RandomNumberGenerator &rng, Integer &p, Integer
bool solutionsExist = SolveModularQuadraticEquation(r1, r2, 1, -1, 1, q); bool solutionsExist = SolveModularQuadraticEquation(r1, r2, 1, -1, 1, q);
CRYPTOPP_UNUSED(solutionsExist); CRYPTOPP_ASSERT(solutionsExist); CRYPTOPP_UNUSED(solutionsExist); CRYPTOPP_ASSERT(solutionsExist);
} while (!p.Randomize(rng, minP, maxP, Integer::PRIME, CRT(rng.GenerateBit()?r1:r2, q, 2, 3, EuclideanMultiplicativeInverse(p, 3)), 3*q)); } while (!p.Randomize(rng, minP, maxP, Integer::PRIME, CRT(rng.GenerateBit()?r1:r2, q, 2, 3, EuclideanMultiplicativeInverse(p, 3)), 3*q));
CRYPTOPP_ASSERT(p % 3 == 2);
CRYPTOPP_ASSERT(((p.Squared() - p + 1) % q).IsZero()); CRYPTOPP_ASSERT(((p.Squared() - p + 1) % q).IsZero());
GFP2_ONB<ModularArithmetic> gfp2(p); GFP2_ONB<ModularArithmetic> gfp2(p);