From c01606e305b735b5f0ccd1f7406f2621095d08d6 Mon Sep 17 00:00:00 2001
From: Jeffrey Walton <noloader@gmail.com>
Date: Mon, 3 Sep 2018 18:53:07 -0400
Subject: Add additional assert

---
 xtr.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'xtr.cpp')

diff --git a/xtr.cpp b/xtr.cpp
index 34b3ecf4..a143ec93 100644
--- a/xtr.cpp
+++ b/xtr.cpp
@@ -34,6 +34,7 @@ void XTR_FindPrimesAndGenerator(RandomNumberGenerator &rng, Integer &p, Integer
 		bool solutionsExist = SolveModularQuadraticEquation(r1, r2, 1, -1, 1, q);
 		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));
+	CRYPTOPP_ASSERT(p % 3 == 2);
 	CRYPTOPP_ASSERT(((p.Squared() - p + 1) % q).IsZero());
 
 	GFP2_ONB<ModularArithmetic> gfp2(p);
-- 
cgit v1.2.1