Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.Address.Bootstrap
Synopsis
- data BootstrapWitness crypto where
- pattern BootstrapWitness :: Crypto crypto => VKey 'Witness crypto -> SignedDSIGN crypto (Hash crypto EraIndependentTxBody) -> ChainCode -> ByteString -> BootstrapWitness crypto
- newtype ChainCode = ChainCode {}
- bootstrapWitKeyHash :: forall crypto. Crypto crypto => BootstrapWitness crypto -> KeyHash 'Witness crypto
- unpackByronVKey :: forall crypto. DSIGN crypto ~ Ed25519DSIGN => VerificationKey -> (VKey 'Witness crypto, ChainCode)
- makeBootstrapWitness :: forall crypto. (DSIGN crypto ~ Ed25519DSIGN, Crypto crypto) => Hash crypto EraIndependentTxBody -> SigningKey -> Attributes AddrAttributes -> BootstrapWitness crypto
- verifyBootstrapWit :: forall crypto. (Crypto crypto, Signable (DSIGN crypto) (Hash crypto EraIndependentTxBody)) => Hash crypto EraIndependentTxBody -> BootstrapWitness crypto -> Bool
Documentation
data BootstrapWitness crypto where Source #
Bundled Patterns
pattern BootstrapWitness :: Crypto crypto => VKey 'Witness crypto -> SignedDSIGN crypto (Hash crypto EraIndependentTxBody) -> ChainCode -> ByteString -> BootstrapWitness crypto |
Instances
Constructors
ChainCode | |
Fields |
Instances
Eq ChainCode Source # | |
Show ChainCode Source # | |
Generic ChainCode Source # | |
ToCBOR ChainCode Source # | |
FromCBOR ChainCode Source # | |
NoThunks ChainCode Source # | |
type Rep ChainCode Source # | |
Defined in Shelley.Spec.Ledger.Address.Bootstrap type Rep ChainCode = D1 ('MetaData "ChainCode" "Shelley.Spec.Ledger.Address.Bootstrap" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "ChainCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) |
bootstrapWitKeyHash :: forall crypto. Crypto crypto => BootstrapWitness crypto -> KeyHash 'Witness crypto Source #
Rebuild the addrRoot of the corresponding address.
unpackByronVKey :: forall crypto. DSIGN crypto ~ Ed25519DSIGN => VerificationKey -> (VKey 'Witness crypto, ChainCode) Source #
makeBootstrapWitness :: forall crypto. (DSIGN crypto ~ Ed25519DSIGN, Crypto crypto) => Hash crypto EraIndependentTxBody -> SigningKey -> Attributes AddrAttributes -> BootstrapWitness crypto Source #
verifyBootstrapWit :: forall crypto. (Crypto crypto, Signable (DSIGN crypto) (Hash crypto EraIndependentTxBody)) => Hash crypto EraIndependentTxBody -> BootstrapWitness crypto -> Bool Source #