CIP-0137 | Fix protocol specifications (#1085)
* Fix typos in n2c local message notification * Replace 'blockNumber'/'TTL' fields with 'expiresAt' In order to provide a simpler message invalidation mechanism. * Add an explicit field for cold verification key in the message The cold verification key is not strictly necessary in the operational certificate. This allows to simplify the Haskell DMQ implementation and reuse the existing KES signature verification of the Ouroboros consensus implementation. * Fix update 'coldVerificationKey' type * Specify how message is signed with KES keys * Fix formatting issue in CDDL spec * Fix 'kesPeriod' type to 'word' * Fix 'kesPeriod' type to 'word64' * Fix line numbers in n2n submission message CDDL specs * Update message structure with payload and signature parts * Remove operational certificate and cold verification key from signed message payload * Remove 'MsgServerDone' message from n2c local message notification * Better explanation of the authentication of the message * Clarify structure of the message * Clarify the structure of the Operational Certificate
