AQEAB: all bakers attest all blocks

This is a sub-milestone of %(2024Q4) Attestation Quorum Expansion to All Bakers

Design document: https://docs.google.com/document/d/1FGdnT2AZ7TYwrbyKaLCfyxHlS7wC4zKDm1RhsQchF58/edit?usp=sharing

People

@ACoquereau, @lrand

Motivation

Expending the attester committee to all the bakers

Plan

• Change how the voting power is computed. Instead of using the number of slots owned by a delegate, we will use the ratio between the delegate's stake and the total chain stake.
• For each cycle, sort the delegates by their stake and change the way slot is computed so that slot is the index in the sorted data-structure.
• Remove call for the sampler to know attesting right at each level.

Work breakdown

• Protocol feature
  • Introduce a feature flag (!15584 (merged))
    • Change it into an activation level (!15764 (merged))
  • Voting power
    • Proto: Block Validation and construction: compute voting power based on the stake ratio (!15940 (closed) (temp))
    • Baker: Compute quorum voting power using the stake ratio (!15940 (closed) (temp))
  • Slots
    • Store a sorted list of delegates by their stake ratio, only computed once per cycle (!15940 (closed) (temp))
    • Proto: Update slot computation using the stake sorted by address name
    • Baker: Update slot computation using the sorted stake (!15940 (closed) (temp))
  • Sampler
    • Proto: Remove calls to the sampler at context init (!15940 (closed) (temp))
    • Baker: Remove calls to the sampler
    • Accuser: Remove calls to the sampler
  • Adaptive slashing
    • Proto: Remove calls to the sampler (!15940 (closed) (temp))
  • Baking rewards
    • Proto: Remove calls to the sampler
• Performance measurement
  • Measure the impact of increasing the number of attester
    • Computation time of the block, quorum, mempool
    • Footprint and bandwidth consumption
  • Measure the impact of removing the sampler calls
    • Time to init context