Proto: update dal_entrapment_evidence to cover attestations aggregate
What
Update the Dal_entrapment_evidence to be able to cover aggregates.
Corresponding DAL-node update: !18057 (merged)
How
- Generalize the
attestationfield to any kind consensus operation - Add a new
consensus_slotfield
With the following semantics:
- If
attestationis a standalone attestation,consensus_slotmust be its slot. - If
attestationis an attestations aggregate, its committee must includeconsensus_slotand the denunciation targetsconsensus_slot's DAL content. - If
attestationis a preattestation or preattestations aggregate, the dal entrapment evidence is invalid.
Note that allowing preattestations in the encoding (even if it results in an invalid operation) is more general than necessary for Dal_entrapment_evidence. However, the same code will be reused to generalize denunciations of double consensus operations to also cover aggregates.
Edited by Diane Gallois-Wong