From 62ebdacd0874a67a5451e567219866a96077c242 Mon Sep 17 00:00:00 2001 From: Michael Sproul Date: Fri, 19 Apr 2024 10:13:49 +1000 Subject: [PATCH] Keep indexed attestations, thanks Sean --- .../state_lru_cache.rs | 6 ++--- beacon_node/store/src/consensus_context.rs | 26 +++++++++++++------ .../state_processing/src/consensus_context.rs | 14 ++++++++++ 3 files changed, 35 insertions(+), 11 deletions(-) diff --git a/beacon_node/beacon_chain/src/data_availability_checker/state_lru_cache.rs b/beacon_node/beacon_chain/src/data_availability_checker/state_lru_cache.rs index 75993f5ab54..b6dbf2b952f 100644 --- a/beacon_node/beacon_chain/src/data_availability_checker/state_lru_cache.rs +++ b/beacon_node/beacon_chain/src/data_availability_checker/state_lru_cache.rs @@ -27,7 +27,7 @@ pub struct DietAvailabilityPendingExecutedBlock { parent_block: SignedBeaconBlock>, parent_eth1_finalization_data: Eth1FinalizationData, confirmed_state_roots: Vec, - consensus_context: OnDiskConsensusContext, + consensus_context: OnDiskConsensusContext, payload_verification_outcome: PayloadVerificationOutcome, } @@ -96,7 +96,7 @@ impl StateLRUCache { parent_eth1_finalization_data: executed_block.import_data.parent_eth1_finalization_data, confirmed_state_roots: executed_block.import_data.confirmed_state_roots, consensus_context: OnDiskConsensusContext::from_consensus_context( - &executed_block.import_data.consensus_context, + executed_block.import_data.consensus_context, ), payload_verification_outcome: executed_block.payload_verification_outcome, } @@ -240,7 +240,7 @@ impl From> parent_eth1_finalization_data: value.import_data.parent_eth1_finalization_data, confirmed_state_roots: value.import_data.confirmed_state_roots, consensus_context: OnDiskConsensusContext::from_consensus_context( - &value.import_data.consensus_context, + value.import_data.consensus_context, ), payload_verification_outcome: value.payload_verification_outcome, } diff --git a/beacon_node/store/src/consensus_context.rs b/beacon_node/store/src/consensus_context.rs index 0dd6635bd6e..08fad17b14b 100644 --- a/beacon_node/store/src/consensus_context.rs +++ b/beacon_node/store/src/consensus_context.rs @@ -1,6 +1,7 @@ use ssz_derive::{Decode, Encode}; use state_processing::ConsensusContext; -use types::{EthSpec, Hash256, Slot}; +use std::collections::HashMap; +use types::{AttestationData, BitList, EthSpec, Hash256, IndexedAttestation, Slot}; /// The consensus context is stored on disk as part of the data availability overflow cache. /// @@ -8,39 +9,48 @@ use types::{EthSpec, Hash256, Slot}; /// in-memory `ConsensusContext`. You MUST NOT change the fields of this struct without /// superstructing it and implementing a schema migration. #[derive(Debug, PartialEq, Clone, Encode, Decode)] -pub struct OnDiskConsensusContext { +pub struct OnDiskConsensusContext { /// Slot to act as an identifier/safeguard slot: Slot, /// Proposer index of the block at `slot`. proposer_index: Option, /// Block root of the block at `slot`. current_block_root: Option, + /// We keep the indexed attestations in the *in-memory* version of this struct so that we don't + /// need to regenerate them if roundtripping via this type *without* going to disk. + /// + /// They are not part of the on-disk format. + #[ssz(skip_serializing, skip_deserializing)] + indexed_attestations: + HashMap<(AttestationData, BitList), IndexedAttestation>, } -impl OnDiskConsensusContext { - pub fn from_consensus_context(ctxt: &ConsensusContext) -> Self { +impl OnDiskConsensusContext { + pub fn from_consensus_context(ctxt: ConsensusContext) -> Self { // Match exhaustively on fields here so we are forced to *consider* updating the on-disk // format when the `ConsensusContext` fields change. - let &ConsensusContext { + let ConsensusContext { slot, previous_epoch: _, current_epoch: _, proposer_index, current_block_root, - indexed_attestations: _, + indexed_attestations, } = ctxt; OnDiskConsensusContext { slot, proposer_index, current_block_root, + indexed_attestations, } } - pub fn into_consensus_context(self) -> ConsensusContext { + pub fn into_consensus_context(self) -> ConsensusContext { let OnDiskConsensusContext { slot, proposer_index, current_block_root, + indexed_attestations, } = self; let mut ctxt = ConsensusContext::new(slot); @@ -51,6 +61,6 @@ impl OnDiskConsensusContext { if let Some(block_root) = current_block_root { ctxt = ctxt.set_current_block_root(block_root); } - ctxt + ctxt.set_indexed_attestations(indexed_attestations) } } diff --git a/consensus/state_processing/src/consensus_context.rs b/consensus/state_processing/src/consensus_context.rs index 68659e367f0..073d87be85b 100644 --- a/consensus/state_processing/src/consensus_context.rs +++ b/consensus/state_processing/src/consensus_context.rs @@ -59,6 +59,7 @@ impl ConsensusContext { } } + #[must_use] pub fn set_proposer_index(mut self, proposer_index: u64) -> Self { self.proposer_index = Some(proposer_index); self @@ -106,6 +107,7 @@ impl ConsensusContext { Ok(proposer_index) } + #[must_use] pub fn set_current_block_root(mut self, block_root: Hash256) -> Self { self.current_block_root = Some(block_root); self @@ -171,4 +173,16 @@ impl ConsensusContext { pub fn num_cached_indexed_attestations(&self) -> usize { self.indexed_attestations.len() } + + #[must_use] + pub fn set_indexed_attestations( + mut self, + attestations: HashMap< + (AttestationData, BitList), + IndexedAttestation, + >, + ) -> Self { + self.indexed_attestations = attestations; + self + } }