[Peras 4] Add ObjectDiffusion and PerasCert diffusion (instance of ObjectDiffusion) (#1679)

This pull request introduces support for the ObjectDiffusion
mini-protocol, required for Peras (for certificates and votes
diffusion). It also plugs the PerasCertDiffusion (instance of
ObjectDiffusion) mini-protocol in the networking layer.

This PR depends on an updated version of `ouroboros-network`, see
IntersectMBO/ouroboros-network#5202 and
https://github.com/IntersectMBO/ouroboros-network/tree/peras-staging/pr-5202-v2

---

- Added modules
`Ouroboros.Consensus.MiniProtocol.ObjectDiffusion{.Inbound,.Outbound}`
with implementations of the ObjectDiffusion protocol (quite
similar/inspired from TX-submission, except that client = inbound,
server = outbound)
- Added module
`Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.ObjectPool.API`
defining `ObjectPool{Reader,Writer}` interfaces, through which
ObjectDiffusion accesses/stores the objects to send/that have been
received.
- Added modules
`Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.PerasCert` and
`Ouroboros.Consensus.MiniProtocol.ObjectDiffusion.ObjectPool.PerasCert`
containing definitions specific to `PerasCert` diffusion through the
ObjectDiffusion mini-protocol
- Modifies `Ouroboros.Consensus.Node.Serialisation` to add CBOR
serialisation (`SerialiseNodeToNode`) for `Point blk`, `Tip blk`, and
`PerasCert blk`
- Modifies `Ouroboros.Consensus{.Node,.Node.Tracer,.Network.NodeToNode}`
to wire-in PerasCertDiffusion similarly to other mini-protocols (e.g.
TX-submission)

---

- Added module `Test.Consensus.MiniProtocol.ObjectDiffusion.Smoke` with
smoke test for the general ObjectDiffusion mini-protocol (using mock
objects)
- Added module
`Test.Consensus.MiniProtocol.ObjectDiffusion.PerasCert.Smoke` with smoke
test specific to `PerasCert` diffusion through ObjectDiffusion

- Updates `Test.ThreadNet.Network` in `unstable-diffusion-testlib`
accordingly to the changes made in
`Ouroboros.Consensus.Network.NodeToNode`

---

**Network Protocol Version Updates:**

- Depends on `ouroboros-network` rev
https://github.com/IntersectMBO/ouroboros-network/tree/peras-staging/pr-5202-v2
through source-repository-package directive
- Added support in `ouroboros-consensus` for `NodeToNodeV_16`

Author: tbagrel1

cabal.project

@@ -80,12 +80,19 @@ source-repository-package
     eras/byron/ledger/impl
     eras/byron/crypto
 
--- Backported version of https://github.com/IntersectMBO/ouroboros-network/pull/5161
+allow-newer:
+    -- https://github.com/phadej/vec/issues/121
+    , ral:QuickCheck
+    , fin:QuickCheck
+    , bin:QuickCheck
+
+-- Using https://github.com/IntersectMBO/ouroboros-network/tree/peras-staging/pr-5202-v2
 source-repository-package
    type: git
    location: https://github.com/IntersectMBO/ouroboros-network
-   tag: 1385b53cefb81e79553b6b0252537455833ea9c4
-   --sha256: sha256-zZ7WsMfRs1fG16bmvI5vIh4fhQ8RGyEvYGLSWlrxpg0=
+   tag: 0db8669b67982cba755e80bf2e413527def41244
+   --sha256: sha256-vEO721Xab0RTVKFQFKal5VCV5y+OUzELo8+7Z8TETJQ=
    subdir:
+     ouroboros-network-protocols
      ouroboros-network-api
      ouroboros-network

ouroboros-consensus-cardano/changelog.d/20250919_095938_thomas.bagrel_object_diffusion.md

@@ -0,0 +1,23 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->
+<!--
+### Non-Breaking
+
+- A bullet item for the Non-Breaking category.
+
+-->
+
+### Breaking
+
+- Added support for `NodeToNodeV_16`

ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs

@@ -430,6 +430,7 @@ instance
     Map.fromList $
       [ (NodeToNodeV_14, CardanoNodeToNodeVersion2)
       , (NodeToNodeV_15, CardanoNodeToNodeVersion2)
+      , (NodeToNodeV_16, CardanoNodeToNodeVersion2)
       ]
 
   supportedNodeToClientVersions _ =

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/NetworkProtocolVersion.hs

@@ -48,6 +48,7 @@ instance SupportedNetworkProtocolVersion (ShelleyBlock proto era) where
     Map.fromList
       [ (NodeToNodeV_14, ShelleyNodeToNodeVersion1)
       , (NodeToNodeV_15, ShelleyNodeToNodeVersion1)
+      , (NodeToNodeV_16, ShelleyNodeToNodeVersion1)
       ]
   supportedNodeToClientVersions _ =
     Map.fromList

ouroboros-consensus-diffusion/changelog.d/20250919_095930_thomas.bagrel_object_diffusion.md

@@ -0,0 +1,27 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->
+<!--
+### Non-Breaking
+
+- A bullet item for the Non-Breaking category.
+
+-->
+
+### Breaking
+
+- Modify `Ouroboros.Consensus{.Node,.Node.Tracer,.Network.NodeToNode}` to wire-in PerasCertDiffusion similarly to other mini-protocols (e.g. TX-submission)
+
+### Non-Breaking
+
+- Update `Test.ThreadNet.Network` in `unstable-diffusion-testlib` accordingly to the changes made in `Ouroboros.Consensus.Network.NodeToNode`