Sub-milestone of %(2024Q4) Attestation Quorum Expansion to All Bakers

• Protocol @dianegalloiswong

  • Attestation with DAL
    • Operation_repr !17728 (merged)
      • Non signed DAL slots in attestations with DAL
      • encoding update
    • Validation !17642 (merged) (waiting on !17640 (merged))
      • for BLS DAL attestation
        • fetch companion key
        • no Companion key -> no DAL slot expected
        • With companion key -> Bitset DAL * companion key + consensus key -> pk
        • check_signature sig pk
  • Attestation_aggregate with DAL
    • Operation_repr
      • update aggregation op comparison to make it independent from committee type !17683 (closed)
      • new committee: (slot * dal_slots option) list !17686 (merged)
      • Encoding !17835 (merged)
    • Validation
      • retrieve the DAL slots from the aggregation -> DAL.validate !17830 (merged)
      • recompute previous pk from the attestation with DAL part for each attester in the committee -> check_signature !17838 (merged)
      • standalone BLS attestation with DAL is now forbidden in block modes !17890 (merged)
    • Application
      • retrieve the DAL slots from the aggregation -> DAL.apply !17830 (merged)

• Baker @polubelova

  • Attestation with DAL slots !17640 (merged)
    • Sign attestation with DAL slots with non signed dal slots
    • Retrieve the companion key
      • Delegate used -> consensus key + companion key
        • validators rpc: add companion key !17703 (merged)
      • Signature
        • sign with the companion secret key uri: s1
        • sign with the consensus secret key uri: s2
        • (Bitset DAL + 1) * s1 + s2 -> sig
  • Aggregation with dal !17855 (merged)
    • retrieve the dal slot for each attestation with dal
    • create the committee with type: (slot * dal_slots option) list

• Follow-ups

  • (mandatory) Baker: if a BLS consensus key has no companion key or the companion key has not been provided to the baker, craft an attestation without DAL instead of crafting no attestation !17946 (merged)
  • (mandatory) Plugin: validators RPC returns companion key only when it's useful !17957 (merged)
  • #7929 Follow-up on !17642 (merged): consider moving fused-multiply-add optimization to crypto library
  • (mandatory) #7935 (closed) Check that dal from aggregation committee is correctly used everywhere !18044 (merged)
  • Consider optimizing dal_content option binary encoding to take 1 less byte

• Tests

  • Protocol integration tests
    • Negative test: non-BLS aggregate with DAL content !17994 (merged)
    • Add non-empty DAL content to other tests in test_aggregate.ml
  • Tezt
    • Bake with client command / run a baker with a mockup DAL node !17843
  • TBD