Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Crypto.BLS12_381.Pairing

Synopsis

newtype MlResult = MlResult {
- unMlResult ∷ PT
}
millerLoop ∷ Element → Element → MlResult
mulMlResult ∷ MlResult → MlResult → MlResult
finalVerify ∷ MlResult → MlResult → Bool
mlResultMemSizeBytes ∷ Int
identityMlResult ∷ MlResult

Documentation

newtype MlResult Source #

This type represents the result of computing a pairing using the Miller loop. Values of this type are ephemeral, only created during script execution. We do not provide any means of serialising, deserialising, printing, or parsing MlResult values.

Constructors

MlResult
Fields unMlResult ∷ PT

Instances

Instances details

Show MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods showsPrec ∷ Int → MlResult → ShowS Source # show ∷ MlResult → String Source # showList ∷ [MlResult] → ShowS Source #
NFData MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods rnf ∷ MlResult → () Source #
Flat MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods encode ∷ MlResult → Encoding Source # decode ∷ Get MlResult Source # size ∷ MlResult → NumBits → NumBits Source #
Eq MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods (==) ∷ MlResult → MlResult → Bool Source # (/=) ∷ MlResult → MlResult → Bool Source #
Hashable MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods hashWithSalt ∷ Int → MlResult → Int Source # hash ∷ MlResult → Int Source #
ExMemoryUsage MlResult Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage Methods memoryUsage ∷ MlResult → CostRose Source #
Pretty MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods pretty ∷ MlResult → Doc ann Source # prettyList ∷ [MlResult] → Doc ann Source #
PrettyBy ConstConfig MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods prettyBy ∷ ConstConfig → MlResult → Doc ann Source # prettyListBy ∷ ConstConfig → [MlResult] → Doc ann Source #
KnownBuiltinTypeIn DefaultUni term MlResult ⇒ MakeKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ MlResult → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term MlResult ⇒ ReadKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM MlResult Source #
Contains DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc MlResult) Source #
KnownBuiltinTypeAst tyname DefaultUni MlResult ⇒ KnownTypeAst tyname DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni MlResult ∷ Bool Source # type ToHoles DefaultUni hole MlResult ∷ [Hole] Source # type ToBinds DefaultUni acc MlResult ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type IsBuiltin DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)
type ToBinds DefaultUni acc MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)
type ToHoles DefaultUni hole MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)

millerLoop ∷ Element → Element → MlResult Source #

mulMlResult ∷ MlResult → MlResult → MlResult Source #

finalVerify ∷ MlResult → MlResult → Bool Source #

mlResultMemSizeBytes ∷ Int Source #

Memory usage of an MlResult point (576 bytes)

identityMlResult ∷ MlResult Source #

For some of the tests we need a small element of the MlResult type. We can get the identity element by pairing the zero elements of G1 and G2.