plutarch-1.9.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Builtin.BLS

Synopsis

Documentation

newtype PBuiltinBLS12_381_G1_Element s Source #

A point on the BLS12-381 G1 curve.

Since: 1.9.0

Constructors

PBuiltinBLS12_381_G1_Element (Term s POpaque) 

Instances

Instances details
PEq PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.Eq

Methods

(#==) :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBool Source #

PLiftable PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PBuiltinBLS12_381_G1_Element Source #

type PlutusRepr PBuiltinBLS12_381_G1_Element Source #

Methods

toPlutarchRepr :: AsHaskell PBuiltinBLS12_381_G1_Element -> PlutusRepr PBuiltinBLS12_381_G1_Element Source #

toPlutarch :: forall (s :: S). AsHaskell PBuiltinBLS12_381_G1_Element -> PLifted s PBuiltinBLS12_381_G1_Element Source #

fromPlutarchRepr :: PlutusRepr PBuiltinBLS12_381_G1_Element -> Maybe (AsHaskell PBuiltinBLS12_381_G1_Element) Source #

fromPlutarch :: (forall (s :: S). PLifted s PBuiltinBLS12_381_G1_Element) -> Either LiftError (AsHaskell PBuiltinBLS12_381_G1_Element) Source #

PAdditiveGroup PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

pnegate :: forall (s :: S). Term s (PBuiltinBLS12_381_G1_Element :--> PBuiltinBLS12_381_G1_Element) Source #

(#-) :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element Source #

pscaleInteger :: forall (s :: S). Term s (PBuiltinBLS12_381_G1_Element :--> (PInteger :--> PBuiltinBLS12_381_G1_Element)) Source #

PAdditiveMonoid PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

pzero :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element Source #

PAdditiveSemigroup PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

(#+) :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element Source #

pscalePositive :: forall (s :: S). Term s (PBuiltinBLS12_381_G1_Element :--> (PPositive :--> PBuiltinBLS12_381_G1_Element)) Source #

DerivePlutusType PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type DPTStrat PBuiltinBLS12_381_G1_Element Source #

PlutusType PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PBuiltinBLS12_381_G1_Element :: PType Source #

type PCovariant' PBuiltinBLS12_381_G1_Element Source #

type PContravariant' PBuiltinBLS12_381_G1_Element Source #

type PVariant' PBuiltinBLS12_381_G1_Element Source #

Methods

pcon' :: forall (s :: S). PBuiltinBLS12_381_G1_Element s -> Term s (PInner PBuiltinBLS12_381_G1_Element) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_G1_Element) -> (PBuiltinBLS12_381_G1_Element s -> Term s b) -> Term s b Source #

Generic (PBuiltinBLS12_381_G1_Element s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

Associated Types

type Rep (PBuiltinBLS12_381_G1_Element s) :: Type -> Type Source #

Methods

from :: PBuiltinBLS12_381_G1_Element s -> Rep (PBuiltinBLS12_381_G1_Element s) x Source #

to :: Rep (PBuiltinBLS12_381_G1_Element s) x -> PBuiltinBLS12_381_G1_Element s Source #

type AsHaskell PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PBuiltinBLS12_381_G1_Element = AsHaskell (DeriveBuiltinPLiftable PBuiltinBLS12_381_G1_Element Element)
type PlutusRepr PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PBuiltinBLS12_381_G1_Element = PlutusRepr (DeriveBuiltinPLiftable PBuiltinBLS12_381_G1_Element Element)
type DPTStrat PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type DPTStrat PBuiltinBLS12_381_G1_Element
type PContravariant' PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PBuiltinBLS12_381_G1_Element = All2 PContravariant'' (PCode PBuiltinBLS12_381_G1_Element)
type PCovariant' PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PBuiltinBLS12_381_G1_Element = All2 PCovariant'' (PCode PBuiltinBLS12_381_G1_Element)
type PInner PBuiltinBLS12_381_G1_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PBuiltinBLS12_381_G1_Element = DerivedPInner (DPTStrat PBuiltinBLS12_381_G1_Element) PBuiltinBLS12_381_G1_Element
type PVariant' PBuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PBuiltinBLS12_381_G1_Element = All2 PVariant'' (PCode PBuiltinBLS12_381_G1_Element)
type Rep (PBuiltinBLS12_381_G1_Element s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

type Rep (PBuiltinBLS12_381_G1_Element s) = D1 ('MetaData "PBuiltinBLS12_381_G1_Element" "Plutarch.Builtin.BLS" "plutarch-1.9.0-FtN0mhIoM9oEvz7Q98pjWP" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_G1_Element" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

newtype PBuiltinBLS12_381_G2_Element s Source #

Since: 1.9.0

Constructors

PBuiltinBLS12_381_G2_Element (Term s POpaque) 

Instances

Instances details
PEq PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.Eq

Methods

(#==) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBool Source #

PLiftable PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PBuiltinBLS12_381_G2_Element Source #

type PlutusRepr PBuiltinBLS12_381_G2_Element Source #

Methods

toPlutarchRepr :: AsHaskell PBuiltinBLS12_381_G2_Element -> PlutusRepr PBuiltinBLS12_381_G2_Element Source #

toPlutarch :: forall (s :: S). AsHaskell PBuiltinBLS12_381_G2_Element -> PLifted s PBuiltinBLS12_381_G2_Element Source #

fromPlutarchRepr :: PlutusRepr PBuiltinBLS12_381_G2_Element -> Maybe (AsHaskell PBuiltinBLS12_381_G2_Element) Source #

fromPlutarch :: (forall (s :: S). PLifted s PBuiltinBLS12_381_G2_Element) -> Either LiftError (AsHaskell PBuiltinBLS12_381_G2_Element) Source #

PAdditiveGroup PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

pnegate :: forall (s :: S). Term s (PBuiltinBLS12_381_G2_Element :--> PBuiltinBLS12_381_G2_Element) Source #

(#-) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element Source #

pscaleInteger :: forall (s :: S). Term s (PBuiltinBLS12_381_G2_Element :--> (PInteger :--> PBuiltinBLS12_381_G2_Element)) Source #

PAdditiveMonoid PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

pzero :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element Source #

PAdditiveSemigroup PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Numeric

Methods

(#+) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element Source #

pscalePositive :: forall (s :: S). Term s (PBuiltinBLS12_381_G2_Element :--> (PPositive :--> PBuiltinBLS12_381_G2_Element)) Source #

DerivePlutusType PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type DPTStrat PBuiltinBLS12_381_G2_Element Source #

PlutusType PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PBuiltinBLS12_381_G2_Element :: PType Source #

type PCovariant' PBuiltinBLS12_381_G2_Element Source #

type PContravariant' PBuiltinBLS12_381_G2_Element Source #

type PVariant' PBuiltinBLS12_381_G2_Element Source #

Methods

pcon' :: forall (s :: S). PBuiltinBLS12_381_G2_Element s -> Term s (PInner PBuiltinBLS12_381_G2_Element) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_G2_Element) -> (PBuiltinBLS12_381_G2_Element s -> Term s b) -> Term s b Source #

Generic (PBuiltinBLS12_381_G2_Element s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

Associated Types

type Rep (PBuiltinBLS12_381_G2_Element s) :: Type -> Type Source #

Methods

from :: PBuiltinBLS12_381_G2_Element s -> Rep (PBuiltinBLS12_381_G2_Element s) x Source #

to :: Rep (PBuiltinBLS12_381_G2_Element s) x -> PBuiltinBLS12_381_G2_Element s Source #

type AsHaskell PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PBuiltinBLS12_381_G2_Element = AsHaskell (DeriveBuiltinPLiftable PBuiltinBLS12_381_G2_Element Element)
type PlutusRepr PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PBuiltinBLS12_381_G2_Element = PlutusRepr (DeriveBuiltinPLiftable PBuiltinBLS12_381_G2_Element Element)
type DPTStrat PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type DPTStrat PBuiltinBLS12_381_G2_Element
type PContravariant' PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PBuiltinBLS12_381_G2_Element = All2 PContravariant'' (PCode PBuiltinBLS12_381_G2_Element)
type PCovariant' PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PBuiltinBLS12_381_G2_Element = All2 PCovariant'' (PCode PBuiltinBLS12_381_G2_Element)
type PInner PBuiltinBLS12_381_G2_Element Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PBuiltinBLS12_381_G2_Element = DerivedPInner (DPTStrat PBuiltinBLS12_381_G2_Element) PBuiltinBLS12_381_G2_Element
type PVariant' PBuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PBuiltinBLS12_381_G2_Element = All2 PVariant'' (PCode PBuiltinBLS12_381_G2_Element)
type Rep (PBuiltinBLS12_381_G2_Element s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

type Rep (PBuiltinBLS12_381_G2_Element s) = D1 ('MetaData "PBuiltinBLS12_381_G2_Element" "Plutarch.Builtin.BLS" "plutarch-1.9.0-FtN0mhIoM9oEvz7Q98pjWP" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_G2_Element" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

newtype PBuiltinBLS12_381_MlResult s Source #

Represents the result of a Miller loop operation in BLS12-381 pairing.

Since: 1.9.0

Constructors

PBuiltinBLS12_381_MlResult (Term s POpaque) 

Instances

Instances details
PLiftable PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PBuiltinBLS12_381_MlResult Source #

type PlutusRepr PBuiltinBLS12_381_MlResult Source #

Methods

toPlutarchRepr :: AsHaskell PBuiltinBLS12_381_MlResult -> PlutusRepr PBuiltinBLS12_381_MlResult Source #

toPlutarch :: forall (s :: S). AsHaskell PBuiltinBLS12_381_MlResult -> PLifted s PBuiltinBLS12_381_MlResult Source #

fromPlutarchRepr :: PlutusRepr PBuiltinBLS12_381_MlResult -> Maybe (AsHaskell PBuiltinBLS12_381_MlResult) Source #

fromPlutarch :: (forall (s :: S). PLifted s PBuiltinBLS12_381_MlResult) -> Either LiftError (AsHaskell PBuiltinBLS12_381_MlResult) Source #

DerivePlutusType PBuiltinBLS12_381_MlResult Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type DPTStrat PBuiltinBLS12_381_MlResult Source #

PlutusType PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PBuiltinBLS12_381_MlResult :: PType Source #

type PCovariant' PBuiltinBLS12_381_MlResult Source #

type PContravariant' PBuiltinBLS12_381_MlResult Source #

type PVariant' PBuiltinBLS12_381_MlResult Source #

Methods

pcon' :: forall (s :: S). PBuiltinBLS12_381_MlResult s -> Term s (PInner PBuiltinBLS12_381_MlResult) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PBuiltinBLS12_381_MlResult) -> (PBuiltinBLS12_381_MlResult s -> Term s b) -> Term s b Source #

Generic (PBuiltinBLS12_381_MlResult s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

Associated Types

type Rep (PBuiltinBLS12_381_MlResult s) :: Type -> Type Source #

Methods

from :: PBuiltinBLS12_381_MlResult s -> Rep (PBuiltinBLS12_381_MlResult s) x Source #

to :: Rep (PBuiltinBLS12_381_MlResult s) x -> PBuiltinBLS12_381_MlResult s Source #

type AsHaskell PBuiltinBLS12_381_MlResult Source #

@since WIP

Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PBuiltinBLS12_381_MlResult = AsHaskell (DeriveBuiltinPLiftable PBuiltinBLS12_381_MlResult MlResult)
type PlutusRepr PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PBuiltinBLS12_381_MlResult = PlutusRepr (DeriveBuiltinPLiftable PBuiltinBLS12_381_MlResult MlResult)
type DPTStrat PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type DPTStrat PBuiltinBLS12_381_MlResult
type PContravariant' PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PBuiltinBLS12_381_MlResult = All2 PContravariant'' (PCode PBuiltinBLS12_381_MlResult)
type PCovariant' PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PBuiltinBLS12_381_MlResult = All2 PCovariant'' (PCode PBuiltinBLS12_381_MlResult)
type PInner PBuiltinBLS12_381_MlResult Source #

@since WIP

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PBuiltinBLS12_381_MlResult = DerivedPInner (DPTStrat PBuiltinBLS12_381_MlResult) PBuiltinBLS12_381_MlResult
type PVariant' PBuiltinBLS12_381_MlResult Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PBuiltinBLS12_381_MlResult = All2 PVariant'' (PCode PBuiltinBLS12_381_MlResult)
type Rep (PBuiltinBLS12_381_MlResult s) Source # 
Instance details

Defined in Plutarch.Builtin.BLS

type Rep (PBuiltinBLS12_381_MlResult s) = D1 ('MetaData "PBuiltinBLS12_381_MlResult" "Plutarch.Builtin.BLS" "plutarch-1.9.0-FtN0mhIoM9oEvz7Q98pjWP" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_MlResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

pbls12_381_G1_add :: Term s (PBuiltinBLS12_381_G1_Element :--> (PBuiltinBLS12_381_G1_Element :--> PBuiltinBLS12_381_G1_Element)) Source #

Add two points on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G1_scalarMul :: Term s (PInteger :--> (PBuiltinBLS12_381_G1_Element :--> PBuiltinBLS12_381_G1_Element)) Source #

Multiply a point on the BLS12-381 G1 curve by a scalar.

Since: 1.9.0

pbls12_381_G1_neg :: Term s (PBuiltinBLS12_381_G1_Element :--> PBuiltinBLS12_381_G1_Element) Source #

Negate a point on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G1_compress :: Term s (PBuiltinBLS12_381_G1_Element :--> PByteString) Source #

Compress a point on the BLS12-381 G1 curve to a byte string.

Since: 1.9.0

pbls12_381_G1_uncompress :: Term s (PByteString :--> PBuiltinBLS12_381_G1_Element) Source #

Uncompress a byte string to a point on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G1_hashToGroup :: Term s (PByteString :--> (PByteString :--> PBuiltinBLS12_381_G1_Element)) Source #

Hash a message to a point on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G1_compressed_zero :: Term s PByteString Source #

The compressed representation of the zero point on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G1_compressed_generator :: Term s PByteString Source #

The compressed representation of the generator point on the BLS12-381 G1 curve.

Since: 1.9.0

pbls12_381_G2_add :: Term s (PBuiltinBLS12_381_G2_Element :--> (PBuiltinBLS12_381_G2_Element :--> PBuiltinBLS12_381_G2_Element)) Source #

Add two points on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_G2_scalarMul :: Term s (PInteger :--> (PBuiltinBLS12_381_G2_Element :--> PBuiltinBLS12_381_G2_Element)) Source #

Multiply a point on the BLS12-381 G2 curve by a scalar.

Since: 1.9.0

pbls12_381_G2_neg :: Term s (PBuiltinBLS12_381_G2_Element :--> PBuiltinBLS12_381_G2_Element) Source #

Negate a point on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_G2_compress :: Term s (PBuiltinBLS12_381_G2_Element :--> PByteString) Source #

Compress a point on the BLS12-381 G2 curve to a byte string.

Since: 1.9.0

pbls12_381_G2_uncompress :: Term s (PByteString :--> PBuiltinBLS12_381_G2_Element) Source #

Uncompress a byte string to a point on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_G2_hashToGroup :: Term s (PByteString :--> (PByteString :--> PBuiltinBLS12_381_G2_Element)) Source #

Hash a message to a point on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_G2_compressed_zero :: Term s PByteString Source #

The compressed representation of the zero point on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_G2_compressed_generator :: Term s PByteString Source #

The compressed representation of the generator point on the BLS12-381 G2 curve.

Since: 1.9.0

pbls12_381_millerLoop :: Term s (PBuiltinBLS12_381_G1_Element :--> (PBuiltinBLS12_381_G2_Element :--> PBuiltinBLS12_381_MlResult)) Source #

Perform a Miller loop operation on a G1 and G2 element.

Since: 1.9.0

pbls12_381_mulMlResult :: Term s (PBuiltinBLS12_381_MlResult :--> (PBuiltinBLS12_381_MlResult :--> PBuiltinBLS12_381_MlResult)) Source #

Multiply two Miller loop results.

Since: 1.9.0

pbls12_381_finalVerify :: Term s (PBuiltinBLS12_381_MlResult :--> (PBuiltinBLS12_381_MlResult :--> PBool)) Source #

Perform the final verification step in BLS12-381 pairing.

Since: 1.9.0