Cardano Updates

Signed-off-by: aarish mansur <[email protected]>

Signed-off-by: aarish mansur <[email protected]>

Drops lenses/folds in favor of list comprehensions

Signed-off-by: aarish mansur <[email protected]>

* openapi.yaml from `0.1.61` to `0.1.62`

Break out mempoolGetSnapshot into its own atomic transaction.

Disable doctest to unblock `master`

feat: add EDR-021: code annotations (NOTE, TODO and FIXME)

This commit implements the deterministic core of the weighted
Fait-Accompli algorithm using a precomputed extended stake distribution,
shareable across multiple voting committees running on the same epoch.

The implementation includes a tiebreaker mechanism to allow altering the
order of pools with the same stake when the threshold index between
persistent and non-persistent voters would land between them. This can
later be instantiated to allow for a fair split across epochs.

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

This commit adds conformance tests for the real WFALS implementation. In
particular, we chech that the real implementation matches both the
precomputed output of the rust prototype as well as the WFALS model
against random stake distributions and target committee sizes.

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 implements a compact bitmaps via ByteStrings, adapted from
the Leios voting committee demo package (leios-wfa-ls-demo):

https://github.com/cardano-scaling/leios-wfa-ls-demo/blob/main/leios-wfa-ls-demo/lib/Cardano/Leios/BitMapPV.hs

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

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

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

In addition to enforcing that all votes used to forge a certificate have
the same target (election ID and candidate), we should also
conservatively also check for duplicates to avoid any bug that would
silently allow for potentially equivocating votes to slip into a
certificate.

This commit tweaks the definition of VotesWithSameTarget (the data
structure expected by forgeCert) to addionally check for duplicates when
constructing it. This is done by asking for an additional ordering
predicate between votes, where equality signals duplicated (i.e.
potentially equivocating) votes.

In addition, we now provide an additional (unsafe) smart constructor
that runs this test via compiler-enabled assertion. Which can be used in
the case that the client code can guarantee the desired invariants by
construction.

Finally, it relaxes the smart constructor interface a bit to allow for
easier testing.

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

This commit adds conversion rountrip tests between concrete Peras votes
and certificates and their corresponding (abstract) counterparts in the
WFALS and EveryoneVotes voting committee implementations.

Notably, the roundtrip properties allow testing both total (WFALS) and partial
(EveryoneVotes) conversions, generating both good and bad cases and
contrasting them against their expected rountrip outcome.

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

This commit reorganizes the existing model and conformance test
infrastructure for WFALS in anticipation to the the tests for the real
implementation implemented in the next commit.

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

This commit defines some common test helpers used by the upcoming
property and conformance tests for both WFALS and EveryoneVotes.

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

This commit adds serialization roundtrip tests for the concrete Peras
votes and certificate types.

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

This commit tweaks the generic voting committee interface around
aggregatable types to better acommodate the fact that cryptographic
aggregation of signatures can fail (in very rare cases). Previously, we
had encapsulated this problem by collecting keys and signatures and
aggregating them at verification time. The new interface is more
faithful and accounts for the new failure mode in a more honest way.

In addition, it renames the 'CryptoSupportsAggregateVRF' class into
'CryptoSupportsBatchVRFVerification', since the new interface
constraints the inputs to /not/ be aggregated at (batch) verification
time, so that implementations that require binding keys to VRF outputs
can do so more directly and explicitly.

Finally, it removes the trivial aggregation helpers introduced in Peras
22, as concrete implementations of the new aggregation interface will
not benefit much from having them, so there's no need to maintain unused
code for which we have no plans to use in the long term either.

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