Cardano Updates

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

This commit refactors the weighted Fait-Accompli conformance test suite
into a composite unit test that accepts a function to preprocess the stake
distribution into a value that gets shared accross individual tests.

This is useful to instantiate this test suite against the real implementation,
which relies on a precomputed stake distribution array that can be
shared across all 3000 individual test steps.

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

Complete set of pattern synonyms. This is useful when creating a query
using consensus API for the current era.

Note: this needs to be maintained when new eras are added.

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 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]>

This commits provides a model implementation for the weighted Fait
Accompli committee selection scheme that will be used for Peras. This
comes with a pure model of the local sortition scheme that will be used
as a fallback for non-deterministic non-persistent voters.

In addition, it provides some general QuickCheck properties to verify
the validity of the deterministic parts of the algorithm.

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 implements an initial version of the weigthed Fait-Accompli
with Local Sortition committee selection scheme. This implementation is
generic w.r.t. both the election and vote types, as well as the crypto
scheme used by the client.

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]>

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 BlockSupportsPeras type class with a method
getPerasCertInBlock to (potentially) extract Peras certificates from
blocks when they are optionally included to orchestrate the end of a
cooldown period.

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

This commit defines an initial instantiation of the weighted
Fait-Accompli with Local Sortition scheme for Peras using pre-existing
BLS crypto.

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

Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.160.0 to 0.160.2.
- [Release notes](https://github.com/blinklabs-io/gouroboros/releases)
- [Changelog](https://github.com/blinklabs-io/gouroboros/blob/main/RELEASE_NOTES.md)
- [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.160.0...v0.160.2)

---
updated-dependencies:
- dependency-name: github.com/blinklabs-io/gouroboros
  dependency-version: 0.160.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [github.com/blinklabs-io/adder](https://github.com/blinklabs-io/adder) from 0.39.0 to 0.39.1.
- [Release notes](https://github.com/blinklabs-io/adder/releases)
- [Commits](https://github.com/blinklabs-io/adder/compare/v0.39.0...v0.39.1)

---
updated-dependencies:
- dependency-name: github.com/blinklabs-io/adder
  dependency-version: 0.39.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>