Expand description

Proof messages used by the protocol state proof

Structs

Type Definitions