diff --git a/constantine/config/curves.nim b/constantine/config/curves.nim index 0d62c62..99de3c6 100644 --- a/constantine/config/curves.nim +++ b/constantine/config/curves.nim @@ -158,23 +158,6 @@ macro getPrimePlus1div4_BE*(C: static Curve): untyped = ## Get (P+1) / 4 for an odd prime in big-endian serialized format result = bindSym($C & "_PrimePlus1div4_BE") -# Family specific -# ------------------------------------------------------- -macro canUse_BN_AddchainInversion*(C: static Curve): untyped = - ## A BN curve can use the fast BN inversion if the parameter "u" is positive - if CurveFamilies[C] != BarretoNaehrig: - return newLit false - return bindSym($C & "_BN_can_use_addchain_inversion") - -macro getBN_param_u_BE*(C: static Curve): untyped = - ## Get the ``u`` parameter of a BN curve in canonical big-endian representation - result = bindSym($C & "_BN_u_BE") - -macro getBN_param_6u_minus_1_BE*(C: static Curve): untyped = - ## Get the ``6u-1`` from the ``u`` parameter - ## of a BN curve in canonical big-endian representation - result = bindSym($C & "_BN_6u_minus_1_BE") - # ############################################################ # # Debug info printed at compile-time @@ -192,15 +175,12 @@ macro debugConsts(): untyped {.used.} = let modulus = bindSym(curveName & "_Modulus") let r2modp = bindSym(curveName & "_R2modP") let negInvModWord = bindSym(curveName & "_NegInvModWord") - let cubeRootOfUnity = ident(curveName & "_cubicRootOfUnity") result.add quote do: echo "Curve ", `curveName`,':' echo " Field Modulus: ", `modulus` echo " Montgomery R² (mod P): ", `r2modp` echo " Montgomery -1/P[0] (mod 2^", WordBitWidth, "): ", `negInvModWord` - when declared(`cubeRootOfUnity`): - echo " Cube root of unity: ", `cubeRootOfUnity` result.add quote do: echo "----------------------------------------------------------------------------" diff --git a/constantine/config/curves_derived.nim b/constantine/config/curves_derived.nim index 4c1d49e..d618762 100644 --- a/constantine/config/curves_derived.nim +++ b/constantine/config/curves_derived.nim @@ -124,29 +124,4 @@ macro genDerivedConstants*(): untyped = ) ) - if CurveFamilies[curveSym] == BarretoNaehrig: - # when declared(MyCurve_BN_param_u): - # const MyCurve_BN_u_BE = toCanonicalIntRepr(MyCurve_BN_param_u) - # const MyCurve_BN_6u_minus_1_BE = bn_6u_minus_1_BE(MyCurve_BN_param_u) - var bnStmts = newStmtList() - bnStmts.add newConstStmt( - used(curve & "_BN_u_BE"), newCall( - bindSym"toCanonicalIntRepr", - ident(curve & "_BN_param_u") - ) - ) - bnStmts.add newConstStmt( - used(curve & "_BN_6u_minus_1_BE"), newCall( - bindSym"bn_6u_minus_1_BE", - ident(curve & "_BN_param_u") - ) - ) - - result.add nnkWhenStmt.newTree( - nnkElifBranch.newTree( - newCall(ident"declared", ident(curve & "_BN_param_u")), - bnStmts - ) - ) - # echo result.toStrLit()