Revert merge changes to consensus/fork_choice

This commit is contained in:
Paul Hauner
2021-09-28 14:35:01 +10:00
parent 137a9fd3a7
commit 8080c78a2a
5 changed files with 6 additions and 47 deletions

View File

@@ -2390,7 +2390,7 @@ impl<T: BeaconChainTypes> BeaconChain<T> {
let _fork_choice_block_timer = let _fork_choice_block_timer =
metrics::start_timer(&metrics::FORK_CHOICE_PROCESS_BLOCK_TIMES); metrics::start_timer(&metrics::FORK_CHOICE_PROCESS_BLOCK_TIMES);
fork_choice fork_choice
.on_block(current_slot, &block, block_root, &state, &self.spec) .on_block(current_slot, &block, block_root, &state)
.map_err(|e| BlockError::BeaconChainError(e.into()))?; .map_err(|e| BlockError::BeaconChainError(e.into()))?;
} }

View File

@@ -166,7 +166,7 @@ pub fn reset_fork_choice_to_finalization<E: EthSpec, Hot: ItemStore<E>, Cold: It
let (block, _) = block.deconstruct(); let (block, _) = block.deconstruct();
fork_choice fork_choice
.on_block(block.slot(), &block, block.canonical_root(), &state, spec) .on_block(block.slot(), &block, block.canonical_root(), &state)
.map_err(|e| format!("Error applying replayed block to fork choice: {:?}", e))?; .map_err(|e| format!("Error applying replayed block to fork choice: {:?}", e))?;
} }

View File

@@ -8,7 +8,6 @@ edition = "2018"
[dependencies] [dependencies]
types = { path = "../types" } types = { path = "../types" }
state_processing = { path = "../state_processing" }
proto_array = { path = "../proto_array" } proto_array = { path = "../proto_array" }
eth2_ssz = "0.4.0" eth2_ssz = "0.4.0"
eth2_ssz_derive = "0.3.0" eth2_ssz_derive = "0.3.0"

View File

@@ -2,11 +2,9 @@ use std::marker::PhantomData;
use proto_array::{Block as ProtoBlock, ProtoArrayForkChoice}; use proto_array::{Block as ProtoBlock, ProtoArrayForkChoice};
use ssz_derive::{Decode, Encode}; use ssz_derive::{Decode, Encode};
use state_processing::per_block_processing::is_merge_block;
use types::{ use types::{
AttestationShufflingId, BeaconBlock, BeaconState, BeaconStateError, ChainSpec, Checkpoint, AttestationShufflingId, BeaconBlock, BeaconState, BeaconStateError, Checkpoint, Epoch, EthSpec,
Epoch, EthSpec, Hash256, IndexedAttestation, PowBlock, RelativeEpoch, SignedBeaconBlock, Slot, Hash256, IndexedAttestation, RelativeEpoch, SignedBeaconBlock, Slot,
Uint256,
}; };
use crate::ForkChoiceStore; use crate::ForkChoiceStore;
@@ -68,10 +66,6 @@ pub enum InvalidBlock {
finalized_root: Hash256, finalized_root: Hash256,
block_ancestor: Option<Hash256>, block_ancestor: Option<Hash256>,
}, },
InvalidTerminalPowBlock {
block_total_difficulty: Uint256,
parent_total_difficulty: Uint256,
},
} }
#[derive(Debug)] #[derive(Debug)]
@@ -243,14 +237,6 @@ where
} }
} }
/// https://github.com/ethereum/consensus-specs/blob/dev/specs/merge/fork-choice.md#is_valid_terminal_pow_block
fn is_valid_terminal_pow_block(block: &PowBlock, parent: &PowBlock, spec: &ChainSpec) -> bool {
let is_total_difficulty_reached = block.total_difficulty >= spec.terminal_total_difficulty;
let is_parent_total_difficulty_valid = parent.total_difficulty < spec.terminal_total_difficulty;
is_total_difficulty_reached && is_parent_total_difficulty_valid
}
impl<T, E> ForkChoice<T, E> impl<T, E> ForkChoice<T, E>
where where
T: ForkChoiceStore<E>, T: ForkChoiceStore<E>,
@@ -464,7 +450,6 @@ where
block: &BeaconBlock<E>, block: &BeaconBlock<E>,
block_root: Hash256, block_root: Hash256,
state: &BeaconState<E>, state: &BeaconState<E>,
spec: &ChainSpec,
) -> Result<(), Error<T::Error>> { ) -> Result<(), Error<T::Error>> {
let current_slot = self.update_time(current_slot)?; let current_slot = self.update_time(current_slot)?;
@@ -515,19 +500,6 @@ where
})); }));
} }
// https://github.com/ethereum/consensus-specs/blob/dev/specs/merge/fork-choice.md#on_block
if is_merge_block(state, block.body()) {
// TODO: get POW blocks from eth1 chain here as indicated in the merge spec link ^
let pow_block = PowBlock::default();
let pow_parent = PowBlock::default();
if !is_valid_terminal_pow_block(&pow_block, &pow_parent, spec) {
return Err(Error::InvalidBlock(InvalidBlock::InvalidTerminalPowBlock {
block_total_difficulty: pow_block.total_difficulty,
parent_total_difficulty: pow_parent.total_difficulty,
}));
}
}
// Update justified checkpoint. // Update justified checkpoint.
if state.current_justified_checkpoint().epoch > self.fc_store.justified_checkpoint().epoch { if state.current_justified_checkpoint().epoch > self.fc_store.justified_checkpoint().epoch {
if state.current_justified_checkpoint().epoch if state.current_justified_checkpoint().epoch

View File

@@ -273,13 +273,7 @@ impl ForkChoiceTest {
.chain .chain
.fork_choice .fork_choice
.write() .write()
.on_block( .on_block(current_slot, &block, block.canonical_root(), &state)
current_slot,
&block,
block.canonical_root(),
&state,
&self.harness.chain.spec,
)
.unwrap(); .unwrap();
self self
} }
@@ -314,13 +308,7 @@ impl ForkChoiceTest {
.chain .chain
.fork_choice .fork_choice
.write() .write()
.on_block( .on_block(current_slot, &block, block.canonical_root(), &state)
current_slot,
&block,
block.canonical_root(),
&state,
&self.harness.chain.spec,
)
.err() .err()
.expect("on_block did not return an error"); .expect("on_block did not return an error");
comparison_func(err); comparison_func(err);