Cardano Updates

Define HuddleRule instances for "block_body" and "peras_certificate"
in the Dijkstra era, with a custom CBOR generator for block_body
that generates valid transaction indices. Update the CDDL spec to
match the new block structure: block = [header, block_body].

Co-authored-by: Alexey Kuleshevich <[email protected]>

Add plain DecCBOR instances for DijkstraBlockBodyRaw and
DijkstraBlockBody (needed for decoder equivalence tests), and a
custom ToExpr instance for DijkstraBlockBody. Add block_body to
the CddlSpec test suite.

Co-authored-by: Alexey Kuleshevich <[email protected]>

Co-authored-by: Alexey Kuleshevich <[email protected]>

Replace the manual segmented-witness serialization with MemoBytes,
which simplifies the code significantly. The block body is now
serialized as a flat 3-element list [invalid_transactions, transactions,
peras_certificate] instead of 5 separate segments.

Also fix PerasCert to encode/decode as bytes (matching CDDL),
reimplement alignedValidFlags using IntSet, and expose
DijkstraBlockBodyRaw/MkDijkstraBlockBody from Internal module.

Co-authored-by: Alexey Kuleshevich <[email protected]>

Change genArrayTerm from Gen to MonadGen so it can be used in
CBORGen contexts (e.g. custom CBOR generators for Huddle specs).

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

- Add `blockBodySize` as a method on `EraBlockBody` with a default
  implementation using `EncCBORGroup`, replacing the standalone
  `bBodySize` function
- Remove `EncCBORGroup (BlockBody era)` superclass constraint from
  `EraBlockBody` so that eras can provide their own `blockBodySize`
  without needing `EncCBORGroup`

Co-authored-by: Alexey Kuleshevich <[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 implements property tests for the EveryoneVotes
implementation asserting that:

* votes cast by eligible voters are successfully verifiable under the
  same voting committee, and
* fake (illegal) votes are successfully rejected

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

This commit defines concrete data structures for Peras votes and certificates
using BLS signatures to represent vote/cert signatures as well as
non-persistent eligibility proofs.

In addition it defines serialization routines for both types, using a
compact bitmap representation in the case of certificates.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[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 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]>