Remove equivocating indices from score consideration

eth-reference-tests/src/referenceTest/java/tech/pegasys/teku/reference/phase0/forkchoice/ForkChoiceTestExecutor.java

@@ -14,6 +14,7 @@
 package tech.pegasys.teku.reference.phase0.forkchoice;
 
 import static org.assertj.core.api.Assertions.assertThat;
+import static org.junit.jupiter.api.Assertions.assertDoesNotThrow;
 import static tech.pegasys.teku.infrastructure.time.TimeUtilities.secondsToMillis;
 
 import com.google.common.collect.ImmutableMap;
@@ -43,6 +44,7 @@
 import tech.pegasys.teku.spec.datastructures.blocks.SignedBlockAndState;
 import tech.pegasys.teku.spec.datastructures.execution.PowBlock;
 import tech.pegasys.teku.spec.datastructures.operations.Attestation;
+import tech.pegasys.teku.spec.datastructures.operations.AttesterSlashing;
 import tech.pegasys.teku.spec.datastructures.state.AnchorPoint;
 import tech.pegasys.teku.spec.datastructures.state.Checkpoint;
 import tech.pegasys.teku.spec.datastructures.state.beaconstate.BeaconState;
@@ -52,6 +54,7 @@
 import tech.pegasys.teku.statetransition.forkchoice.ForkChoice;
 import tech.pegasys.teku.statetransition.forkchoice.MergeTransitionBlockValidator;
 import tech.pegasys.teku.statetransition.forkchoice.StubForkChoiceNotifier;
+import tech.pegasys.teku.statetransition.validation.InternalValidationResult;
 import tech.pegasys.teku.storage.client.RecentChainData;
 import tech.pegasys.teku.storage.storageSystem.InMemoryStorageSystemBuilder;
 import tech.pegasys.teku.storage.storageSystem.StorageSystem;
@@ -106,6 +109,7 @@ spec, new SignedBlockAndState(anchorBlock, anchorState)),
             recentChainData,
             new StubForkChoiceNotifier(),
             transitionBlockValidator,
+            true,
             true);
     final ExecutionEngineChannelStub executionEngine = new ExecutionEngineChannelStub(spec, false);
 
@@ -153,6 +157,9 @@ private void runSteps(
       } else if (step.containsKey("pow_block")) {
         applyPowBlock(testDefinition, step, executionEngine);
 
+      } else if (step.containsKey("attester_slashing")) {
+        applyAttesterSlashing(testDefinition, forkChoice, step);
+
       } else {
         throw new UnsupportedOperationException("Unsupported step: " + step);
       }
@@ -202,6 +209,21 @@ private void applyAttestation(
         .isCompleted();
   }
 
+  private void applyAttesterSlashing(
+      final TestDefinition testDefinition,
+      final ForkChoice forkChoice,
+      final Map<String, Object> step) {
+    final String slashingName = get(step, "attester_slashing");
+    final AttesterSlashing attesterSlashing =
+        TestDataUtils.loadSsz(
+            testDefinition,
+            slashingName + ".ssz_snappy",
+            testDefinition.getSpec().getGenesisSchemaDefinitions().getAttesterSlashingSchema());
+    assertDoesNotThrow(
+        () ->
+            forkChoice.onAttesterSlashing(attesterSlashing, InternalValidationResult.ACCEPT, true));
+  }
+
   private void applyBlock(
       final TestDefinition testDefinition,
       final Spec spec,

ethereum/core/src/testFixtures/java/tech/pegasys/teku/core/AttesterSlashingGenerator.java

@@ -0,0 +1,127 @@
+/*
+ * Copyright 2022 ConsenSys AG.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with
+ * the License. You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on
+ * an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the
+ * specific language governing permissions and limitations under the License.
+ */
+
+package tech.pegasys.teku.core;
+
+import static tech.pegasys.teku.infrastructure.async.SyncAsyncRunner.SYNC_RUNNER;
+
+import it.unimi.dsi.fastutil.ints.IntList;
+import java.util.List;
+import java.util.Optional;
+import tech.pegasys.teku.bls.BLSKeyPair;
+import tech.pegasys.teku.bls.BLSSignature;
+import tech.pegasys.teku.core.signatures.LocalSigner;
+import tech.pegasys.teku.infrastructure.ssz.collections.SszBitlist;
+import tech.pegasys.teku.infrastructure.unsigned.UInt64;
+import tech.pegasys.teku.spec.Spec;
+import tech.pegasys.teku.spec.datastructures.blocks.SignedBlockAndState;
+import tech.pegasys.teku.spec.datastructures.operations.Attestation;
+import tech.pegasys.teku.spec.datastructures.operations.Attestation.AttestationSchema;
+import tech.pegasys.teku.spec.datastructures.operations.AttestationData;
+import tech.pegasys.teku.spec.datastructures.operations.AttesterSlashing;
+import tech.pegasys.teku.spec.datastructures.operations.IndexedAttestation;
+import tech.pegasys.teku.spec.datastructures.state.Checkpoint;
+import tech.pegasys.teku.spec.datastructures.state.Committee;
+import tech.pegasys.teku.spec.datastructures.state.CommitteeAssignment;
+import tech.pegasys.teku.spec.datastructures.state.beaconstate.BeaconState;
+import tech.pegasys.teku.spec.logic.common.helpers.BeaconStateAccessors;
+import tech.pegasys.teku.spec.logic.common.helpers.MiscHelpers;
+import tech.pegasys.teku.spec.logic.common.helpers.Predicates;
+import tech.pegasys.teku.spec.logic.common.util.AttestationUtil;
+import tech.pegasys.teku.spec.logic.versions.phase0.helpers.BeaconStateAccessorsPhase0;
+import tech.pegasys.teku.spec.util.DataStructureUtil;
+
+public class AttesterSlashingGenerator {
+  private final Spec spec;
+  private final List<BLSKeyPair> validatorKeys;
+  private final AttestationUtil attestationUtil;
+  private final DataStructureUtil dataStructureUtil;
+
+  public AttesterSlashingGenerator(final Spec spec, final List<BLSKeyPair> validatorKeys) {
+    this.spec = spec;
+    this.validatorKeys = validatorKeys;
+    this.dataStructureUtil = new DataStructureUtil(spec);
+    final Predicates predicates = new Predicates();
+    final MiscHelpers miscHelpers = new MiscHelpers(spec.getGenesisSpecConfig());
+    final BeaconStateAccessors beaconStateAccessors =
+        new BeaconStateAccessorsPhase0(spec.getGenesisSpecConfig(), predicates, miscHelpers);
+    this.attestationUtil =
+        new AttestationUtil(spec.getGenesisSchemaDefinitions(), beaconStateAccessors, miscHelpers);
+  }
+
+  public AttesterSlashing createAttesterSlashingForAttestation(
+      final Attestation goodAttestation, final SignedBlockAndState blockAndState) {
+    if (!goodAttestation.getData().getSlot().equals(blockAndState.getSlot())) {
+      throw new RuntimeException("Good attestation slot and input block slot should match");
+    }
+    IndexedAttestation indexedGoodAttestation =
+        attestationUtil.getIndexedAttestation(blockAndState.getState(), goodAttestation);
+    int validatorIndex = indexedGoodAttestation.getAttestingIndices().get(0).get().intValue();
+
+    UInt64 epoch = spec.computeEpochAtSlot(blockAndState.getSlot());
+    Optional<CommitteeAssignment> maybeAssignment =
+        spec.getCommitteeAssignment(blockAndState.getState(), epoch, validatorIndex);
+    IntList committeeIndices = maybeAssignment.orElseThrow().getCommittee();
+    UInt64 committeeIndex = maybeAssignment.orElseThrow().getCommitteeIndex();
+    Committee committee = new Committee(committeeIndex, committeeIndices);
+    int indexIntoCommittee = committeeIndices.indexOf(validatorIndex);
+
+    AttestationData genericAttestationData =
+        spec.getGenericAttestationData(
+            blockAndState.getSlot(),
+            blockAndState.getState(),
+            blockAndState.getBlock(),
+            committeeIndex);
+    AttestationData brokenAttestationData =
+        new AttestationData(
+            genericAttestationData.getSlot(),
+            genericAttestationData.getIndex(),
+            genericAttestationData.getBeaconBlockRoot(),
+            genericAttestationData.getSource(),
+            new Checkpoint(
+                genericAttestationData.getTarget().getEpoch(), dataStructureUtil.randomBytes32()));
+    BLSKeyPair validatorKeyPair = validatorKeys.get(validatorIndex);
+    Attestation badAttestation =
+        createAttestation(
+            blockAndState.getState(),
+            validatorKeyPair,
+            indexIntoCommittee,
+            committee,
+            brokenAttestationData);
+    IndexedAttestation indexedBadAttestation =
+        attestationUtil.getIndexedAttestation(blockAndState.getState(), badAttestation);
+
+    return spec.getGenesisSchemaDefinitions()
+        .getAttesterSlashingSchema()
+        .create(indexedGoodAttestation, indexedBadAttestation);
+  }
+
+  private Attestation createAttestation(
+      final BeaconState state,
+      final BLSKeyPair attesterKeyPair,
+      final int indexIntoCommittee,
+      final Committee committee,
+      final AttestationData attestationData) {
+    int committeeSize = committee.getCommitteeSize();
+    AttestationSchema attestationSchema =
+        spec.atSlot(attestationData.getSlot()).getSchemaDefinitions().getAttestationSchema();
+    SszBitlist aggregationBitfield =
+        attestationSchema.getAggregationBitsSchema().ofBits(committeeSize, indexIntoCommittee);
+
+    BLSSignature signature =
+        new LocalSigner(spec, attesterKeyPair, SYNC_RUNNER)
+            .signAttestationData(attestationData, state.getForkInfo())
+            .join();
+    return attestationSchema.create(aggregationBitfield, attestationData, signature);
+  }
+}

ethereum/core/src/testFixtures/java/tech/pegasys/teku/core/BlockProposalTestUtil.java

@@ -38,6 +38,7 @@
 import tech.pegasys.teku.spec.datastructures.execution.ExecutionPayload;
 import tech.pegasys.teku.spec.datastructures.execution.ExecutionPayloadSchema;
 import tech.pegasys.teku.spec.datastructures.operations.Attestation;
+import tech.pegasys.teku.spec.datastructures.operations.AttesterSlashing;
 import tech.pegasys.teku.spec.datastructures.operations.Deposit;
 import tech.pegasys.teku.spec.datastructures.operations.ProposerSlashing;
 import tech.pegasys.teku.spec.datastructures.operations.SignedVoluntaryExit;
@@ -68,7 +69,8 @@ public SignedBlockAndState createNewBlock(
       final Bytes32 parentBlockSigningRoot,
       final Eth1Data eth1Data,
       final SszList<Attestation> attestations,
-      final SszList<ProposerSlashing> slashings,
+      final SszList<ProposerSlashing> proposerSlashings,
+      final SszList<AttesterSlashing> attesterSlashings,
       final SszList<Deposit> deposits,
       final SszList<SignedVoluntaryExit> exits,
       final Optional<List<Bytes>> transactions,
@@ -93,8 +95,8 @@ public SignedBlockAndState createNewBlock(
                     .eth1Data(eth1Data)
                     .graffiti(Bytes32.ZERO)
                     .attestations(attestations)
-                    .proposerSlashings(slashings)
-                    .attesterSlashings(blockBodyLists.createAttesterSlashings())
+                    .proposerSlashings(proposerSlashings)
+                    .attesterSlashings(attesterSlashings)
                     .deposits(deposits)
                     .voluntaryExits(exits)
                     .syncAggregate(
@@ -122,7 +124,8 @@ public SignedBlockAndState createNewBlockSkippingStateTransition(
       final Bytes32 parentBlockSigningRoot,
       final Eth1Data eth1Data,
       final SszList<Attestation> attestations,
-      final SszList<ProposerSlashing> slashings,
+      final SszList<ProposerSlashing> proposerSlashings,
+      final SszList<AttesterSlashing> attesterSlashings,
       final SszList<Deposit> deposits,
       final SszList<SignedVoluntaryExit> exits,
       final Optional<List<Bytes>> transactions,
@@ -149,8 +152,8 @@ public SignedBlockAndState createNewBlockSkippingStateTransition(
                         .eth1Data(eth1Data)
                         .graffiti(Bytes32.ZERO)
                         .attestations(attestations)
-                        .proposerSlashings(slashings)
-                        .attesterSlashings(blockBodyLists.createAttesterSlashings())
+                        .proposerSlashings(proposerSlashings)
+                        .attesterSlashings(attesterSlashings)
                         .deposits(deposits)
                         .voluntaryExits(exits)
                         .syncAggregate(
@@ -231,6 +234,7 @@ public SignedBlockAndState createBlock(
       final Bytes32 parentBlockSigningRoot,
       final Optional<SszList<Attestation>> attestations,
       final Optional<SszList<Deposit>> deposits,
+      final Optional<SszList<AttesterSlashing>> attesterSlashings,
       final Optional<SszList<SignedVoluntaryExit>> exits,
       final Optional<Eth1Data> eth1Data,
       final Optional<List<Bytes>> transactions,
@@ -248,6 +252,7 @@ public SignedBlockAndState createBlock(
           eth1Data.orElse(getEth1DataStub(previousState, newEpoch)),
           attestations.orElse(blockBodyLists.createAttestations()),
           blockBodyLists.createProposerSlashings(),
+          attesterSlashings.orElse(blockBodyLists.createAttesterSlashings()),
           deposits.orElse(blockBodyLists.createDeposits()),
           exits.orElse(blockBodyLists.createVoluntaryExits()),
           transactions,
@@ -262,6 +267,7 @@ public SignedBlockAndState createBlock(
         eth1Data.orElse(getEth1DataStub(previousState, newEpoch)),
         attestations.orElse(blockBodyLists.createAttestations()),
         blockBodyLists.createProposerSlashings(),
+        attesterSlashings.orElse(blockBodyLists.createAttesterSlashings()),
         deposits.orElse(blockBodyLists.createDeposits()),
         exits.orElse(blockBodyLists.createVoluntaryExits()),
         transactions,

ethereum/core/src/testFixtures/java/tech/pegasys/teku/core/ChainBuilder.java

@@ -52,6 +52,7 @@
 import tech.pegasys.teku.spec.datastructures.interop.MockStartDepositGenerator;
 import tech.pegasys.teku.spec.datastructures.interop.MockStartValidatorKeyPairFactory;
 import tech.pegasys.teku.spec.datastructures.operations.Attestation;
+import tech.pegasys.teku.spec.datastructures.operations.AttesterSlashing;
 import tech.pegasys.teku.spec.datastructures.operations.DepositData;
 import tech.pegasys.teku.spec.datastructures.operations.versions.altair.SyncAggregatorSelectionData;
 import tech.pegasys.teku.spec.datastructures.operations.versions.altair.SyncCommitteeMessage;
@@ -75,6 +76,7 @@ public class ChainBuilder {
   private final Spec spec;
   private final List<BLSKeyPair> validatorKeys;
   private final AttestationGenerator attestationGenerator;
+  private final AttesterSlashingGenerator attesterSlashingGenerator;
   private final NavigableMap<UInt64, SignedBlockAndState> blocks = new TreeMap<>();
   private final Map<Bytes32, SignedBlockAndState> blocksByHash = new HashMap<>();
 
@@ -88,6 +90,7 @@ private ChainBuilder(
     this.validatorKeys = validatorKeys;
 
     attestationGenerator = new AttestationGenerator(spec, validatorKeys);
+    attesterSlashingGenerator = new AttesterSlashingGenerator(spec, validatorKeys);
     blockProposalTestUtil = new BlockProposalTestUtil(spec);
     blocks.putAll(existingBlocks);
     existingBlocks.values().forEach(b -> blocksByHash.put(b.getRoot(), b));
@@ -370,6 +373,12 @@ public Stream<Attestation> streamValidAttestationsWithTargetBlock(
     return attestationGenerator.streamAttestations(attestedHead, attestedHead.getSlot());
   }
 
+  public AttesterSlashing createAttesterSlashingForAttestation(
+      final Attestation attestation, final SignedBlockAndState blockAndState) {
+    return attesterSlashingGenerator.createAttesterSlashingForAttestation(
+        attestation, blockAndState);
+  }
+
   private void assertChainIsNotEmpty() {
     checkState(!blocks.isEmpty(), "Unable to execute operation on empty chain");
   }
@@ -398,6 +407,10 @@ private SignedBlockAndState appendNewBlockToChain(final UInt64 slot, final Block
       SszList<Attestation> attestations =
           BeaconBlockBodyLists.ofSpec(spec)
               .createAttestations(options.getAttestations().toArray(new Attestation[0]));
+      SszList<AttesterSlashing> attesterSlashings =
+          BeaconBlockBodyLists.ofSpec(spec)
+              .createAttesterSlashings(
+                  options.getAttesterSlashings().toArray(new AttesterSlashing[0]));
       nextBlockAndState =
           blockProposalTestUtil.createBlock(
               signer,
@@ -406,6 +419,7 @@ private SignedBlockAndState appendNewBlockToChain(final UInt64 slot, final Block
               parentRoot,
               Optional.of(attestations),
               Optional.empty(),
+              Optional.of(attesterSlashings),
               Optional.empty(),
               options.getEth1Data(),
               options.getTransactions(),
@@ -519,6 +533,7 @@ public Signer getSigner(final int validatorId) {
   public static final class BlockOptions {
 
     private final List<Attestation> attestations = new ArrayList<>();
+    private final List<AttesterSlashing> attesterSlashings = new ArrayList<>();
     private Optional<Eth1Data> eth1Data = Optional.empty();
     private Optional<List<Bytes>> transactions = Optional.empty();
     private Optional<Bytes32> terminalBlockHash = Optional.empty();
@@ -537,6 +552,11 @@ public BlockOptions addAttestation(final Attestation attestation) {
       return this;
     }
 
+    public BlockOptions addAttesterSlashing(final AttesterSlashing attesterSlashing) {
+      attesterSlashings.add(attesterSlashing);
+      return this;
+    }
+
     public BlockOptions setEth1Data(final Eth1Data eth1Data) {
       this.eth1Data = Optional.ofNullable(eth1Data);
       return this;
@@ -594,5 +614,9 @@ public boolean getSkipStateTransition() {
     public boolean getWrongProposer() {
       return wrongProposer;
     }
+
+    public List<AttesterSlashing> getAttesterSlashings() {
+      return attesterSlashings;
+    }
   }
 }