Cardano Updates

standardise cip tag 0119

Co-authored-by: Robert Phair <[email protected]>

Co-authored-by: Robert Phair <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

demo/proto-devnet: also ObserveTip for Node2 and Node3, just far less often

We do lose their offers, but we no longer risk permanently leaking the `requestedBytes*` budget.

For now, StagingArea (or whatever is replacing it soon) is the only compensation for the lost offers.

The longer-term goal is for undesirable disconnects to be rare enough that losing offers doesn't matter.

Resolves three issues we found with the current prototype related to EB
fetching and staging:

- Offered EBs with size 0 are ignored and not override honest, non-0
size offers
- Resolve announced EB hash using all chain sync candidate fragments
instead of current chain only
- Garbage collection of staging area to avoid forever stalled EBs (e.g.
when we lost the original source peer)
- Resolution of multiple CertRBs that were blocked on the same EbHash
- Fixes a size-match condition that was vetoing unrelated offers in the
fetching logic.

Fixes are unit tested where possible and some additional tracing in the
fetching logic should help us pin down any remaining problems. Not fixed
this round:

- First non-0 size of `MsgLeiosBlockOffer` is trusted -> should use
validated EB announcements for that instead (see FIXMEs)
https://github.com/input-output-hk/ouroboros-leios/issues/772
- The fetching logic implementation is quite error-prone with it's many
`MVar`s, refactoring it to a `STM` with `TVar` or less cross-referencing
data types is probably a good idea. CC @nfrisby

From https://github.com/input-output-hk/optparse-applicative at db68415

chore: bump probabilistic light client module versions

We do lose their offers, but we no longer risk permanently leaking the `requestedBytes*` budget.

For now, StagingArea (or whatever is replacing it soon) is the only compensation for the lost offers.

The longer-term goal is for undesirable disconnects to be rare enough that losing offers doesn't matter.

Signed-off-by: cryptodj413 <[email protected]>