Cardano Updates

DefaultVote no longer has ToCBOR/FromCBOR instances in cardano-ledger.
Use LC.toEraCBOR/LC.fromEraCBOR (EncCBOR/DecCBOR) consistently with
the pattern used for all other query results in this file.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

Nonce no longer has ToCBOR/FromCBOR instances in cardano-ledger
(replaced by EncCBOR/DecCBOR). Use toPlainEncoding/toPlainDecoder
from cardano-ledger-binary to bridge the gap in the Serialise instance.

Co-Authored-By: Claude Sonnet 4.6 <[email protected]>

This commit extends the ChainDB QuickCheck state machine tests with a
GetLatestPerasCertOnChainRound command that exercises the new
getLatestPerasCertOnChainRound method in the ChainDB API. This includes
extending the ChainDB model with the corresponding method.

NOTE: since the LoE does not yet support Peras, this commit makes sure
to only generate blocks containing Peras certificate round numbers as
well as calls to GetLatestPerasCertOnChainRound when the LoE is disabled
for the current test.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit adds a new getLatestPerasCertOnChainRound method to the
ChainDB API, which extracts the latest round number of a Peras
certificate included on a block in our preferred chain. Such a round
number is taken from the corresponding ledger states of both the
immutable and volatile tips (the maximum of the two).

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit extend the TestBlock used by the storage tests with an
optional PerasRoundNo representing the round of a Peras certificate
optionally included in the block.

NOTE: in the future, this round number might need to be expanded into a
full-blown Peras certificate in order to test other aspects of such
certificates included in blocks, but there's no need for that just yet.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit introduces a `LedgerSupportsPeras` type class with the
`getLatestPerasCertRound` to be able to extract the (cached) round number of the
latest Peras certificate included in a block from the ledger state of an
arbitrary block type.

In addition, it adds the constraint globally, propagates it down
everywhere, and implement all the missing `LedgerSupportsPeras`
instances that became needed. Notably, it implements non-trivial
instances for: 1) the Shelley ledger state, and 2) the hard fork block
ledger state.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit extends the Shelley ledger state with an optional
PerasRoundNo to cache the latest round number of a certificate added to
the current chain. This value is updated whenever a new block is applied
to the ledger.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit extends the ledger state of the TestBlock used in storage
tests with a field that optionally stores the round number of the latest
Peras certificate included in a TestBlock.

In addition, it trivially implements the logic needed to keep this field
updated when a new block is applied to the a test ledger.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit extends the ChainDB QuickCheck state machine tests with a
GetLatestPerasCertOnChainRound command that exercises the new
getLatestPerasCertOnChainRound method in the ChainDB API. This includes
extending the ChainDB model with the corresponding method.

NOTE: since the LoE does not yet support Peras, this commit makes sure
to only generate blocks containing Peras certificate round numbers as
well as calls to GetLatestPerasCertOnChainRound when the LoE is disabled
for the current test.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

This commit extends the ledger state of the TestBlock used in storage
tests with a field that optionally stores the round number of the latest
Peras certificate included in a TestBlock.

In addition, it trivially implements the logic needed to keep this field
updated when a new block is applied to the a test ledger.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>