Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.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 #	Since: 1.9.0
Instance details Defined in Plutarch.BLS 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.BLS 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 #
DerivePlutusType PBuiltinBLS12_381_G1_Element Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_G1_Element Source #
PlutusType PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS 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.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.BLS 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.BLS 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.BLS type DPTStrat PBuiltinBLS12_381_G1_Element = PlutusTypeNewtype
type PContravariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_G1_Element
type PCovariant' PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_G1_Element
type PInner PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.BLS 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.BLS type PVariant' PBuiltinBLS12_381_G1_Element
type Rep (PBuiltinBLS12_381_G1_Element s) Source #
Instance details Defined in Plutarch.BLS type Rep (PBuiltinBLS12_381_G1_Element s) = D1 ('MetaData "PBuiltinBLS12_381_G1_Element" "Plutarch.BLS" "plutarch-1.9.0-DaxzFvLNVysDL1hkJ4YFrw" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_G1_Element" '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

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 #	Since: 1.9.0
Instance details Defined in Plutarch.BLS 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.BLS 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 #
DerivePlutusType PBuiltinBLS12_381_G2_Element Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_G2_Element Source #
PlutusType PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS 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.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.BLS 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.BLS 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.BLS type DPTStrat PBuiltinBLS12_381_G2_Element = PlutusTypeNewtype
type PContravariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_G2_Element
type PCovariant' PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_G2_Element
type PInner PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.BLS 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.BLS type PVariant' PBuiltinBLS12_381_G2_Element
type Rep (PBuiltinBLS12_381_G2_Element s) Source #
Instance details Defined in Plutarch.BLS type Rep (PBuiltinBLS12_381_G2_Element s) = D1 ('MetaData "PBuiltinBLS12_381_G2_Element" "Plutarch.BLS" "plutarch-1.9.0-DaxzFvLNVysDL1hkJ4YFrw" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_G2_Element" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

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

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.BLS 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: 1.9.0
Instance details Defined in Plutarch.BLS Associated Types type DPTStrat PBuiltinBLS12_381_MlResult Source #
PlutusType PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS 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.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.BLS type AsHaskell PBuiltinBLS12_381_MlResult = AsHaskell (DeriveBuiltinPLiftable PBuiltinBLS12_381_MlResult MlResult)
type PlutusRepr PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PlutusRepr PBuiltinBLS12_381_MlResult = PlutusRepr (DeriveBuiltinPLiftable PBuiltinBLS12_381_MlResult MlResult)
type DPTStrat PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type DPTStrat PBuiltinBLS12_381_MlResult = PlutusTypeNewtype
type PContravariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PContravariant' PBuiltinBLS12_381_MlResult
type PCovariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PCovariant' PBuiltinBLS12_381_MlResult
type PInner PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PInner PBuiltinBLS12_381_MlResult = DerivedPInner (DPTStrat PBuiltinBLS12_381_MlResult) PBuiltinBLS12_381_MlResult
type PVariant' PBuiltinBLS12_381_MlResult Source #
Instance details Defined in Plutarch.BLS type PVariant' PBuiltinBLS12_381_MlResult
type Rep (PBuiltinBLS12_381_MlResult s) Source #
Instance details Defined in Plutarch.BLS type Rep (PBuiltinBLS12_381_MlResult s) = D1 ('MetaData "PBuiltinBLS12_381_MlResult" "Plutarch.BLS" "plutarch-1.9.0-DaxzFvLNVysDL1hkJ4YFrw" 'True) (C1 ('MetaCons "PBuiltinBLS12_381_MlResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

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