| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Algebra.EllipticCurve.Pairing
Documentation
millerAlgorithmBN :: (PrimeField (BaseField c), Scale (BaseField c) (BaseField d)) => (Field (BaseField d), Eq (BaseField d)) => (EllipticCurve d, Untwisted d i j ~ g, Field g) => BaseField d -> [Int8] -> Point c -> Point d -> g Source #
millerAlgorithmBLS12 :: (Field (BaseField c), Scale (BaseField c) (BaseField d)) => (Field (BaseField d), Eq (BaseField d)) => (EllipticCurve d, Untwisted d i j ~ g, Field g) => [Int8] -> Point c -> Point d -> g Source #
finalExponentiation :: forall c g i j. (Finite (ScalarField c), Finite (BaseField c)) => (g ~ Untwisted c i j, Exponent g Natural) => g -> g Source #