ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell Safe-Inferred
Language Haskell2010

Ouroboros.Consensus.Protocol.Signed

Description

Support for protocols that include a signature

Synopsis

Documentation

type family Signed hdr :: Type Source #

The part of the header that is signed

class SignedHeader hdr where Source #

Header that contain a signed part

This class enforces that signatures are computed over the header only (without the block body). This is important: we must be able to verify the signature in a header without having access to the block (which we download separately). Typically of course the header will contain a hash of the body, so the signature can include the body implicitly.

Methods

headerSigned :: hdr -> Signed hdr Source #

Extract the part of the header that the signature should be computed over