From e6e865a62ea9772d6a2bb3961b3e4d5aba8ae2d5 Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Thu, 26 Jun 2025 16:19:18 +0200 Subject: [PATCH] chore: disable non-compiling debug echo reason: the ** operator no longer compiles here with constantine 0.2.0 Co-Authored-By: Dmitriy Ryajov --- groth16/bn128/curves.nim | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/groth16/bn128/curves.nim b/groth16/bn128/curves.nim index 2d47996..39d1bf6 100644 --- a/groth16/bn128/curves.nim +++ b/groth16/bn128/curves.nim @@ -224,7 +224,8 @@ func pairing* (p: G1, q: G2) : Fp12 = proc sanityCheckGroupGen*() = echo( "gen1 on the curve = ", checkCurveEqG1(gen1.x,gen1.y) ) echo( "gen2 on the curve = ", checkCurveEqG2(gen2.x,gen2.y) ) - echo( "order of gen1 is R = ", (not bool(isInf(gen1))) and bool(isInf(primeR ** gen1)) ) - echo( "order of gen2 is R = ", (not bool(isInf(gen2))) and bool(isInf(primeR ** gen2)) ) + # TODO: fix compilation error with Constantine 0.2.0: + # echo( "order of gen1 is R = ", (not bool(isNeutral(gen1))) and bool(isNeutral(primeR ** gen1)) ) + # echo( "order of gen2 is R = ", (not bool(isNeutral(gen2))) and bool(isNeutral(primeR ** gen2)) ) #-------------------------------------------------------------------------------