update list of checks

ethereum · Aug 28, 2024 · 5761fb4 · 5761fb4
1 parent 0b95012
commit 5761fb4
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/specs/electra/p2p-interface.md b/specs/electra/p2p-interface.md
@@ -56,8 +56,16 @@ The following validations are added:
 
 The topic is updated to propagate `SingleAttestation` objects.
 
-The following convenience variables are re-defined
+The following convenience variables are re-defined:
 - `index = attestation.committee_index`
 
 The following validations are added:
-* [REJECT] `attestation.data.index == 0`
+- _[REJECT]_ `attestation.data.index == 0`
+- _[REJECT]_ The attester is a member of the committtee -- i.e.
+  `atestation.attester_index in get_beacon_committee(state, attestation.data.slot, index)`.
+
+The following validations are removed:
+- _[REJECT]_ The attestation is unaggregated --
+  that is, it has exactly one participating validator (`len([bit for bit in aggregation_bits if bit]) == 1`, i.e. exactly 1 bit is set).
+- _[REJECT]_ The number of aggregation bits matches the committee size -- i.e.
+  `len(aggregation_bits) == len(get_beacon_committee(state, attestation.data.slot, index))`.