// This file is part of Substrate. // Copyright (C) 2019-2021 Parity Technologies (UK) Ltd. // SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0 // This program is free software: you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation, either version 3 of the License, or // (at your option) any later version. // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // You should have received a copy of the GNU General Public License // along with this program. If not, see . //! # BABE (Blind Assignment for Blockchain Extension) //! //! BABE is a slot-based block production mechanism which uses a VRF PRNG to //! randomly perform the slot allocation. On every slot, all the authorities //! generate a new random number with the VRF function and if it is lower than a //! given threshold (which is proportional to their weight/stake) they have a //! right to produce a block. The proof of the VRF function execution will be //! used by other peer to validate the legitimacy of the slot claim. //! //! The engine is also responsible for collecting entropy on-chain which will be //! used to seed the given VRF PRNG. An epoch is a contiguous number of slots //! under which we will be using the same authority set. During an epoch all VRF //! outputs produced as a result of block production will be collected on an //! on-chain randomness pool. Epoch changes are announced one epoch in advance, //! i.e. when ending epoch N, we announce the parameters (randomness, //! authorities, etc.) for epoch N+2. //! //! Since the slot assignment is randomized, it is possible that a slot is //! assigned to multiple validators in which case we will have a temporary fork, //! or that a slot is assigned to no validator in which case no block is //! produced. Which means that block times are not deterministic. //! //! The protocol has a parameter `c` [0, 1] for which `1 - c` is the probability //! of a slot being empty. The choice of this parameter affects the security of //! the protocol relating to maximum tolerable network delays. //! //! In addition to the VRF-based slot assignment described above, which we will //! call primary slots, the engine also supports a deterministic secondary slot //! assignment. Primary slots take precedence over secondary slots, when //! authoring the node starts by trying to claim a primary slot and falls back //! to a secondary slot claim attempt. The secondary slot assignment is done //! by picking the authority at index: //! //! `blake2_256(epoch_randomness ++ slot_number) % authorities_len`. //! //! The secondary slots supports either a `SecondaryPlain` or `SecondaryVRF` //! variant. Comparing with `SecondaryPlain` variant, the `SecondaryVRF` variant //! generates an additional VRF output. The output is not included in beacon //! randomness, but can be consumed by parachains. //! //! The fork choice rule is weight-based, where weight equals the number of //! primary blocks in the chain. We will pick the heaviest chain (more primary //! blocks) and will go with the longest one in case of a tie. //! //! An in-depth description and analysis of the protocol can be found here: //! #![forbid(unsafe_code)] #![warn(missing_docs)] use std::{ borrow::Cow, collections::HashMap, convert::TryInto, pin::Pin, sync::Arc, time::Duration, u64, }; use codec::{Decode, Encode}; use futures::{ channel::{ mpsc::{channel, Receiver, Sender}, oneshot, }, prelude::*, }; use log::{debug, info, log, trace, warn}; use parking_lot::Mutex; use prometheus_endpoint::Registry; use retain_mut::RetainMut; use schnorrkel::SignatureError; use sc_client_api::{backend::AuxStore, BlockchainEvents, ProvideUncles, UsageProvider}; use sc_consensus::{ block_import::{ BlockCheckParams, BlockImport, BlockImportParams, ForkChoiceStrategy, ImportResult, StateAction, }, import_queue::{BasicQueue, BoxJustificationImport, DefaultImportQueue, Verifier}, }; use sc_consensus_epochs::{ descendent_query, Epoch as EpochT, EpochChangesFor, SharedEpochChanges, ViableEpochDescriptor, }; use sc_consensus_slots::{ check_equivocation, BackoffAuthoringBlocksStrategy, CheckedHeader, InherentDataProviderExt, SlotInfo, StorageChanges, }; use sc_telemetry::{telemetry, TelemetryHandle, CONSENSUS_DEBUG, CONSENSUS_TRACE}; use sp_api::{ApiExt, NumberFor, ProvideRuntimeApi}; use sp_application_crypto::AppKey; use sp_block_builder::BlockBuilder as BlockBuilderApi; use sp_blockchain::{ Error as ClientError, HeaderBackend, HeaderMetadata, ProvideCache, Result as ClientResult, }; use sp_consensus::{ BlockOrigin, CacheKeyId, CanAuthorWith, Environment, Error as ConsensusError, Proposer, SelectChain, SlotData, }; use sp_consensus_babe::inherents::BabeInherentData; use sp_consensus_slots::Slot; use sp_core::{crypto::Public, ExecutionContext}; use sp_inherents::{CreateInherentDataProviders, InherentData, InherentDataProvider}; use sp_keystore::{SyncCryptoStore, SyncCryptoStorePtr}; use sp_runtime::{ generic::{BlockId, OpaqueDigestItemId}, traits::{Block as BlockT, DigestItemFor, Header, Zero}, }; pub use sc_consensus_slots::SlotProportion; pub use sp_consensus::SyncOracle; pub use sp_consensus_babe::{ digests::{ CompatibleDigestItem, NextConfigDescriptor, NextEpochDescriptor, PreDigest, PrimaryPreDigest, SecondaryPlainPreDigest, }, AuthorityId, AuthorityPair, AuthoritySignature, BabeApi, BabeAuthorityWeight, BabeBlockWeight, BabeEpochConfiguration, BabeGenesisConfiguration, ConsensusLog, BABE_ENGINE_ID, VRF_OUTPUT_LENGTH, }; pub use aux_schema::load_block_weight as block_weight; mod migration; mod verification; pub mod authorship; pub mod aux_schema; #[cfg(test)] mod tests; /// BABE epoch information #[derive(Decode, Encode, PartialEq, Eq, Clone, Debug)] pub struct Epoch { /// The epoch index. pub epoch_index: u64, /// The starting slot of the epoch. pub start_slot: Slot, /// The duration of this epoch. pub duration: u64, /// The authorities and their weights. pub authorities: Vec<(AuthorityId, BabeAuthorityWeight)>, /// Randomness for this epoch. pub randomness: [u8; VRF_OUTPUT_LENGTH], /// Configuration of the epoch. pub config: BabeEpochConfiguration, } impl EpochT for Epoch { type NextEpochDescriptor = (NextEpochDescriptor, BabeEpochConfiguration); type Slot = Slot; fn increment( &self, (descriptor, config): (NextEpochDescriptor, BabeEpochConfiguration), ) -> Epoch { Epoch { epoch_index: self.epoch_index + 1, start_slot: self.start_slot + self.duration, duration: self.duration, authorities: descriptor.authorities, randomness: descriptor.randomness, config, } } fn start_slot(&self) -> Slot { self.start_slot } fn end_slot(&self) -> Slot { self.start_slot + self.duration } } impl From for Epoch { fn from(epoch: sp_consensus_babe::Epoch) -> Self { Epoch { epoch_index: epoch.epoch_index, start_slot: epoch.start_slot, duration: epoch.duration, authorities: epoch.authorities, randomness: epoch.randomness, config: epoch.config, } } } impl Epoch { /// Create the genesis epoch (epoch #0). This is defined to start at the slot of /// the first block, so that has to be provided. pub fn genesis(genesis_config: &BabeGenesisConfiguration, slot: Slot) -> Epoch { Epoch { epoch_index: 0, start_slot: slot, duration: genesis_config.epoch_length, authorities: genesis_config.genesis_authorities.clone(), randomness: genesis_config.randomness, config: BabeEpochConfiguration { c: genesis_config.c, allowed_slots: genesis_config.allowed_slots, }, } } } /// Errors encountered by the babe authorship task. #[derive(derive_more::Display, Debug)] pub enum Error { /// Multiple BABE pre-runtime digests #[display(fmt = "Multiple BABE pre-runtime digests, rejecting!")] MultiplePreRuntimeDigests, /// No BABE pre-runtime digest found #[display(fmt = "No BABE pre-runtime digest found")] NoPreRuntimeDigest, /// Multiple BABE epoch change digests #[display(fmt = "Multiple BABE epoch change digests, rejecting!")] MultipleEpochChangeDigests, /// Multiple BABE config change digests #[display(fmt = "Multiple BABE config change digests, rejecting!")] MultipleConfigChangeDigests, /// Could not extract timestamp and slot #[display(fmt = "Could not extract timestamp and slot: {:?}", _0)] Extraction(sp_consensus::Error), /// Could not fetch epoch #[display(fmt = "Could not fetch epoch at {:?}", _0)] FetchEpoch(B::Hash), /// Header rejected: too far in the future #[display(fmt = "Header {:?} rejected: too far in the future", _0)] TooFarInFuture(B::Hash), /// Parent unavailable. Cannot import #[display(fmt = "Parent ({}) of {} unavailable. Cannot import", _0, _1)] ParentUnavailable(B::Hash, B::Hash), /// Slot number must increase #[display(fmt = "Slot number must increase: parent slot: {}, this slot: {}", _0, _1)] SlotMustIncrease(Slot, Slot), /// Header has a bad seal #[display(fmt = "Header {:?} has a bad seal", _0)] HeaderBadSeal(B::Hash), /// Header is unsealed #[display(fmt = "Header {:?} is unsealed", _0)] HeaderUnsealed(B::Hash), /// Slot author not found #[display(fmt = "Slot author not found")] SlotAuthorNotFound, /// Secondary slot assignments are disabled for the current epoch. #[display(fmt = "Secondary slot assignments are disabled for the current epoch.")] SecondarySlotAssignmentsDisabled, /// Bad signature #[display(fmt = "Bad signature on {:?}", _0)] BadSignature(B::Hash), /// Invalid author: Expected secondary author #[display(fmt = "Invalid author: Expected secondary author: {:?}, got: {:?}.", _0, _1)] InvalidAuthor(AuthorityId, AuthorityId), /// No secondary author expected. #[display(fmt = "No secondary author expected.")] NoSecondaryAuthorExpected, /// VRF verification of block by author failed #[display( fmt = "VRF verification of block by author {:?} failed: threshold {} exceeded", _0, _1 )] VRFVerificationOfBlockFailed(AuthorityId, u128), /// VRF verification failed #[display(fmt = "VRF verification failed: {:?}", _0)] VRFVerificationFailed(SignatureError), /// Could not fetch parent header #[display(fmt = "Could not fetch parent header: {:?}", _0)] FetchParentHeader(sp_blockchain::Error), /// Expected epoch change to happen. #[display(fmt = "Expected epoch change to happen at {:?}, s{}", _0, _1)] ExpectedEpochChange(B::Hash, Slot), /// Unexpected config change. #[display(fmt = "Unexpected config change")] UnexpectedConfigChange, /// Unexpected epoch change #[display(fmt = "Unexpected epoch change")] UnexpectedEpochChange, /// Parent block has no associated weight #[display(fmt = "Parent block of {} has no associated weight", _0)] ParentBlockNoAssociatedWeight(B::Hash), /// Check inherents error #[display(fmt = "Checking inherents failed: {}", _0)] CheckInherents(sp_inherents::Error), /// Unhandled check inherents error #[display(fmt = "Checking inherents unhandled error: {}", "String::from_utf8_lossy(_0)")] CheckInherentsUnhandled(sp_inherents::InherentIdentifier), /// Create inherents error. #[display(fmt = "Creating inherents failed: {}", _0)] CreateInherents(sp_inherents::Error), /// Client error Client(sp_blockchain::Error), /// Runtime Api error. RuntimeApi(sp_api::ApiError), /// Fork tree error ForkTree(Box>), } impl std::convert::From> for String { fn from(error: Error) -> String { error.to_string() } } fn babe_err(error: Error) -> Error { debug!(target: "babe", "{}", error); error } /// Intermediate value passed to block importer. pub struct BabeIntermediate { /// The epoch descriptor. pub epoch_descriptor: ViableEpochDescriptor, Epoch>, } /// Intermediate key for Babe engine. pub static INTERMEDIATE_KEY: &[u8] = b"babe1"; /// A slot duration. Create with `get_or_compute`. // FIXME: Once Rust has higher-kinded types, the duplication between this // and `super::babe::Config` can be eliminated. // https://github.com/paritytech/substrate/issues/2434 #[derive(Clone)] pub struct Config(sc_consensus_slots::SlotDuration); impl Config { /// Either fetch the slot duration from disk or compute it from the genesis /// state. pub fn get_or_compute(client: &C) -> ClientResult where C: AuxStore + ProvideRuntimeApi + UsageProvider, C::Api: BabeApi, { trace!(target: "babe", "Getting slot duration"); match sc_consensus_slots::SlotDuration::get_or_compute(client, |a, b| { let has_api_v1 = a.has_api_with::, _>(&b, |v| v == 1)?; let has_api_v2 = a.has_api_with::, _>(&b, |v| v == 2)?; if has_api_v1 { #[allow(deprecated)] { Ok(a.configuration_before_version_2(b)?.into()) } } else if has_api_v2 { a.configuration(b).map_err(Into::into) } else { Err(sp_blockchain::Error::VersionInvalid( "Unsupported or invalid BabeApi version".to_string(), )) } }) .map(Self) { Ok(s) => Ok(s), Err(s) => { warn!(target: "babe", "Failed to get slot duration"); Err(s) }, } } /// Get the inner slot duration pub fn slot_duration(&self) -> Duration { self.0.slot_duration() } } impl std::ops::Deref for Config { type Target = BabeGenesisConfiguration; fn deref(&self) -> &BabeGenesisConfiguration { &*self.0 } } /// Parameters for BABE. pub struct BabeParams { /// The keystore that manages the keys of the node. pub keystore: SyncCryptoStorePtr, /// The client to use pub client: Arc, /// The SelectChain Strategy pub select_chain: SC, /// The environment we are producing blocks for. pub env: E, /// The underlying block-import object to supply our produced blocks to. /// This must be a `BabeBlockImport` or a wrapper of it, otherwise /// critical consensus logic will be omitted. pub block_import: I, /// A sync oracle pub sync_oracle: SO, /// Hook into the sync module to control the justification sync process. pub justification_sync_link: L, /// Something that can create the inherent data providers. pub create_inherent_data_providers: CIDP, /// Force authoring of blocks even if we are offline pub force_authoring: bool, /// Strategy and parameters for backing off block production. pub backoff_authoring_blocks: Option, /// The source of timestamps for relative slots pub babe_link: BabeLink, /// Checks if the current native implementation can author with a runtime at a given block. pub can_author_with: CAW, /// The proportion of the slot dedicated to proposing. /// /// The block proposing will be limited to this proportion of the slot from the starting of the /// slot. However, the proposing can still take longer when there is some lenience factor /// applied, because there were no blocks produced for some slots. pub block_proposal_slot_portion: SlotProportion, /// The maximum proportion of the slot dedicated to proposing with any lenience factor applied /// due to no blocks being produced. pub max_block_proposal_slot_portion: Option, /// Handle use to report telemetries. pub telemetry: Option, } /// Start the babe worker. pub fn start_babe( BabeParams { keystore, client, select_chain, env, block_import, sync_oracle, justification_sync_link, create_inherent_data_providers, force_authoring, backoff_authoring_blocks, babe_link, can_author_with, block_proposal_slot_portion, max_block_proposal_slot_portion, telemetry, }: BabeParams, ) -> Result, sp_consensus::Error> where B: BlockT, C: ProvideRuntimeApi + ProvideCache + ProvideUncles + BlockchainEvents + HeaderBackend + HeaderMetadata + Send + Sync + 'static, C::Api: BabeApi, SC: SelectChain + 'static, E: Environment + Send + Sync + 'static, E::Proposer: Proposer>, I: BlockImport> + Send + Sync + 'static, SO: SyncOracle + Send + Sync + Clone + 'static, L: sc_consensus::JustificationSyncLink + 'static, CIDP: CreateInherentDataProviders + Send + Sync + 'static, CIDP::InherentDataProviders: InherentDataProviderExt + Send, BS: BackoffAuthoringBlocksStrategy> + Send + Sync + 'static, CAW: CanAuthorWith + Send + Sync + 'static, Error: std::error::Error + Send + From + From + 'static, { const HANDLE_BUFFER_SIZE: usize = 1024; let config = babe_link.config; let slot_notification_sinks = Arc::new(Mutex::new(Vec::new())); let worker = BabeSlotWorker { client: client.clone(), block_import, env, sync_oracle: sync_oracle.clone(), justification_sync_link, force_authoring, backoff_authoring_blocks, keystore, epoch_changes: babe_link.epoch_changes.clone(), slot_notification_sinks: slot_notification_sinks.clone(), config: config.clone(), block_proposal_slot_portion, max_block_proposal_slot_portion, telemetry, }; info!(target: "babe", "👶 Starting BABE Authorship worker"); let inner = sc_consensus_slots::start_slot_worker( config.0.clone(), select_chain, worker, sync_oracle, create_inherent_data_providers, can_author_with, ); let (worker_tx, worker_rx) = channel(HANDLE_BUFFER_SIZE); let answer_requests = answer_requests(worker_rx, config.0, client, babe_link.epoch_changes.clone()); Ok(BabeWorker { inner: Box::pin(future::join(inner, answer_requests).map(|_| ())), slot_notification_sinks, handle: BabeWorkerHandle(worker_tx), }) } async fn answer_requests( mut request_rx: Receiver>, genesis_config: sc_consensus_slots::SlotDuration, client: Arc, epoch_changes: SharedEpochChanges, ) where C: ProvideRuntimeApi + ProvideCache + ProvideUncles + BlockchainEvents + HeaderBackend + HeaderMetadata + Send + Sync + 'static, { while let Some(request) = request_rx.next().await { match request { BabeRequest::EpochForChild(parent_hash, parent_number, slot_number, response) => { let lookup = || { let epoch_changes = epoch_changes.shared_data(); let epoch_descriptor = epoch_changes .epoch_descriptor_for_child_of( descendent_query(&*client), &parent_hash, parent_number, slot_number, ) .map_err(|e| Error::::ForkTree(Box::new(e)))? .ok_or_else(|| Error::::FetchEpoch(parent_hash))?; let viable_epoch = epoch_changes .viable_epoch(&epoch_descriptor, |slot| { Epoch::genesis(&genesis_config, slot) }) .ok_or_else(|| Error::::FetchEpoch(parent_hash))?; Ok(sp_consensus_babe::Epoch { epoch_index: viable_epoch.as_ref().epoch_index, start_slot: viable_epoch.as_ref().start_slot, duration: viable_epoch.as_ref().duration, authorities: viable_epoch.as_ref().authorities.clone(), randomness: viable_epoch.as_ref().randomness, config: viable_epoch.as_ref().config.clone(), }) }; let _ = response.send(lookup()); }, } } } /// Requests to the BABE service. #[non_exhaustive] pub enum BabeRequest { /// Request the epoch that a child of the given block, with the given slot number would have. /// /// The parent block is identified by its hash and number. EpochForChild( B::Hash, NumberFor, Slot, oneshot::Sender>>, ), } /// A handle to the BABE worker for issuing requests. #[derive(Clone)] pub struct BabeWorkerHandle(Sender>); impl BabeWorkerHandle { /// Send a request to the BABE service. pub async fn send(&mut self, request: BabeRequest) { // Failure to send means that the service is down. // This will manifest as the receiver of the request being dropped. let _ = self.0.send(request).await; } } /// Worker for Babe which implements `Future`. This must be polled. #[must_use] pub struct BabeWorker { inner: Pin + Send + 'static>>, slot_notification_sinks: SlotNotificationSinks, handle: BabeWorkerHandle, } impl BabeWorker { /// Return an event stream of notifications for when new slot happens, and the corresponding /// epoch descriptor. pub fn slot_notification_stream( &self, ) -> Receiver<(Slot, ViableEpochDescriptor, Epoch>)> { const CHANNEL_BUFFER_SIZE: usize = 1024; let (sink, stream) = channel(CHANNEL_BUFFER_SIZE); self.slot_notification_sinks.lock().push(sink); stream } /// Get a handle to the worker. pub fn handle(&self) -> BabeWorkerHandle { self.handle.clone() } } impl futures::Future for BabeWorker { type Output = (); fn poll( mut self: Pin<&mut Self>, cx: &mut futures::task::Context, ) -> futures::task::Poll { self.inner.as_mut().poll(cx) } } /// Slot notification sinks. type SlotNotificationSinks = Arc< Mutex::Hash, NumberFor, Epoch>)>>>, >; struct BabeSlotWorker { client: Arc, block_import: I, env: E, sync_oracle: SO, justification_sync_link: L, force_authoring: bool, backoff_authoring_blocks: Option, keystore: SyncCryptoStorePtr, epoch_changes: SharedEpochChanges, slot_notification_sinks: SlotNotificationSinks, config: Config, block_proposal_slot_portion: SlotProportion, max_block_proposal_slot_portion: Option, telemetry: Option, } #[async_trait::async_trait] impl sc_consensus_slots::SimpleSlotWorker for BabeSlotWorker where B: BlockT, C: ProvideRuntimeApi + ProvideCache + HeaderBackend + HeaderMetadata, C::Api: BabeApi, E: Environment + Sync, E::Proposer: Proposer>, I: BlockImport> + Send + Sync + 'static, SO: SyncOracle + Send + Clone + Sync, L: sc_consensus::JustificationSyncLink, BS: BackoffAuthoringBlocksStrategy> + Sync, Error: std::error::Error + Send + From + From + 'static, { type EpochData = ViableEpochDescriptor, Epoch>; type Claim = (PreDigest, AuthorityId); type SyncOracle = SO; type JustificationSyncLink = L; type CreateProposer = Pin> + Send + 'static>>; type Proposer = E::Proposer; type BlockImport = I; fn logging_target(&self) -> &'static str { "babe" } fn block_import(&mut self) -> &mut Self::BlockImport { &mut self.block_import } fn epoch_data( &self, parent: &B::Header, slot: Slot, ) -> Result { self.epoch_changes .shared_data() .epoch_descriptor_for_child_of( descendent_query(&*self.client), &parent.hash(), parent.number().clone(), slot, ) .map_err(|e| ConsensusError::ChainLookup(format!("{:?}", e)))? .ok_or(sp_consensus::Error::InvalidAuthoritiesSet) } fn authorities_len(&self, epoch_descriptor: &Self::EpochData) -> Option { self.epoch_changes .shared_data() .viable_epoch(&epoch_descriptor, |slot| Epoch::genesis(&self.config, slot)) .map(|epoch| epoch.as_ref().authorities.len()) } async fn claim_slot( &self, _parent_header: &B::Header, slot: Slot, epoch_descriptor: &ViableEpochDescriptor, Epoch>, ) -> Option { debug!(target: "babe", "Attempting to claim slot {}", slot); let s = authorship::claim_slot( slot, self.epoch_changes .shared_data() .viable_epoch(&epoch_descriptor, |slot| Epoch::genesis(&self.config, slot))? .as_ref(), &self.keystore, ); if s.is_some() { debug!(target: "babe", "Claimed slot {}", slot); } s } fn notify_slot( &self, _parent_header: &B::Header, slot: Slot, epoch_descriptor: &ViableEpochDescriptor, Epoch>, ) { self.slot_notification_sinks.lock().retain_mut(|sink| { match sink.try_send((slot, epoch_descriptor.clone())) { Ok(()) => true, Err(e) => if e.is_full() { warn!(target: "babe", "Trying to notify a slot but the channel is full"); true } else { false }, } }); } fn pre_digest_data( &self, _slot: Slot, claim: &Self::Claim, ) -> Vec> { vec![ as CompatibleDigestItem>::babe_pre_digest(claim.0.clone())] } fn block_import_params( &self, ) -> Box< dyn Fn( B::Header, &B::Hash, Vec, StorageChanges, Self::Claim, Self::EpochData, ) -> Result, sp_consensus::Error> + Send + 'static, > { let keystore = self.keystore.clone(); Box::new( move |header, header_hash, body, storage_changes, (_, public), epoch_descriptor| { // sign the pre-sealed hash of the block and then // add it to a digest item. let public_type_pair = public.clone().into(); let public = public.to_raw_vec(); let signature = SyncCryptoStore::sign_with( &*keystore, ::ID, &public_type_pair, header_hash.as_ref(), ) .map_err(|e| sp_consensus::Error::CannotSign(public.clone(), e.to_string()))? .ok_or_else(|| { sp_consensus::Error::CannotSign( public.clone(), "Could not find key in keystore.".into(), ) })?; let signature: AuthoritySignature = signature .clone() .try_into() .map_err(|_| sp_consensus::Error::InvalidSignature(signature, public))?; let digest_item = as CompatibleDigestItem>::babe_seal(signature.into()); let mut import_block = BlockImportParams::new(BlockOrigin::Own, header); import_block.post_digests.push(digest_item); import_block.body = Some(body); import_block.state_action = StateAction::ApplyChanges( sc_consensus::StorageChanges::Changes(storage_changes), ); import_block.intermediates.insert( Cow::from(INTERMEDIATE_KEY), Box::new(BabeIntermediate:: { epoch_descriptor }) as Box<_>, ); Ok(import_block) }, ) } fn force_authoring(&self) -> bool { self.force_authoring } fn should_backoff(&self, slot: Slot, chain_head: &B::Header) -> bool { if let Some(ref strategy) = self.backoff_authoring_blocks { if let Ok(chain_head_slot) = find_pre_digest::(chain_head).map(|digest| digest.slot()) { return strategy.should_backoff( *chain_head.number(), chain_head_slot, self.client.info().finalized_number, slot, self.logging_target(), ) } } false } fn sync_oracle(&mut self) -> &mut Self::SyncOracle { &mut self.sync_oracle } fn justification_sync_link(&mut self) -> &mut Self::JustificationSyncLink { &mut self.justification_sync_link } fn proposer(&mut self, block: &B::Header) -> Self::CreateProposer { Box::pin( self.env .init(block) .map_err(|e| sp_consensus::Error::ClientImport(format!("{:?}", e))), ) } fn telemetry(&self) -> Option { self.telemetry.clone() } fn proposing_remaining_duration(&self, slot_info: &SlotInfo) -> std::time::Duration { let parent_slot = find_pre_digest::(&slot_info.chain_head).ok().map(|d| d.slot()); sc_consensus_slots::proposing_remaining_duration( parent_slot, slot_info, &self.block_proposal_slot_portion, self.max_block_proposal_slot_portion.as_ref(), sc_consensus_slots::SlotLenienceType::Exponential, self.logging_target(), ) } } /// Extract the BABE pre digest from the given header. Pre-runtime digests are /// mandatory, the function will return `Err` if none is found. pub fn find_pre_digest(header: &B::Header) -> Result> { // genesis block doesn't contain a pre digest so let's generate a // dummy one to not break any invariants in the rest of the code if header.number().is_zero() { return Ok(PreDigest::SecondaryPlain(SecondaryPlainPreDigest { slot: 0.into(), authority_index: 0, })) } let mut pre_digest: Option<_> = None; for log in header.digest().logs() { trace!(target: "babe", "Checking log {:?}, looking for pre runtime digest", log); match (log.as_babe_pre_digest(), pre_digest.is_some()) { (Some(_), true) => return Err(babe_err(Error::MultiplePreRuntimeDigests)), (None, _) => trace!(target: "babe", "Ignoring digest not meant for us"), (s, false) => pre_digest = s, } } pre_digest.ok_or_else(|| babe_err(Error::NoPreRuntimeDigest)) } /// Extract the BABE epoch change digest from the given header, if it exists. fn find_next_epoch_digest( header: &B::Header, ) -> Result, Error> where DigestItemFor: CompatibleDigestItem, { let mut epoch_digest: Option<_> = None; for log in header.digest().logs() { trace!(target: "babe", "Checking log {:?}, looking for epoch change digest.", log); let log = log.try_to::(OpaqueDigestItemId::Consensus(&BABE_ENGINE_ID)); match (log, epoch_digest.is_some()) { (Some(ConsensusLog::NextEpochData(_)), true) => return Err(babe_err(Error::MultipleEpochChangeDigests)), (Some(ConsensusLog::NextEpochData(epoch)), false) => epoch_digest = Some(epoch), _ => trace!(target: "babe", "Ignoring digest not meant for us"), } } Ok(epoch_digest) } /// Extract the BABE config change digest from the given header, if it exists. fn find_next_config_digest( header: &B::Header, ) -> Result, Error> where DigestItemFor: CompatibleDigestItem, { let mut config_digest: Option<_> = None; for log in header.digest().logs() { trace!(target: "babe", "Checking log {:?}, looking for epoch change digest.", log); let log = log.try_to::(OpaqueDigestItemId::Consensus(&BABE_ENGINE_ID)); match (log, config_digest.is_some()) { (Some(ConsensusLog::NextConfigData(_)), true) => return Err(babe_err(Error::MultipleConfigChangeDigests)), (Some(ConsensusLog::NextConfigData(config)), false) => config_digest = Some(config), _ => trace!(target: "babe", "Ignoring digest not meant for us"), } } Ok(config_digest) } /// State that must be shared between the import queue and the authoring logic. #[derive(Clone)] pub struct BabeLink { epoch_changes: SharedEpochChanges, config: Config, } impl BabeLink { /// Get the epoch changes of this link. pub fn epoch_changes(&self) -> &SharedEpochChanges { &self.epoch_changes } /// Get the config of this link. pub fn config(&self) -> &Config { &self.config } } /// A verifier for Babe blocks. pub struct BabeVerifier { client: Arc, select_chain: SelectChain, create_inherent_data_providers: CIDP, config: Config, epoch_changes: SharedEpochChanges, can_author_with: CAW, telemetry: Option, } impl BabeVerifier where Block: BlockT, Client: AuxStore + HeaderBackend + HeaderMetadata + ProvideRuntimeApi, Client::Api: BlockBuilderApi + BabeApi, SelectChain: sp_consensus::SelectChain, CAW: CanAuthorWith, CIDP: CreateInherentDataProviders, { async fn check_inherents( &self, block: Block, block_id: BlockId, inherent_data: InherentData, create_inherent_data_providers: CIDP::InherentDataProviders, execution_context: ExecutionContext, ) -> Result<(), Error> { if let Err(e) = self.can_author_with.can_author_with(&block_id) { debug!( target: "babe", "Skipping `check_inherents` as authoring version is not compatible: {}", e, ); return Ok(()) } let inherent_res = self .client .runtime_api() .check_inherents_with_context(&block_id, execution_context, block, inherent_data) .map_err(Error::RuntimeApi)?; if !inherent_res.ok() { for (i, e) in inherent_res.into_errors() { match create_inherent_data_providers.try_handle_error(&i, &e).await { Some(res) => res.map_err(|e| Error::CheckInherents(e))?, None => return Err(Error::CheckInherentsUnhandled(i)), } } } Ok(()) } async fn check_and_report_equivocation( &self, slot_now: Slot, slot: Slot, header: &Block::Header, author: &AuthorityId, origin: &BlockOrigin, ) -> Result<(), Error> { // don't report any equivocations during initial sync // as they are most likely stale. if *origin == BlockOrigin::NetworkInitialSync { return Ok(()) } // check if authorship of this header is an equivocation and return a proof if so. let equivocation_proof = match check_equivocation(&*self.client, slot_now, slot, header, author) .map_err(Error::Client)? { Some(proof) => proof, None => return Ok(()), }; info!( "Slot author {:?} is equivocating at slot {} with headers {:?} and {:?}", author, slot, equivocation_proof.first_header.hash(), equivocation_proof.second_header.hash(), ); // get the best block on which we will build and send the equivocation report. let best_id = self .select_chain .best_chain() .await .map(|h| BlockId::Hash(h.hash())) .map_err(|e| Error::Client(e.into()))?; // generate a key ownership proof. we start by trying to generate the // key owernship proof at the parent of the equivocating header, this // will make sure that proof generation is successful since it happens // during the on-going session (i.e. session keys are available in the // state to be able to generate the proof). this might fail if the // equivocation happens on the first block of the session, in which case // its parent would be on the previous session. if generation on the // parent header fails we try with best block as well. let generate_key_owner_proof = |block_id: &BlockId| { self.client .runtime_api() .generate_key_ownership_proof(block_id, slot, equivocation_proof.offender.clone()) .map_err(Error::RuntimeApi) }; let parent_id = BlockId::Hash(*header.parent_hash()); let key_owner_proof = match generate_key_owner_proof(&parent_id)? { Some(proof) => proof, None => match generate_key_owner_proof(&best_id)? { Some(proof) => proof, None => { debug!(target: "babe", "Equivocation offender is not part of the authority set."); return Ok(()) }, }, }; // submit equivocation report at best block. self.client .runtime_api() .submit_report_equivocation_unsigned_extrinsic( &best_id, equivocation_proof, key_owner_proof, ) .map_err(Error::RuntimeApi)?; info!(target: "babe", "Submitted equivocation report for author {:?}", author); Ok(()) } } type BlockVerificationResult = Result<(BlockImportParams, Option)>>), String>; #[async_trait::async_trait] impl Verifier for BabeVerifier where Block: BlockT, Client: HeaderMetadata + HeaderBackend + ProvideRuntimeApi + Send + Sync + AuxStore + ProvideCache, Client::Api: BlockBuilderApi + BabeApi, SelectChain: sp_consensus::SelectChain, CAW: CanAuthorWith + Send + Sync, CIDP: CreateInherentDataProviders + Send + Sync, CIDP::InherentDataProviders: InherentDataProviderExt + Send + Sync, { async fn verify( &mut self, mut block: BlockImportParams, ) -> BlockVerificationResult { trace!( target: "babe", "Verifying origin: {:?} header: {:?} justification(s): {:?} body: {:?}", block.origin, block.header, block.justifications, block.body, ); let hash = block.header.hash(); let parent_hash = *block.header.parent_hash(); if block.with_state() { // When importing whole state we don't calculate epoch descriptor, but rather // read it from the state after import. We also skip all verifications // because there's no parent state and we trust the sync module to verify // that the state is correct and finalized. return Ok((block, Default::default())) } debug!(target: "babe", "We have {:?} logs in this header", block.header.digest().logs().len()); let create_inherent_data_providers = self .create_inherent_data_providers .create_inherent_data_providers(parent_hash, ()) .await .map_err(|e| Error::::Client(sp_consensus::Error::from(e).into()))?; let slot_now = create_inherent_data_providers.slot(); let parent_header_metadata = self .client .header_metadata(parent_hash) .map_err(Error::::FetchParentHeader)?; let pre_digest = find_pre_digest::(&block.header)?; let (check_header, epoch_descriptor) = { let epoch_changes = self.epoch_changes.shared_data(); let epoch_descriptor = epoch_changes .epoch_descriptor_for_child_of( descendent_query(&*self.client), &parent_hash, parent_header_metadata.number, pre_digest.slot(), ) .map_err(|e| Error::::ForkTree(Box::new(e)))? .ok_or_else(|| Error::::FetchEpoch(parent_hash))?; let viable_epoch = epoch_changes .viable_epoch(&epoch_descriptor, |slot| Epoch::genesis(&self.config, slot)) .ok_or_else(|| Error::::FetchEpoch(parent_hash))?; // We add one to the current slot to allow for some small drift. // FIXME #1019 in the future, alter this queue to allow deferring of headers let v_params = verification::VerificationParams { header: block.header.clone(), pre_digest: Some(pre_digest), slot_now: slot_now + 1, epoch: viable_epoch.as_ref(), }; (verification::check_header::(v_params)?, epoch_descriptor) }; match check_header { CheckedHeader::Checked(pre_header, verified_info) => { let babe_pre_digest = verified_info .pre_digest .as_babe_pre_digest() .expect("check_header always returns a pre-digest digest item; qed"); let slot = babe_pre_digest.slot(); // the header is valid but let's check if there was something else already // proposed at the same slot by the given author. if there was, we will // report the equivocation to the runtime. if let Err(err) = self .check_and_report_equivocation( slot_now, slot, &block.header, &verified_info.author, &block.origin, ) .await { warn!(target: "babe", "Error checking/reporting BABE equivocation: {:?}", err); } // if the body is passed through, we need to use the runtime // to check that the internally-set timestamp in the inherents // actually matches the slot set in the seal. if let Some(inner_body) = block.body { let mut inherent_data = create_inherent_data_providers .create_inherent_data() .map_err(Error::::CreateInherents)?; inherent_data.babe_replace_inherent_data(slot); let new_block = Block::new(pre_header.clone(), inner_body); self.check_inherents( new_block.clone(), BlockId::Hash(parent_hash), inherent_data, create_inherent_data_providers, block.origin.into(), ) .await?; let (_, inner_body) = new_block.deconstruct(); block.body = Some(inner_body); } trace!(target: "babe", "Checked {:?}; importing.", pre_header); telemetry!( self.telemetry; CONSENSUS_TRACE; "babe.checked_and_importing"; "pre_header" => ?pre_header, ); block.header = pre_header; block.post_digests.push(verified_info.seal); block.intermediates.insert( Cow::from(INTERMEDIATE_KEY), Box::new(BabeIntermediate:: { epoch_descriptor }) as Box<_>, ); block.post_hash = Some(hash); Ok((block, Default::default())) }, CheckedHeader::Deferred(a, b) => { debug!(target: "babe", "Checking {:?} failed; {:?}, {:?}.", hash, a, b); telemetry!( self.telemetry; CONSENSUS_DEBUG; "babe.header_too_far_in_future"; "hash" => ?hash, "a" => ?a, "b" => ?b ); Err(Error::::TooFarInFuture(hash).into()) }, } } } /// A block-import handler for BABE. /// /// This scans each imported block for epoch change signals. The signals are /// tracked in a tree (of all forks), and the import logic validates all epoch /// change transitions, i.e. whether a given epoch change is expected or whether /// it is missing. /// /// The epoch change tree should be pruned as blocks are finalized. pub struct BabeBlockImport { inner: I, client: Arc, epoch_changes: SharedEpochChanges, config: Config, } impl Clone for BabeBlockImport { fn clone(&self) -> Self { BabeBlockImport { inner: self.inner.clone(), client: self.client.clone(), epoch_changes: self.epoch_changes.clone(), config: self.config.clone(), } } } impl BabeBlockImport { fn new( client: Arc, epoch_changes: SharedEpochChanges, block_import: I, config: Config, ) -> Self { BabeBlockImport { client, inner: block_import, epoch_changes, config } } } impl BabeBlockImport where Block: BlockT, Inner: BlockImport> + Send + Sync, Inner::Error: Into, Client: HeaderBackend + HeaderMetadata + AuxStore + ProvideRuntimeApi + ProvideCache + Send + Sync, Client::Api: BabeApi + ApiExt, { /// Import whole state after warp sync. // This function makes multiple transactions to the DB. If one of them fails we may // end up in an inconsistent state and have to resync. async fn import_state( &mut self, mut block: BlockImportParams>, new_cache: HashMap>, ) -> Result { let hash = block.post_hash(); let parent_hash = *block.header.parent_hash(); let number = *block.header.number(); block.fork_choice = Some(ForkChoiceStrategy::Custom(true)); // Reset block weight. aux_schema::write_block_weight(hash, 0, |values| { block .auxiliary .extend(values.iter().map(|(k, v)| (k.to_vec(), Some(v.to_vec())))) }); // First make the client import the state. let import_result = self.inner.import_block(block, new_cache).await; let aux = match import_result { Ok(ImportResult::Imported(aux)) => aux, Ok(r) => return Err(ConsensusError::ClientImport(format!( "Unexpected import result: {:?}", r ))), Err(r) => return Err(r.into()), }; // Read epoch info from the imported state. let block_id = BlockId::hash(hash); let current_epoch = self.client.runtime_api().current_epoch(&block_id).map_err(|e| { ConsensusError::ClientImport(babe_err::(Error::RuntimeApi(e)).into()) })?; let next_epoch = self.client.runtime_api().next_epoch(&block_id).map_err(|e| { ConsensusError::ClientImport(babe_err::(Error::RuntimeApi(e)).into()) })?; let mut epoch_changes = self.epoch_changes.shared_data_locked(); epoch_changes.reset(parent_hash, hash, number, current_epoch.into(), next_epoch.into()); aux_schema::write_epoch_changes::(&*epoch_changes, |insert| { self.client.insert_aux(insert, []) }) .map_err(|e| ConsensusError::ClientImport(e.to_string()))?; Ok(ImportResult::Imported(aux)) } } #[async_trait::async_trait] impl BlockImport for BabeBlockImport where Block: BlockT, Inner: BlockImport> + Send + Sync, Inner::Error: Into, Client: HeaderBackend + HeaderMetadata + AuxStore + ProvideRuntimeApi + ProvideCache + Send + Sync, Client::Api: BabeApi + ApiExt, { type Error = ConsensusError; type Transaction = sp_api::TransactionFor; async fn import_block( &mut self, mut block: BlockImportParams, new_cache: HashMap>, ) -> Result { let hash = block.post_hash(); let number = *block.header.number(); // early exit if block already in chain, otherwise the check for // epoch changes will error when trying to re-import an epoch change match self.client.status(BlockId::Hash(hash)) { Ok(sp_blockchain::BlockStatus::InChain) => { // When re-importing existing block strip away intermediates. let _ = block.take_intermediate::>(INTERMEDIATE_KEY); block.fork_choice = Some(ForkChoiceStrategy::Custom(false)); return self.inner.import_block(block, new_cache).await.map_err(Into::into) }, Ok(sp_blockchain::BlockStatus::Unknown) => {}, Err(e) => return Err(ConsensusError::ClientImport(e.to_string())), } if block.with_state() { return self.import_state(block, new_cache).await } let pre_digest = find_pre_digest::(&block.header).expect( "valid babe headers must contain a predigest; header has been already verified; qed", ); let slot = pre_digest.slot(); let parent_hash = *block.header.parent_hash(); let parent_header = self .client .header(BlockId::Hash(parent_hash)) .map_err(|e| ConsensusError::ChainLookup(e.to_string()))? .ok_or_else(|| { ConsensusError::ChainLookup( babe_err(Error::::ParentUnavailable(parent_hash, hash)).into(), ) })?; let parent_slot = find_pre_digest::(&parent_header).map(|d| d.slot()).expect( "parent is non-genesis; valid BABE headers contain a pre-digest; header has already \ been verified; qed", ); // make sure that slot number is strictly increasing if slot <= parent_slot { return Err(ConsensusError::ClientImport( babe_err(Error::::SlotMustIncrease(parent_slot, slot)).into(), )) } // if there's a pending epoch we'll save the previous epoch changes here // this way we can revert it if there's any error let mut old_epoch_changes = None; // Use an extra scope to make the compiler happy, because otherwise he complains about the // mutex, even if we dropped it... let mut epoch_changes = { let mut epoch_changes = self.epoch_changes.shared_data_locked(); // check if there's any epoch change expected to happen at this slot. // `epoch` is the epoch to verify the block under, and `first_in_epoch` is true // if this is the first block in its chain for that epoch. // // also provides the total weight of the chain, including the imported block. let (epoch_descriptor, first_in_epoch, parent_weight) = { let parent_weight = if *parent_header.number() == Zero::zero() { 0 } else { aux_schema::load_block_weight(&*self.client, parent_hash) .map_err(|e| ConsensusError::ClientImport(e.to_string()))? .ok_or_else(|| { ConsensusError::ClientImport( babe_err(Error::::ParentBlockNoAssociatedWeight(hash)) .into(), ) })? }; let intermediate = block.take_intermediate::>(INTERMEDIATE_KEY)?; let epoch_descriptor = intermediate.epoch_descriptor; let first_in_epoch = parent_slot < epoch_descriptor.start_slot(); (epoch_descriptor, first_in_epoch, parent_weight) }; let total_weight = parent_weight + pre_digest.added_weight(); // search for this all the time so we can reject unexpected announcements. let next_epoch_digest = find_next_epoch_digest::(&block.header) .map_err(|e| ConsensusError::ClientImport(e.to_string()))?; let next_config_digest = find_next_config_digest::(&block.header) .map_err(|e| ConsensusError::ClientImport(e.to_string()))?; match (first_in_epoch, next_epoch_digest.is_some(), next_config_digest.is_some()) { (true, true, _) => {}, (false, false, false) => {}, (false, false, true) => return Err(ConsensusError::ClientImport( babe_err(Error::::UnexpectedConfigChange).into(), )), (true, false, _) => return Err(ConsensusError::ClientImport( babe_err(Error::::ExpectedEpochChange(hash, slot)).into(), )), (false, true, _) => return Err(ConsensusError::ClientImport( babe_err(Error::::UnexpectedEpochChange).into(), )), } let info = self.client.info(); if let Some(next_epoch_descriptor) = next_epoch_digest { old_epoch_changes = Some((*epoch_changes).clone()); let viable_epoch = epoch_changes .viable_epoch(&epoch_descriptor, |slot| Epoch::genesis(&self.config, slot)) .ok_or_else(|| { ConsensusError::ClientImport(Error::::FetchEpoch(parent_hash).into()) })?; let epoch_config = next_config_digest .map(Into::into) .unwrap_or_else(|| viable_epoch.as_ref().config.clone()); // restrict info logging during initial sync to avoid spam let log_level = if block.origin == BlockOrigin::NetworkInitialSync { log::Level::Debug } else { log::Level::Info }; log!(target: "babe", log_level, "👶 New epoch {} launching at block {} (block slot {} >= start slot {}).", viable_epoch.as_ref().epoch_index, hash, slot, viable_epoch.as_ref().start_slot, ); let next_epoch = viable_epoch.increment((next_epoch_descriptor, epoch_config)); log!(target: "babe", log_level, "👶 Next epoch starts at slot {}", next_epoch.as_ref().start_slot, ); // prune the tree of epochs not part of the finalized chain or // that are not live anymore, and then track the given epoch change // in the tree. // NOTE: it is important that these operations are done in this // order, otherwise if pruning after import the `is_descendent_of` // used by pruning may not know about the block that is being // imported. let prune_and_import = || { prune_finalized(self.client.clone(), &mut epoch_changes)?; epoch_changes .import( descendent_query(&*self.client), hash, number, *block.header.parent_hash(), next_epoch, ) .map_err(|e| { ConsensusError::ClientImport(format!( "Error importing epoch changes: {:?}", e )) })?; Ok(()) }; if let Err(e) = prune_and_import() { debug!(target: "babe", "Failed to launch next epoch: {:?}", e); *epoch_changes = old_epoch_changes.expect("set `Some` above and not taken; qed"); return Err(e) } crate::aux_schema::write_epoch_changes::(&*epoch_changes, |insert| { block .auxiliary .extend(insert.iter().map(|(k, v)| (k.to_vec(), Some(v.to_vec())))) }); } aux_schema::write_block_weight(hash, total_weight, |values| { block .auxiliary .extend(values.iter().map(|(k, v)| (k.to_vec(), Some(v.to_vec())))) }); // The fork choice rule is that we pick the heaviest chain (i.e. // more primary blocks), if there's a tie we go with the longest // chain. block.fork_choice = { let (last_best, last_best_number) = (info.best_hash, info.best_number); let last_best_weight = if &last_best == block.header.parent_hash() { // the parent=genesis case is already covered for loading parent weight, // so we don't need to cover again here. parent_weight } else { aux_schema::load_block_weight(&*self.client, last_best) .map_err(|e| ConsensusError::ChainLookup(format!("{:?}", e)))? .ok_or_else(|| { ConsensusError::ChainLookup( "No block weight for parent header.".to_string(), ) })? }; Some(ForkChoiceStrategy::Custom(if total_weight > last_best_weight { true } else if total_weight == last_best_weight { number > last_best_number } else { false })) }; // Release the mutex, but it stays locked epoch_changes.release_mutex() }; let import_result = self.inner.import_block(block, new_cache).await; // revert to the original epoch changes in case there's an error // importing the block if import_result.is_err() { if let Some(old_epoch_changes) = old_epoch_changes { *epoch_changes.upgrade() = old_epoch_changes; } } import_result.map_err(Into::into) } async fn check_block( &mut self, block: BlockCheckParams, ) -> Result { self.inner.check_block(block).await.map_err(Into::into) } } /// Gets the best finalized block and its slot, and prunes the given epoch tree. fn prune_finalized( client: Arc, epoch_changes: &mut EpochChangesFor, ) -> Result<(), ConsensusError> where Block: BlockT, Client: HeaderBackend + HeaderMetadata, { let info = client.info(); if info.block_gap.is_none() { epoch_changes.clear_gap(); } let finalized_slot = { let finalized_header = client .header(BlockId::Hash(info.finalized_hash)) .map_err(|e| ConsensusError::ClientImport(format!("{:?}", e)))? .expect( "best finalized hash was given by client; finalized headers must exist in db; qed", ); find_pre_digest::(&finalized_header) .expect("finalized header must be valid; valid blocks have a pre-digest; qed") .slot() }; epoch_changes .prune_finalized( descendent_query(&*client), &info.finalized_hash, info.finalized_number, finalized_slot, ) .map_err(|e| ConsensusError::ClientImport(format!("{:?}", e)))?; Ok(()) } /// Produce a BABE block-import object to be used later on in the construction of /// an import-queue. /// /// Also returns a link object used to correctly instantiate the import queue /// and background worker. pub fn block_import( config: Config, wrapped_block_import: I, client: Arc, ) -> ClientResult<(BabeBlockImport, BabeLink)> where Client: AuxStore + HeaderBackend + HeaderMetadata, { let epoch_changes = aux_schema::load_epoch_changes::(&*client, &config)?; let link = BabeLink { epoch_changes: epoch_changes.clone(), config: config.clone() }; // NOTE: this isn't entirely necessary, but since we didn't use to prune the // epoch tree it is useful as a migration, so that nodes prune long trees on // startup rather than waiting until importing the next epoch change block. prune_finalized(client.clone(), &mut epoch_changes.shared_data())?; let import = BabeBlockImport::new(client, epoch_changes, wrapped_block_import, config); Ok((import, link)) } /// Start an import queue for the BABE consensus algorithm. /// /// This method returns the import queue, some data that needs to be passed to the block authoring /// logic (`BabeLink`), and a future that must be run to /// completion and is responsible for listening to finality notifications and /// pruning the epoch changes tree. /// /// The block import object provided must be the `BabeBlockImport` or a wrapper /// of it, otherwise crucial import logic will be omitted. pub fn import_queue( babe_link: BabeLink, block_import: Inner, justification_import: Option>, client: Arc, select_chain: SelectChain, create_inherent_data_providers: CIDP, spawner: &impl sp_core::traits::SpawnEssentialNamed, registry: Option<&Registry>, can_author_with: CAW, telemetry: Option, ) -> ClientResult> where Inner: BlockImport< Block, Error = ConsensusError, Transaction = sp_api::TransactionFor, > + Send + Sync + 'static, Client: ProvideRuntimeApi + ProvideCache + HeaderBackend + HeaderMetadata + AuxStore + Send + Sync + 'static, Client::Api: BlockBuilderApi + BabeApi + ApiExt, SelectChain: sp_consensus::SelectChain + 'static, CAW: CanAuthorWith + Send + Sync + 'static, CIDP: CreateInherentDataProviders + Send + Sync + 'static, CIDP::InherentDataProviders: InherentDataProviderExt + Send + Sync, { let verifier = BabeVerifier { select_chain, create_inherent_data_providers, config: babe_link.config, epoch_changes: babe_link.epoch_changes, can_author_with, telemetry, client, }; Ok(BasicQueue::new(verifier, Box::new(block_import), justification_import, spawner, registry)) }