From 17b8da25e0522a30a2d19863f17f8c1daff14ffc Mon Sep 17 00:00:00 2001
From: MITSUNARI Shigeo <herumi@nifty.com>
Date: Thu, 29 Apr 2021 03:15:44 +0900
Subject: [PATCH] Revert "finalExp checks zero for safety"

This reverts commit 8e9144e1af27158927b7e622af1b0c86c53365c1.
---
 include/mcl/bn.hpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/include/mcl/bn.hpp b/include/mcl/bn.hpp
index 43deecd..c8255aa 100644
--- a/include/mcl/bn.hpp
+++ b/include/mcl/bn.hpp
@@ -1456,7 +1456,6 @@ inline void mapToCyclotomic(Fp12& y, const Fp12& x)
 	Fp12 z;
 	Fp12::Frobenius2(z, x); // z = x^(p^2)
 	z *= x; // x^(p^2 + 1)
-	assert(z.isZero());
 	Fp12::inv(y, z);
 	Fp6::neg(z.b, z.b); // z^(p^6) = conjugate of z
 	y *= z;
@@ -1618,10 +1617,6 @@ inline void makeAdjP(G1& adjP, const G1& P)
 inline void finalExp(Fp12& y, const Fp12& x)
 {
 #if 1
-	if (x.isZero()) {
-		y.clear();
-		return;
-	}
 	mapToCyclotomic(y, x);
 #else
 	const mpz_class& p = param.p;