Safe Haskell	None
Language	Haskell2010

Ledger.Crypto

Contents

Signing and generation with no passphrase

Synopsis

module Plutus.V1.Ledger.Crypto
newtype PubKey = PubKey {
- getPubKey :: LedgerBytes
}
newtype PrivateKey = PrivateKey {
- getPrivateKey :: LedgerBytes
}
newtype Signature = Signature {
- getSignature :: BuiltinByteString
}
newtype Passphrase = Passphrase {
- unPassphrase :: ByteString
}
pubKeyHash :: PubKey -> PubKeyHash
signedBy :: ByteArrayAccess a => Signature -> PubKey -> a -> Bool
sign :: ByteArrayAccess a => a -> XPrv -> Passphrase -> Signature
signTx :: TxId -> XPrv -> Passphrase -> Signature
generateFromSeed :: ByteString -> Passphrase -> XPrv
toPublicKey :: XPrv -> PubKey
xPubToPublicKey :: XPub -> PubKey
sign' :: ByteArrayAccess a => a -> XPrv -> Signature
signTx' :: TxId -> XPrv -> Signature
generateFromSeed' :: ByteString -> XPrv

Documentation

module Plutus.V1.Ledger.Crypto

newtype PubKey Source #

Constructors

PubKey
Fields getPubKey :: LedgerBytes

Instances

Instances details

Eq PubKey Source #
Instance details Defined in Ledger.Crypto Methods (==) :: PubKey -> PubKey -> Bool Source # (/=) :: PubKey -> PubKey -> Bool Source #
Ord PubKey Source #
Instance details Defined in Ledger.Crypto Methods compare :: PubKey -> PubKey -> Ordering Source # (<) :: PubKey -> PubKey -> Bool Source # (<=) :: PubKey -> PubKey -> Bool Source # (>) :: PubKey -> PubKey -> Bool Source # (>=) :: PubKey -> PubKey -> Bool Source # max :: PubKey -> PubKey -> PubKey Source # min :: PubKey -> PubKey -> PubKey Source #
Show PubKey Source #
Instance details Defined in Ledger.Crypto Methods showsPrec :: Int -> PubKey -> ShowS Source # show :: PubKey -> String Source # showList :: [PubKey] -> ShowS Source #
IsString PubKey Source #
Instance details Defined in Ledger.Crypto Methods fromString :: String -> PubKey Source #
Generic PubKey Source #
Instance details Defined in Ledger.Crypto Associated Types type Rep PubKey :: Type -> Type Source # Methods from :: PubKey -> Rep PubKey x Source # to :: Rep PubKey x -> PubKey Source #
NFData PubKey Source #
Instance details Defined in Ledger.Crypto Methods rnf :: PubKey -> () Source #
ToJSON PubKey Source #
Instance details Defined in Ledger.Crypto Methods toJSON :: PubKey -> Value Source # toEncoding :: PubKey -> Encoding Source # toJSONList :: [PubKey] -> Value Source # toEncodingList :: [PubKey] -> Encoding Source #
ToJSONKey PubKey Source #
Instance details Defined in Ledger.Crypto Methods toJSONKey :: ToJSONKeyFunction PubKey Source # toJSONKeyList :: ToJSONKeyFunction [PubKey] Source #
FromJSON PubKey Source #
Instance details Defined in Ledger.Crypto Methods parseJSON :: Value -> Parser PubKey Source # parseJSONList :: Value -> Parser [PubKey] Source #
FromJSONKey PubKey Source #
Instance details Defined in Ledger.Crypto Methods fromJSONKey :: FromJSONKeyFunction PubKey Source # fromJSONKeyList :: FromJSONKeyFunction [PubKey] Source #
Newtype PubKey Source #
Instance details Defined in Ledger.Crypto Associated Types type O PubKey Source # Methods pack :: O PubKey -> PubKey Source # unpack :: PubKey -> O PubKey Source #
ToSchema PubKey Source #
Instance details Defined in Ledger.Orphans Methods declareNamedSchema :: Proxy PubKey -> Declare (Definitions Schema) NamedSchema Source #
Pretty PubKey Source #
Instance details Defined in Ledger.Crypto Methods pretty :: PubKey -> Doc ann Source # prettyList :: [PubKey] -> Doc ann Source #
Serialise PubKey Source #
Instance details Defined in Ledger.Crypto Methods encode :: PubKey -> Encoding Source # decode :: Decoder s PubKey Source # encodeList :: [PubKey] -> Encoding Source # decodeList :: Decoder s [PubKey] Source #
UnsafeFromData PubKey Source #
Instance details Defined in Ledger.Crypto Methods unsafeFromBuiltinData :: BuiltinData -> PubKey Source #
FromData PubKey Source #
Instance details Defined in Ledger.Crypto Methods fromBuiltinData :: BuiltinData -> Maybe PubKey Source #
ToData PubKey Source #
Instance details Defined in Ledger.Crypto Methods toBuiltinData :: PubKey -> BuiltinData Source #
Ord PubKey Source #
Instance details Defined in Ledger.Crypto Methods compare :: PubKey -> PubKey -> Ordering Source # (<) :: PubKey -> PubKey -> Bool Source # (<=) :: PubKey -> PubKey -> Bool Source # (>) :: PubKey -> PubKey -> Bool Source # (>=) :: PubKey -> PubKey -> Bool Source # max :: PubKey -> PubKey -> PubKey Source # min :: PubKey -> PubKey -> PubKey Source #
Eq PubKey Source #
Instance details Defined in Ledger.Crypto Methods (==) :: PubKey -> PubKey -> Bool Source #
Lift DefaultUni PubKey Source #
Instance details Defined in Ledger.Crypto Methods lift :: PubKey -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni PubKey Source #
Instance details Defined in Ledger.Crypto Methods typeRep :: Proxy PubKey -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep PubKey Source #
Instance details Defined in Ledger.Crypto type Rep PubKey = D1 ('MetaData "PubKey" "Ledger.Crypto" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "PubKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LedgerBytes)))
type O PubKey Source #
Instance details Defined in Ledger.Crypto type O PubKey = GO (Rep PubKey)

newtype PrivateKey Source #

A cryptographic private key.

Constructors

PrivateKey
Fields getPrivateKey :: LedgerBytes

Instances

Instances details

Eq PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods (==) :: PrivateKey -> PrivateKey -> Bool Source # (/=) :: PrivateKey -> PrivateKey -> Bool Source #
Ord PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods compare :: PrivateKey -> PrivateKey -> Ordering Source # (<) :: PrivateKey -> PrivateKey -> Bool Source # (<=) :: PrivateKey -> PrivateKey -> Bool Source # (>) :: PrivateKey -> PrivateKey -> Bool Source # (>=) :: PrivateKey -> PrivateKey -> Bool Source # max :: PrivateKey -> PrivateKey -> PrivateKey Source # min :: PrivateKey -> PrivateKey -> PrivateKey Source #
Show PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods showsPrec :: Int -> PrivateKey -> ShowS Source # show :: PrivateKey -> String Source # showList :: [PrivateKey] -> ShowS Source #
Generic PrivateKey Source #
Instance details Defined in Ledger.Crypto Associated Types type Rep PrivateKey :: Type -> Type Source # Methods from :: PrivateKey -> Rep PrivateKey x Source # to :: Rep PrivateKey x -> PrivateKey Source #
Hashable PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods hashWithSalt :: Int -> PrivateKey -> Int Source # hash :: PrivateKey -> Int Source #
ToJSON PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods toJSON :: PrivateKey -> Value Source # toEncoding :: PrivateKey -> Encoding Source # toJSONList :: [PrivateKey] -> Value Source # toEncodingList :: [PrivateKey] -> Encoding Source #
ToJSONKey PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods toJSONKey :: ToJSONKeyFunction PrivateKey Source # toJSONKeyList :: ToJSONKeyFunction [PrivateKey] Source #
FromJSON PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods parseJSON :: Value -> Parser PrivateKey Source # parseJSONList :: Value -> Parser [PrivateKey] Source #
FromJSONKey PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods fromJSONKey :: FromJSONKeyFunction PrivateKey Source # fromJSONKeyList :: FromJSONKeyFunction [PrivateKey] Source #
ToHttpApiData PrivateKey Source #
Instance details Defined in Ledger.Orphans Methods toUrlPiece :: PrivateKey -> Text Source # toEncodedUrlPiece :: PrivateKey -> Builder Source # toHeader :: PrivateKey -> ByteString Source # toQueryParam :: PrivateKey -> Text Source #
FromHttpApiData PrivateKey Source #
Instance details Defined in Ledger.Orphans Methods parseUrlPiece :: Text -> Either Text PrivateKey Source # parseHeader :: ByteString -> Either Text PrivateKey Source # parseQueryParam :: Text -> Either Text PrivateKey Source #
Newtype PrivateKey Source #
Instance details Defined in Ledger.Crypto Associated Types type O PrivateKey Source # Methods pack :: O PrivateKey -> PrivateKey Source # unpack :: PrivateKey -> O PrivateKey Source #
Pretty PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods pretty :: PrivateKey -> Doc ann Source # prettyList :: [PrivateKey] -> Doc ann Source #
Serialise PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods encode :: PrivateKey -> Encoding Source # decode :: Decoder s PrivateKey Source # encodeList :: [PrivateKey] -> Encoding Source # decodeList :: Decoder s [PrivateKey] Source #
UnsafeFromData PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods unsafeFromBuiltinData :: BuiltinData -> PrivateKey Source #
FromData PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods fromBuiltinData :: BuiltinData -> Maybe PrivateKey Source #
ToData PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods toBuiltinData :: PrivateKey -> BuiltinData Source #
Ord PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods compare :: PrivateKey -> PrivateKey -> Ordering Source # (<) :: PrivateKey -> PrivateKey -> Bool Source # (<=) :: PrivateKey -> PrivateKey -> Bool Source # (>) :: PrivateKey -> PrivateKey -> Bool Source # (>=) :: PrivateKey -> PrivateKey -> Bool Source # max :: PrivateKey -> PrivateKey -> PrivateKey Source # min :: PrivateKey -> PrivateKey -> PrivateKey Source #
Eq PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods (==) :: PrivateKey -> PrivateKey -> Bool Source #
Lift DefaultUni PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods lift :: PrivateKey -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods typeRep :: Proxy PrivateKey -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep PrivateKey Source #
Instance details Defined in Ledger.Crypto type Rep PrivateKey = D1 ('MetaData "PrivateKey" "Ledger.Crypto" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "PrivateKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPrivateKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LedgerBytes)))
type O PrivateKey Source #
Instance details Defined in Ledger.Crypto type O PrivateKey = GO (Rep PrivateKey)

newtype Signature Source #

A message with a cryptographic signature.

Constructors

Signature
Fields getSignature :: BuiltinByteString

Instances

Instances details

Eq Signature Source #
Instance details Defined in Ledger.Crypto Methods (==) :: Signature -> Signature -> Bool Source # (/=) :: Signature -> Signature -> Bool Source #
Ord Signature Source #
Instance details Defined in Ledger.Crypto Methods compare :: Signature -> Signature -> Ordering Source # (<) :: Signature -> Signature -> Bool Source # (<=) :: Signature -> Signature -> Bool Source # (>) :: Signature -> Signature -> Bool Source # (>=) :: Signature -> Signature -> Bool Source # max :: Signature -> Signature -> Signature Source # min :: Signature -> Signature -> Signature Source #
Show Signature Source #
Instance details Defined in Ledger.Crypto Methods showsPrec :: Int -> Signature -> ShowS Source # show :: Signature -> String Source # showList :: [Signature] -> ShowS Source #
Generic Signature Source #
Instance details Defined in Ledger.Crypto Associated Types type Rep Signature :: Type -> Type Source # Methods from :: Signature -> Rep Signature x Source # to :: Rep Signature x -> Signature Source #
NFData Signature Source #
Instance details Defined in Ledger.Crypto Methods rnf :: Signature -> () Source #
ToJSON Signature Source #
Instance details Defined in Ledger.Crypto Methods toJSON :: Signature -> Value Source # toEncoding :: Signature -> Encoding Source # toJSONList :: [Signature] -> Value Source # toEncodingList :: [Signature] -> Encoding Source #
FromJSON Signature Source #
Instance details Defined in Ledger.Crypto Methods parseJSON :: Value -> Parser Signature Source # parseJSONList :: Value -> Parser [Signature] Source #
ToSchema Signature Source #
Instance details Defined in Ledger.Orphans Methods declareNamedSchema :: Proxy Signature -> Declare (Definitions Schema) NamedSchema Source #
Pretty Signature Source #
Instance details Defined in Ledger.Crypto Methods pretty :: Signature -> Doc ann Source # prettyList :: [Signature] -> Doc ann Source #
Serialise Signature Source #
Instance details Defined in Ledger.Crypto Methods encode :: Signature -> Encoding Source # decode :: Decoder s Signature Source # encodeList :: [Signature] -> Encoding Source # decodeList :: Decoder s [Signature] Source #
UnsafeFromData Signature Source #
Instance details Defined in Ledger.Crypto Methods unsafeFromBuiltinData :: BuiltinData -> Signature Source #
FromData Signature Source #
Instance details Defined in Ledger.Crypto Methods fromBuiltinData :: BuiltinData -> Maybe Signature Source #
ToData Signature Source #
Instance details Defined in Ledger.Crypto Methods toBuiltinData :: Signature -> BuiltinData Source #
Ord Signature Source #
Instance details Defined in Ledger.Crypto Methods compare :: Signature -> Signature -> Ordering Source # (<) :: Signature -> Signature -> Bool Source # (<=) :: Signature -> Signature -> Bool Source # (>) :: Signature -> Signature -> Bool Source # (>=) :: Signature -> Signature -> Bool Source # max :: Signature -> Signature -> Signature Source # min :: Signature -> Signature -> Signature Source #
Eq Signature Source #
Instance details Defined in Ledger.Crypto Methods (==) :: Signature -> Signature -> Bool Source #
Lift DefaultUni Signature Source #
Instance details Defined in Ledger.Crypto Methods lift :: Signature -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Signature Source #
Instance details Defined in Ledger.Crypto Methods typeRep :: Proxy Signature -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Signature Source #
Instance details Defined in Ledger.Crypto type Rep Signature = D1 ('MetaData "Signature" "Ledger.Crypto" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "Signature" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype Passphrase Source #

Passphrase newtype to mark intent

Constructors

Passphrase
Fields unPassphrase :: ByteString

Instances

Instances details

Show Passphrase Source #
Instance details Defined in Ledger.Crypto Methods showsPrec :: Int -> Passphrase -> ShowS Source # show :: Passphrase -> String Source # showList :: [Passphrase] -> ShowS Source #
IsString Passphrase Source #
Instance details Defined in Ledger.Crypto Methods fromString :: String -> Passphrase Source #

pubKeyHash :: PubKey -> PubKeyHash Source #

Compute the hash of a public key.

signedBy :: ByteArrayAccess a => Signature -> PubKey -> a -> Bool Source #

Check whether the given Signature was signed by the private key corresponding to the given public key.

sign :: ByteArrayAccess a => a -> XPrv -> Passphrase -> Signature Source #

Sign a message using a private key and passphrase.

signTx :: TxId -> XPrv -> Passphrase -> Signature Source #

Sign the hash of a transaction using a private key and passphrase.

generateFromSeed :: ByteString -> Passphrase -> XPrv Source #

Generate a private key from a seed phrase and passphrase

toPublicKey :: XPrv -> PubKey Source #

xPubToPublicKey :: XPub -> PubKey Source #

Signing and generation with no passphrase

sign' :: ByteArrayAccess a => a -> XPrv -> Signature Source #

Sign a message using a private key with no passphrase.

signTx' :: TxId -> XPrv -> Signature Source #

Sign the hash of a transaction using a private key that has no passphrase.

generateFromSeed' :: ByteString -> XPrv Source #

Generate a private key from a seed phrase without a passphrase.