cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Update.Proof

Synopsis

Documentation

type Proof = Hash Payload Source #

Proof that body of update message contains Payload

mkProof ∷ Payload → Proof Source #

recoverProof ∷ APayload ByteString → Proof Source #