AQEAB: Allow BLS Proof of possession instead of Augmented

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

People

@ACoquereau

Motivation

To be able to aggregate and check the same message in the attestation aggregation, we need the BLS proof of possession cryptographic scheme instead of the Augmented one

Plan

• Introduce a new Signature module version that will use the BLS Proof of possession cryptographic scheme
• Either
  • Version the Tz4 to use PoP from Alpha with retro compatibility in Augmented
  • Introduce a new Tz5 addresses that will use PoP.
• Add aggregation functions for attestation aggregation needs.

Work breakdown

• Versioning Signature module version 2

  • !15934 (merged) - Crypto: bootstrap signature v2
    • Introduce a new version and some backward compatibility changes
  • !17036 (merged) - Crypto: plug signature v2 in environment V15
    • This MR switch the signature version in the environment 15 from version 1 to version 2.
    • It also switches the default signature scheme of BLS keys from Augmented to Proof of Possession
  • !16986 (merged) - Signer/client: introducing versionning of BLS keys
    • This MR introduce a versioning of BLS keys in the client and the signer.

• Introducing new Tz5 addresses

  • !16683 (merged) - Crypto: rename bls in bls_aug in signature v2
  • !17051 (merged) - Revert !16683 Crypto: rename bls in bls_aug in signature v2
  • !16589 (closed) - Crypto: add bls pop module and signature
  • !16765 (closed) - Crypto: plug signature v2 in environment V15
  • !16486 (closed) - Crypto: BLS POP add new functions

• Add specific BLS PoP aggregation functions

  • !17093 (merged) - Proto/Env: Add pk aggregation functions for Bls in the environment
  • !17111 (merged) - Crypto/env: even more aggregation functions
  • !16817 (merged) - Crypto/bls12_381: optimize public key and signature aggregation
  • !17154 (merged) - Crypto: BLS aggregate_signature_opt takes a subgroup_check optional argument

• Testing

  • [ ]