forked from Consensys/teku
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
attestation processing logic (Consensys#8260)
Co-authored-by: Lucas Saldanha <[email protected]>
- Loading branch information
1 parent
bdb39f6
commit e26a8ea
Showing
6 changed files
with
225 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
83 changes: 83 additions & 0 deletions
83
...ku/spec/logic/versions/electra/operations/validation/AttestationDataValidatorElectra.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,83 @@ | ||
| /* | ||
| * Copyright Consensys Software Inc., 2024 | ||
| * | ||
| * 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.spec.logic.versions.electra.operations.validation; | ||
|
|
||
| import static tech.pegasys.teku.spec.logic.common.operations.validation.OperationInvalidReason.check; | ||
| import static tech.pegasys.teku.spec.logic.common.operations.validation.OperationInvalidReason.firstOf; | ||
|
|
||
| import java.util.Optional; | ||
| import tech.pegasys.teku.infrastructure.unsigned.UInt64; | ||
| import tech.pegasys.teku.spec.config.SpecConfig; | ||
| import tech.pegasys.teku.spec.datastructures.operations.AttestationData; | ||
| import tech.pegasys.teku.spec.datastructures.state.Fork; | ||
| 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.operations.validation.AttestationDataValidator; | ||
| import tech.pegasys.teku.spec.logic.common.operations.validation.OperationInvalidReason; | ||
|
|
||
| public class AttestationDataValidatorElectra implements AttestationDataValidator { | ||
|
|
||
| private final SpecConfig specConfig; | ||
| private final MiscHelpers miscHelpers; | ||
| private final BeaconStateAccessors beaconStateAccessors; | ||
|
|
||
| public AttestationDataValidatorElectra( | ||
| final SpecConfig specConfig, | ||
| final MiscHelpers miscHelpers, | ||
| final BeaconStateAccessors beaconStateAccessors) { | ||
| this.specConfig = specConfig; | ||
| this.miscHelpers = miscHelpers; | ||
| this.beaconStateAccessors = beaconStateAccessors; | ||
| } | ||
|
|
||
| @Override | ||
| public Optional<OperationInvalidReason> validate( | ||
| final Fork fork, final BeaconState state, final AttestationData data) { | ||
| return firstOf( | ||
| () -> | ||
| check( | ||
| data.getTarget().getEpoch().equals(beaconStateAccessors.getPreviousEpoch(state)) | ||
| || data.getTarget() | ||
| .getEpoch() | ||
| .equals(beaconStateAccessors.getCurrentEpoch(state)), | ||
| AttestationInvalidReason.NOT_FROM_CURRENT_OR_PREVIOUS_EPOCH), | ||
| () -> | ||
| check( | ||
| data.getTarget().getEpoch().equals(miscHelpers.computeEpochAtSlot(data.getSlot())), | ||
| AttestationInvalidReason.SLOT_NOT_IN_EPOCH), | ||
| () -> | ||
| check( | ||
| data.getSlot() | ||
| .plus(specConfig.getMinAttestationInclusionDelay()) | ||
| .compareTo(state.getSlot()) | ||
| <= 0, | ||
| AttestationInvalidReason.SUBMITTED_TOO_QUICKLY), | ||
| () -> | ||
| check( | ||
| data.getIndex().equals(UInt64.ZERO), | ||
| AttestationInvalidReason.COMMITTEE_INDEX_MUST_BE_ZERO), | ||
| () -> { | ||
| if (data.getTarget().getEpoch().equals(beaconStateAccessors.getCurrentEpoch(state))) { | ||
| return check( | ||
| data.getSource().equals(state.getCurrentJustifiedCheckpoint()), | ||
| AttestationInvalidReason.INCORRECT_CURRENT_JUSTIFIED_CHECKPOINT); | ||
| } else { | ||
| return check( | ||
| data.getSource().equals(state.getPreviousJustifiedCheckpoint()), | ||
| AttestationInvalidReason.INCORRECT_PREVIOUS_JUSTIFIED_CHECKPOINT); | ||
| } | ||
| }); | ||
| } | ||
| } |
79 changes: 79 additions & 0 deletions
79
.../main/java/tech/pegasys/teku/spec/logic/versions/electra/util/AttestationUtilElectra.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,79 @@ | ||
| /* | ||
| * Copyright Consensys Software Inc., 2024 | ||
| * | ||
| * 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.spec.logic.versions.electra.util; | ||
|
|
||
| import it.unimi.dsi.fastutil.ints.IntArrayList; | ||
| import it.unimi.dsi.fastutil.ints.IntList; | ||
| import java.util.List; | ||
| import java.util.stream.IntStream; | ||
| import tech.pegasys.teku.infrastructure.ssz.collections.SszBitlist; | ||
| import tech.pegasys.teku.infrastructure.unsigned.UInt64; | ||
| import tech.pegasys.teku.spec.config.SpecConfig; | ||
| import tech.pegasys.teku.spec.datastructures.operations.Attestation; | ||
| 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.versions.deneb.util.AttestationUtilDeneb; | ||
| import tech.pegasys.teku.spec.schemas.SchemaDefinitions; | ||
|
|
||
| public class AttestationUtilElectra extends AttestationUtilDeneb { | ||
| public AttestationUtilElectra( | ||
| final SpecConfig specConfig, | ||
| final SchemaDefinitions schemaDefinitions, | ||
| final BeaconStateAccessors beaconStateAccessors, | ||
| final MiscHelpers miscHelpers) { | ||
| super(specConfig, schemaDefinitions, beaconStateAccessors, miscHelpers); | ||
| } | ||
|
|
||
| /** | ||
| * Return the attesting indices corresponding to ``aggregation_bits`` and ``committee_bits``. | ||
| * | ||
| * @param state | ||
| * @param attestation | ||
| * @return | ||
| * @throws IllegalArgumentException | ||
| * @see | ||
| * <a>https://github.com/ethereum/consensus-specs/blob/dev/specs/electra/beacon-chain.md#modified-get_attesting_indices</a> | ||
| */ | ||
| @Override | ||
| public IntList getAttestingIndices(final BeaconState state, final Attestation attestation) { | ||
| final List<UInt64> committeeIndices = attestation.getCommitteeIndicesRequired(); | ||
| final SszBitlist aggregationBits = attestation.getAggregationBits(); | ||
| final IntList attestingIndices = new IntArrayList(); | ||
| int committeeOffset = 0; | ||
| for (final UInt64 committeeIndex : committeeIndices) { | ||
| final IntList committee = | ||
| beaconStateAccessors.getBeaconCommittee( | ||
| state, attestation.getData().getSlot(), committeeIndex); | ||
| final IntList committeeAttesters = | ||
| getCommitteeAttesters(committee, aggregationBits, committeeOffset); | ||
| attestingIndices.addAll(committeeAttesters); | ||
| committeeOffset += committee.size(); | ||
| } | ||
| return attestingIndices; | ||
| } | ||
|
|
||
| public IntList getCommitteeAttesters( | ||
| final IntList committee, final SszBitlist aggregationBits, final int committeeOffset) { | ||
| return IntList.of( | ||
| streamCommitteeAttesters(committee, aggregationBits, committeeOffset).toArray()); | ||
| } | ||
|
|
||
| public IntStream streamCommitteeAttesters( | ||
| final IntList committee, final SszBitlist aggregationBits, final int committeeOffset) { | ||
| return IntStream.range(committeeOffset, committeeOffset + committee.size()) | ||
| .filter(aggregationBits::isSet) | ||
| .map(attesterIndex -> committee.getInt(attesterIndex - committeeOffset)); | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters