Write a CDDL spec for LocalStateQuery and LocalTxSubmission

[dnadales]

We should write a CDDL spec for the LocalTxSubmission protocol.

[geo2a]

Hi @coot, I've found a CDDL spec for LocalTxSubmission in the ouroboros-network-protocols packege. It seems to be up-to-date with the protocol definition in the same package. Could you let us know if that's the right thing? Or do you think there's something else we should do on the Consensus side? Thanks!

[coot]

It's probably a miscommunication. I was thinking about local-state-query mini-protocol, e.g. this CDDL spec. It doesn't specify the queries, failures etc.

The local-tx-submission doesn't specify tx's, which also is an issue (ref).

[geo2a]

@coot I have opened a draft PR to Network that refines the LocalStateQuery spec: IntersectMBO/ouroboros-network#5074

However, I'm concern that refining the existing spec in Networking may leak too much detail from Consensus. What do you think about that?

Ideally, we would have some way to have a generic spec in Networking, and then somehow "import" it in consensus and refine with the information we know here, such as the query type. But unfortunately, CDDL does not seem to allow such a workflow. This problem, as I understand, is captured by IntersectMBO/ouroboros-network#5049. I do not yet have a good idea what the solution should be.

[coot]

@geo2a I agree that would be ideal. @ch1bo is advocating for moving all our CDDLs to one public facing repository. Once it's all in one place, it will be simpler to do something like that. It will be an improvement if we just have two separate CDDLs and point the reader of one to the other.