PT}
  • millerLoop :: Element -> Element -> MlResult
  • mulMlResult :: MlResult -> MlResult -> MlResult
  • finalVerify :: MlResult -> MlResult -> Bool
  • mlResultMemSizeBytes :: Int
  • identityMlResult :: MlResult

    • Documentation

    newtype MlResult #

    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

    Pretty MlResult # 
    Instance details

    Defined in PlutusCore.Crypto.BLS12_381.Pairing

    Methods

    pretty :: MlResult -> Doc ann #

    prettyList :: [MlResult] -> Doc ann #

    PrettyBy ConstConfig MlResult # 
    Instance details

    Defined in PlutusCore.Crypto.BLS12_381.Pairing

    Methods

    prettyBy :: ConstConfig -> MlResult -> Doc ann #

    prettyListBy :: ConstConfig -> [MlResult] -> Doc ann #

    KnownBuiltinTypeIn DefaultUni term MlResult => MakeKnownIn DefaultUni term MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    Methods

    makeKnown :: MlResult -> BuiltinResult term #

    KnownBuiltinTypeIn DefaultUni term MlResult => ReadKnownIn DefaultUni term MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    Methods

    readKnown :: term -> ReadKnownM MlResult #

    Contains DefaultUni MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    Methods

    knownUni :: DefaultUni (Esc MlResult) #

    KnownBuiltinTypeAst tyname DefaultUni MlResult => KnownTypeAst tyname DefaultUni MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    Associated Types

    type IsBuiltin DefaultUni MlResult :: Some TyNameRep] #

    Methods

    typeAst :: Type tyname DefaultUni () #

    type IsBuiltin DefaultUni MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)
    type ToBinds DefaultUni acc MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)
    type ToHoles DefaultUni hole MlResult # 
    Instance details

    Defined in PlutusCore.Default.Universe

    type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)

    millerLoop :: Element -> Element -> MlResult #

    mulMlResult :: MlResult -> MlResult -> MlResult #

    finalVerify :: MlResult -> MlResult -> Bool #

    mlResultMemSizeBytes :: Int #

    Memory usage of an MlResult point (576 bytes)

    identityMlResult :: MlResult #

    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.