Skip to content

Conversation

@jpraynaud
Copy link
Member

@jpraynaud jpraynaud commented Sep 1, 2025

This PR includes updates of the CIP-0137:

  • The structure of the DMQ messages has evolved:
    • removed the blockNumber field
    • removed the ttl
    • added an expiresAt field (word32)
    • added a coldVerificationKey field (word32)
    • documented the message invalidation with expiresAt field
    • split the message payload from the KES signature and verification material
    • specified how to sign the message with the KES keys
  • The MsgServerDone message has been removed from the n2c local message notification mini-protocol
  • Some typos have been fixed.

(latest version of updated document)

In order to provide a simpler message invalidation mechanism.
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.
@jpraynaud jpraynaud force-pushed the jpraynaud/update-cip-0137 branch from a529d6d to c0fcdfd Compare September 1, 2025 10:49
@jpraynaud jpraynaud marked this pull request as draft September 1, 2025 10:52
Copy link

@coot coot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jpraynaud jpraynaud force-pushed the jpraynaud/update-cip-0137 branch from 7760ff5 to f918f02 Compare September 1, 2025 14:33
@jpraynaud jpraynaud changed the title CIP-0137 | Fix messages specification CIP-0137 | Fix protocol specifications Sep 5, 2025
Copy link

@coot coot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should specify how the operational certificate is encoded.

Copy link

@coot coot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @jpraynaud, it looks good to me.

@jpraynaud
Copy link
Member Author

Closing this PR which has been moved to cardano-foundation#1085

@jpraynaud jpraynaud closed this Sep 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants