Linear Leios: EB diffusion pipelining

Author: nfrisby

simulation/docs/SimulatorModel.md

@@ -408,6 +408,8 @@ The Linear Leios simulator adds the following new variables, some of which also
 - `relayLinearEBState`.
   As a shortcut, the first Linear Leios simulator will instantiate `Relay` with `RelayHeader InputBlockId` and `InputBlock`.
   This is because the IB specified in Short Leios has just a few small fields more than the EB specified in Linear Leios.
+    - It is remarkable that the Linear EB is added to the Relay buffer immediately, before its validated.
+      This is "EB Diffusion Pipelining", as indicated in the Linear Leios specification.
 - `linearLedgerStateVar`, `waitingForLinearLedgerStateVar`, and `waitingForWaitingForLinearLedgerStateVar`.
   An RB that contains an EB cert canot be validated without the the certified EB's ledger state.
   However, that EB is necessarily certified, so its ledger state can be built comparatively cheaply now, but still not for free.
@@ -421,6 +423,6 @@ The Linear Leios simulator adds the following new variables, some of which also
 - `linearEbOfRb`.
   A mapping from RB to its announced Linear EB _that has been validated_, which is needed when issuing an RB.
 
-TODO block diffusion pipelining for both RBs and EBs
+TODO RB Diffusion is not pipelined
 
 TODO RBs are so far only distributed by ChainSync and BlockFetch

simulation/src/LeiosProtocol/Short/Node.hs

@@ -1157,10 +1157,12 @@ dispatchValidationSTM tracer cfg leiosState req =
               _ -> k
       waitFor
         leiosState.waitingForTipVar
-        [ (rbHash, [ifNoCert ib.id $ queue [valLinearEB ib False completion]])
+        [ (rbHash, [ifNoCert ib.id $ queue [valLinearEB ib False (const (pure ()))]])
         | ib <- ibs
         , BlockHash rbHash <- [ib.header.rankingBlock]
         ]
+      -- @complete@ the Linear EBs immediately, ie "EB Diffusion Pipelining"
+      completion [ (convertLinearId ib.id, ib) | ib <- ibs ]
       pure []
     ReapplyLinearEB ib completion -> pure [valLinearEB ib True (const completion)]
     ValidateVotes vs deliveryTime completion -> do