Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
class EllipticCurve curve where Source #
add :: Point curve -> Point curve -> Point curve Source #
mul :: ScalarField curve -> Point curve -> Point curve Source #
Instances
class (EllipticCurve curve1, EllipticCurve curve2, ScalarField curve1 ~ ScalarField curve2, Eq t, MultiplicativeGroup t, Exponent t (ScalarField curve1)) => Pairing curve1 curve2 t | curve1 curve2 -> t where Source #
Instances
pointAdd :: Field (BaseField curve) => Eq (BaseField curve) => Point curve -> Point curve -> Point curve Source #
addPoints :: EllipticCurve curve => Field (BaseField curve) => Eq (BaseField curve) => Point curve -> Point curve -> Point curve Source #
pointNegate :: AdditiveGroup (BaseField curve) => Point curve -> Point curve Source #
pointMul :: forall curve. EllipticCurve curve => BinaryExpansion (ScalarField curve) => Eq (ScalarField curve) => ScalarField curve -> Point curve -> Point curve Source #