ZkFold.Base.Algebra.EllipticCurve.Pairing

Documentation

millerAlgorithmBN :: forall c d fldC fldD i j g. WeierstrassCurve d fldD => Eq fldD => FiniteField fldC => Scale fldC fldD => Conditional (BooleanOf fldD) (BooleanOf fldD) => BooleanOf fldC ~ BooleanOf fldD => Untwisted fldD i j ~ g => Field g => fldD -> [Int8] -> Weierstrass c (Point fldC) -> Weierstrass d (Point fldD) -> g

millerAlgorithmBLS12 :: forall c d fldC fldD i j g. WeierstrassCurve d fldD => Eq fldD => FiniteField fldC => Scale fldC fldD => Conditional (BooleanOf fldD) (BooleanOf fldD) => BooleanOf fldC ~ BooleanOf fldD => Untwisted fldD i j ~ g => Field g => [Int8] -> Weierstrass c (Point fldC) -> Weierstrass d (Point fldD) -> g

finalExponentiation :: forall scalarField baseField g i j. (Finite scalarField, Finite baseField) => (g ~ Untwisted baseField i j, Exponent g Natural) => g -> g