Search in sources :

Example 1 with ForkChoiceUtil

use of tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil in project teku by ConsenSys.

the class SpecLogicPhase0 method create.

public static SpecLogicPhase0 create(final SpecConfig config, final SchemaDefinitions schemaDefinitions) {
    // Helpers
    final Predicates predicates = new Predicates();
    final MiscHelpers miscHelpers = new MiscHelpers(config);
    final BeaconStateAccessors beaconStateAccessors = new BeaconStateAccessorsPhase0(config, predicates, miscHelpers);
    final BeaconStateMutators beaconStateMutators = new BeaconStateMutators(config, miscHelpers, beaconStateAccessors);
    // Operation validaton
    final OperationSignatureVerifier operationSignatureVerifier = new OperationSignatureVerifier(miscHelpers, beaconStateAccessors);
    // Util
    final ValidatorsUtil validatorsUtil = new ValidatorsUtil(config, miscHelpers, beaconStateAccessors);
    final BeaconStateUtil beaconStateUtil = new BeaconStateUtil(config, schemaDefinitions, predicates, miscHelpers, beaconStateAccessors);
    final AttestationUtil attestationUtil = new AttestationUtil(schemaDefinitions, beaconStateAccessors, miscHelpers);
    final OperationValidator operationValidator = OperationValidator.create(config, predicates, miscHelpers, beaconStateAccessors, attestationUtil);
    final ValidatorStatusFactoryPhase0 validatorStatusFactory = new ValidatorStatusFactoryPhase0(config, beaconStateUtil, attestationUtil, beaconStateAccessors, predicates);
    final EpochProcessorPhase0 epochProcessor = new EpochProcessorPhase0(config, miscHelpers, beaconStateAccessors, beaconStateMutators, validatorsUtil, beaconStateUtil, validatorStatusFactory, schemaDefinitions);
    final BlockProcessorPhase0 blockProcessor = new BlockProcessorPhase0(config, predicates, miscHelpers, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, beaconStateUtil, attestationUtil, validatorsUtil, operationValidator);
    final ForkChoiceUtil forkChoiceUtil = new ForkChoiceUtil(config, beaconStateAccessors, attestationUtil, miscHelpers);
    final BlockProposalUtil blockProposalUtil = new BlockProposalUtil(schemaDefinitions, blockProcessor);
    return new SpecLogicPhase0(predicates, miscHelpers, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, validatorsUtil, beaconStateUtil, attestationUtil, operationValidator, validatorStatusFactory, epochProcessor, blockProcessor, forkChoiceUtil, blockProposalUtil);
}
Also used : ForkChoiceUtil(tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil) AttestationUtil(tech.pegasys.teku.spec.logic.common.util.AttestationUtil) EpochProcessorPhase0(tech.pegasys.teku.spec.logic.versions.phase0.statetransition.epoch.EpochProcessorPhase0) MiscHelpers(tech.pegasys.teku.spec.logic.common.helpers.MiscHelpers) OperationSignatureVerifier(tech.pegasys.teku.spec.logic.common.operations.OperationSignatureVerifier) ValidatorsUtil(tech.pegasys.teku.spec.logic.common.util.ValidatorsUtil) ValidatorStatusFactoryPhase0(tech.pegasys.teku.spec.logic.versions.phase0.statetransition.epoch.ValidatorStatusFactoryPhase0) OperationValidator(tech.pegasys.teku.spec.logic.common.operations.validation.OperationValidator) BeaconStateUtil(tech.pegasys.teku.spec.logic.common.util.BeaconStateUtil) BeaconStateMutators(tech.pegasys.teku.spec.logic.common.helpers.BeaconStateMutators) BlockProposalUtil(tech.pegasys.teku.spec.logic.common.util.BlockProposalUtil) Predicates(tech.pegasys.teku.spec.logic.common.helpers.Predicates) BeaconStateAccessors(tech.pegasys.teku.spec.logic.common.helpers.BeaconStateAccessors) BlockProcessorPhase0(tech.pegasys.teku.spec.logic.versions.phase0.block.BlockProcessorPhase0) BeaconStateAccessorsPhase0(tech.pegasys.teku.spec.logic.versions.phase0.helpers.BeaconStateAccessorsPhase0)

Example 2 with ForkChoiceUtil

use of tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil in project teku by ConsenSys.

the class ForkChoice method onBlock.

/**
 * Import a block to the store. The supplied blockSlotState must already have empty slots
 * processed to the same slot as the block.
 */
private SafeFuture<BlockImportResult> onBlock(final SignedBeaconBlock block, final Optional<BeaconState> blockSlotState, final ExecutionEngineChannel executionEngine) {
    if (blockSlotState.isEmpty()) {
        return SafeFuture.completedFuture(BlockImportResult.FAILED_UNKNOWN_PARENT);
    }
    checkArgument(block.getSlot().equals(blockSlotState.get().getSlot()), "State must have processed slots up to the block slot. Block slot %s, state slot %s", block.getSlot(), blockSlotState.get().getSlot());
    final ForkChoicePayloadExecutor payloadExecutor = ForkChoicePayloadExecutor.create(spec, recentChainData, block, executionEngine);
    final ForkChoiceUtil forkChoiceUtil = spec.atSlot(block.getSlot()).getForkChoiceUtil();
    final BlockImportResult preconditionCheckResult = forkChoiceUtil.checkOnBlockConditions(block, blockSlotState.get(), recentChainData.getStore());
    if (!preconditionCheckResult.isSuccessful()) {
        reportInvalidBlock(block, preconditionCheckResult);
        return SafeFuture.completedFuture(preconditionCheckResult);
    }
    final CapturingIndexedAttestationCache indexedAttestationCache = IndexedAttestationCache.capturing();
    final BeaconState postState;
    try {
        postState = spec.getBlockProcessor(block.getSlot()).processAndValidateBlock(block, blockSlotState.get(), indexedAttestationCache, payloadExecutor);
    } catch (final StateTransitionException e) {
        final BlockImportResult result = BlockImportResult.failedStateTransition(e);
        reportInvalidBlock(block, result);
        return SafeFuture.completedFuture(result);
    }
    return payloadExecutor.getExecutionResult().thenApplyAsync(payloadResult -> importBlockAndState(block, blockSlotState.get(), forkChoiceUtil, indexedAttestationCache, postState, payloadResult), forkChoiceExecutor);
}
Also used : ForkChoiceUtil(tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil) CapturingIndexedAttestationCache(tech.pegasys.teku.spec.cache.CapturingIndexedAttestationCache) BlockImportResult(tech.pegasys.teku.spec.logic.common.statetransition.results.BlockImportResult) BeaconState(tech.pegasys.teku.spec.datastructures.state.beaconstate.BeaconState) StateTransitionException(tech.pegasys.teku.spec.logic.common.statetransition.exceptions.StateTransitionException)

Example 3 with ForkChoiceUtil

use of tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil in project teku by ConsenSys.

the class SpecLogicBellatrix method create.

public static SpecLogicBellatrix create(final SpecConfigBellatrix config, final SchemaDefinitionsBellatrix schemaDefinitions) {
    // Helpers
    final Predicates predicates = new Predicates();
    final MiscHelpersBellatrix miscHelpers = new MiscHelpersBellatrix(config);
    final BeaconStateAccessorsBellatrix beaconStateAccessors = new BeaconStateAccessorsBellatrix(config, predicates, miscHelpers);
    final BeaconStateMutatorsBellatrix beaconStateMutators = new BeaconStateMutatorsBellatrix(config, miscHelpers, beaconStateAccessors);
    // Operation validaton
    final OperationSignatureVerifier operationSignatureVerifier = new OperationSignatureVerifier(miscHelpers, beaconStateAccessors);
    // Util
    final ValidatorsUtil validatorsUtil = new ValidatorsUtil(config, miscHelpers, beaconStateAccessors);
    final BeaconStateUtil beaconStateUtil = new BeaconStateUtil(config, schemaDefinitions, predicates, miscHelpers, beaconStateAccessors);
    final AttestationUtil attestationUtil = new AttestationUtil(schemaDefinitions, beaconStateAccessors, miscHelpers);
    final OperationValidator operationValidator = OperationValidator.create(config, predicates, miscHelpers, beaconStateAccessors, attestationUtil);
    final ValidatorStatusFactoryAltair validatorStatusFactory = new ValidatorStatusFactoryAltair(config, beaconStateUtil, attestationUtil, predicates, miscHelpers, beaconStateAccessors);
    final EpochProcessorBellatrix epochProcessor = new EpochProcessorBellatrix(config, miscHelpers, beaconStateAccessors, beaconStateMutators, validatorsUtil, beaconStateUtil, validatorStatusFactory, schemaDefinitions);
    final SyncCommitteeUtil syncCommitteeUtil = new SyncCommitteeUtil(beaconStateAccessors, validatorsUtil, config, miscHelpers, schemaDefinitions);
    final BlockProcessorBellatrix blockProcessor = new BlockProcessorBellatrix(config, predicates, miscHelpers, syncCommitteeUtil, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, beaconStateUtil, attestationUtil, validatorsUtil, operationValidator, schemaDefinitions);
    final ForkChoiceUtil forkChoiceUtil = new ForkChoiceUtil(config, beaconStateAccessors, attestationUtil, miscHelpers);
    final BlockProposalUtil blockProposalUtil = new BlockProposalUtil(schemaDefinitions, blockProcessor);
    // State upgrade
    final BellatrixStateUpgrade stateUpgrade = new BellatrixStateUpgrade(config, schemaDefinitions, beaconStateAccessors);
    final BellatrixTransitionHelpers bellatrixTransitionHelpers = new BellatrixTransitionHelpers(config, miscHelpers);
    return new SpecLogicBellatrix(config, predicates, miscHelpers, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, validatorsUtil, beaconStateUtil, attestationUtil, operationValidator, validatorStatusFactory, epochProcessor, blockProcessor, forkChoiceUtil, blockProposalUtil, syncCommitteeUtil, stateUpgrade, bellatrixTransitionHelpers);
}
Also used : ForkChoiceUtil(tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil) AttestationUtil(tech.pegasys.teku.spec.logic.common.util.AttestationUtil) SyncCommitteeUtil(tech.pegasys.teku.spec.logic.common.util.SyncCommitteeUtil) OperationSignatureVerifier(tech.pegasys.teku.spec.logic.common.operations.OperationSignatureVerifier) BlockProcessorBellatrix(tech.pegasys.teku.spec.logic.versions.bellatrix.block.BlockProcessorBellatrix) BeaconStateMutatorsBellatrix(tech.pegasys.teku.spec.logic.versions.bellatrix.helpers.BeaconStateMutatorsBellatrix) ValidatorsUtil(tech.pegasys.teku.spec.logic.common.util.ValidatorsUtil) BellatrixTransitionHelpers(tech.pegasys.teku.spec.logic.versions.bellatrix.helpers.BellatrixTransitionHelpers) OperationValidator(tech.pegasys.teku.spec.logic.common.operations.validation.OperationValidator) BellatrixStateUpgrade(tech.pegasys.teku.spec.logic.versions.bellatrix.forktransition.BellatrixStateUpgrade) BeaconStateUtil(tech.pegasys.teku.spec.logic.common.util.BeaconStateUtil) BeaconStateAccessorsBellatrix(tech.pegasys.teku.spec.logic.versions.bellatrix.helpers.BeaconStateAccessorsBellatrix) BlockProposalUtil(tech.pegasys.teku.spec.logic.common.util.BlockProposalUtil) EpochProcessorBellatrix(tech.pegasys.teku.spec.logic.versions.bellatrix.statetransition.epoch.EpochProcessorBellatrix) MiscHelpersBellatrix(tech.pegasys.teku.spec.logic.versions.bellatrix.helpers.MiscHelpersBellatrix) Predicates(tech.pegasys.teku.spec.logic.common.helpers.Predicates) ValidatorStatusFactoryAltair(tech.pegasys.teku.spec.logic.versions.altair.statetransition.epoch.ValidatorStatusFactoryAltair)

Example 4 with ForkChoiceUtil

use of tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil in project teku by ConsenSys.

the class SpecLogicAltair method create.

public static SpecLogicAltair create(final SpecConfigAltair config, final SchemaDefinitionsAltair schemaDefinitions) {
    // Helpers
    final Predicates predicates = new Predicates();
    final MiscHelpersAltair miscHelpers = new MiscHelpersAltair(config);
    final BeaconStateAccessorsAltair beaconStateAccessors = new BeaconStateAccessorsAltair(config, predicates, miscHelpers);
    final BeaconStateMutatorsAltair beaconStateMutators = new BeaconStateMutatorsAltair(config, miscHelpers, beaconStateAccessors);
    // Operation validaton
    final OperationSignatureVerifier operationSignatureVerifier = new OperationSignatureVerifier(miscHelpers, beaconStateAccessors);
    // Util
    final ValidatorsUtil validatorsUtil = new ValidatorsUtil(config, miscHelpers, beaconStateAccessors);
    final BeaconStateUtil beaconStateUtil = new BeaconStateUtil(config, schemaDefinitions, predicates, miscHelpers, beaconStateAccessors);
    final AttestationUtil attestationUtil = new AttestationUtil(schemaDefinitions, beaconStateAccessors, miscHelpers);
    final OperationValidator operationValidator = OperationValidator.create(config, predicates, miscHelpers, beaconStateAccessors, attestationUtil);
    final ValidatorStatusFactoryAltair validatorStatusFactory = new ValidatorStatusFactoryAltair(config, beaconStateUtil, attestationUtil, predicates, miscHelpers, beaconStateAccessors);
    final EpochProcessorAltair epochProcessor = new EpochProcessorAltair(config, miscHelpers, beaconStateAccessors, beaconStateMutators, validatorsUtil, beaconStateUtil, validatorStatusFactory, schemaDefinitions);
    final SyncCommitteeUtil syncCommitteeUtil = new SyncCommitteeUtil(beaconStateAccessors, validatorsUtil, config, miscHelpers, schemaDefinitions);
    final BlockProcessorAltair blockProcessor = new BlockProcessorAltair(config, predicates, miscHelpers, syncCommitteeUtil, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, beaconStateUtil, attestationUtil, validatorsUtil, operationValidator);
    final ForkChoiceUtil forkChoiceUtil = new ForkChoiceUtil(config, beaconStateAccessors, attestationUtil, miscHelpers);
    final BlockProposalUtil blockProposalUtil = new BlockProposalUtil(schemaDefinitions, blockProcessor);
    // State upgrade
    final AltairStateUpgrade stateUpgrade = new AltairStateUpgrade(config, schemaDefinitions, beaconStateAccessors, attestationUtil, miscHelpers);
    return new SpecLogicAltair(config, predicates, miscHelpers, beaconStateAccessors, beaconStateMutators, operationSignatureVerifier, validatorsUtil, beaconStateUtil, attestationUtil, operationValidator, validatorStatusFactory, epochProcessor, blockProcessor, forkChoiceUtil, blockProposalUtil, syncCommitteeUtil, stateUpgrade);
}
Also used : ForkChoiceUtil(tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil) AttestationUtil(tech.pegasys.teku.spec.logic.common.util.AttestationUtil) SyncCommitteeUtil(tech.pegasys.teku.spec.logic.common.util.SyncCommitteeUtil) OperationSignatureVerifier(tech.pegasys.teku.spec.logic.common.operations.OperationSignatureVerifier) ValidatorsUtil(tech.pegasys.teku.spec.logic.common.util.ValidatorsUtil) BlockProcessorAltair(tech.pegasys.teku.spec.logic.versions.altair.block.BlockProcessorAltair) MiscHelpersAltair(tech.pegasys.teku.spec.logic.versions.altair.helpers.MiscHelpersAltair) OperationValidator(tech.pegasys.teku.spec.logic.common.operations.validation.OperationValidator) EpochProcessorAltair(tech.pegasys.teku.spec.logic.versions.altair.statetransition.epoch.EpochProcessorAltair) BeaconStateUtil(tech.pegasys.teku.spec.logic.common.util.BeaconStateUtil) BeaconStateAccessorsAltair(tech.pegasys.teku.spec.logic.versions.altair.helpers.BeaconStateAccessorsAltair) BlockProposalUtil(tech.pegasys.teku.spec.logic.common.util.BlockProposalUtil) AltairStateUpgrade(tech.pegasys.teku.spec.logic.versions.altair.forktransition.AltairStateUpgrade) BeaconStateMutatorsAltair(tech.pegasys.teku.spec.logic.versions.altair.helpers.BeaconStateMutatorsAltair) Predicates(tech.pegasys.teku.spec.logic.common.helpers.Predicates) ValidatorStatusFactoryAltair(tech.pegasys.teku.spec.logic.versions.altair.statetransition.epoch.ValidatorStatusFactoryAltair)

Aggregations

ForkChoiceUtil (tech.pegasys.teku.spec.logic.common.util.ForkChoiceUtil)4 Predicates (tech.pegasys.teku.spec.logic.common.helpers.Predicates)3 OperationSignatureVerifier (tech.pegasys.teku.spec.logic.common.operations.OperationSignatureVerifier)3 OperationValidator (tech.pegasys.teku.spec.logic.common.operations.validation.OperationValidator)3 AttestationUtil (tech.pegasys.teku.spec.logic.common.util.AttestationUtil)3 BeaconStateUtil (tech.pegasys.teku.spec.logic.common.util.BeaconStateUtil)3 BlockProposalUtil (tech.pegasys.teku.spec.logic.common.util.BlockProposalUtil)3 ValidatorsUtil (tech.pegasys.teku.spec.logic.common.util.ValidatorsUtil)3 SyncCommitteeUtil (tech.pegasys.teku.spec.logic.common.util.SyncCommitteeUtil)2 ValidatorStatusFactoryAltair (tech.pegasys.teku.spec.logic.versions.altair.statetransition.epoch.ValidatorStatusFactoryAltair)2 CapturingIndexedAttestationCache (tech.pegasys.teku.spec.cache.CapturingIndexedAttestationCache)1 BeaconState (tech.pegasys.teku.spec.datastructures.state.beaconstate.BeaconState)1 BeaconStateAccessors (tech.pegasys.teku.spec.logic.common.helpers.BeaconStateAccessors)1 BeaconStateMutators (tech.pegasys.teku.spec.logic.common.helpers.BeaconStateMutators)1 MiscHelpers (tech.pegasys.teku.spec.logic.common.helpers.MiscHelpers)1 StateTransitionException (tech.pegasys.teku.spec.logic.common.statetransition.exceptions.StateTransitionException)1 BlockImportResult (tech.pegasys.teku.spec.logic.common.statetransition.results.BlockImportResult)1 BlockProcessorAltair (tech.pegasys.teku.spec.logic.versions.altair.block.BlockProcessorAltair)1 AltairStateUpgrade (tech.pegasys.teku.spec.logic.versions.altair.forktransition.AltairStateUpgrade)1 BeaconStateAccessorsAltair (tech.pegasys.teku.spec.logic.versions.altair.helpers.BeaconStateAccessorsAltair)1