Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data BootstrapWitness c where
- pattern BootstrapWitness ∷ Crypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness c
- newtype ChainCode = ChainCode {}
- bootstrapWitKeyHash ∷ ∀ c. Crypto c ⇒ BootstrapWitness c → KeyHash 'Witness c
- unpackByronVKey ∷ ∀ c. DSIGN c ~ Ed25519DSIGN ⇒ VerificationKey → (VKey 'Witness c, ChainCode)
- makeBootstrapWitness ∷ ∀ c. (DSIGN c ~ Ed25519DSIGN, Crypto c) ⇒ Hash c EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness c
- verifyBootstrapWit ∷ ∀ c. (Crypto c, Signable (DSIGN c) (Hash c EraIndependentTxBody)) ⇒ Hash c EraIndependentTxBody → BootstrapWitness c → Bool
- eqBootstrapWitnessRaw ∷ Crypto c ⇒ BootstrapWitness c → BootstrapWitness c → Bool
Documentation
data BootstrapWitness c where Source #
pattern BootstrapWitness ∷ Crypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness c |
Instances
Instances
Generic ChainCode Source # | |
Show ChainCode Source # | |
DecCBOR ChainCode Source # | |
EncCBOR ChainCode Source # | |
NFData ChainCode Source # | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
Eq ChainCode Source # | |
NoThunks ChainCode Source # | |
type Rep ChainCode Source # | |
Defined in Cardano.Ledger.Keys.Bootstrap type Rep ChainCode = D1 ('MetaData "ChainCode" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ChainCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) |
bootstrapWitKeyHash ∷ ∀ c. Crypto c ⇒ BootstrapWitness c → KeyHash 'Witness c Source #
Rebuild the addrRoot of the corresponding address.
unpackByronVKey ∷ ∀ c. DSIGN c ~ Ed25519DSIGN ⇒ VerificationKey → (VKey 'Witness c, ChainCode) Source #
makeBootstrapWitness ∷ ∀ c. (DSIGN c ~ Ed25519DSIGN, Crypto c) ⇒ Hash c EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness c Source #
verifyBootstrapWit ∷ ∀ c. (Crypto c, Signable (DSIGN c) (Hash c EraIndependentTxBody)) ⇒ Hash c EraIndependentTxBody → BootstrapWitness c → Bool Source #
eqBootstrapWitnessRaw ∷ Crypto c ⇒ BootstrapWitness c → BootstrapWitness c → Bool Source #