d069b98b45
* final engine changes * migration to v13 * adding and removing pending transitions * epoch_transition_for * port snapshot to new engine methods * final validator set interface * fix compiler errors * revert v13/epoch_depth transition * make call on new epoch * rolling finality checker * tests for finality checker * constructing finality proof upon pending transition * fix warnings and finality proof checking * fix compiler warnings in tests * test fixes * don't include genesis in finality checking * change snapshot test chain building logic * minor refactorings * fetch epoch transition based on parent, fix divide-by-zero in SimpleList * fix formatting * fix ABIs and finality checking in snapshot restoration * encode signal number in proof * create more blocks at the end of tests * update gist to accurate contract code * test for epoch_transition_for * fix tests with immediateTransitions parameter * disable force flag after forcing * rename ValidatorsChanged to InitiateChange and finalizeSignal to finalizeChange * a few more validator set tests
69 lines
2.2 KiB
Rust
69 lines
2.2 KiB
Rust
// Copyright 2015-2017 Parity Technologies (UK) Ltd.
|
|
// This file is part of Parity.
|
|
|
|
// Parity 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.
|
|
|
|
// Parity 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 Parity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
//! Helper for ancient block import.
|
|
|
|
use std::sync::Arc;
|
|
|
|
use blockchain::BlockChain;
|
|
use engines::{Engine, EpochVerifier};
|
|
use header::Header;
|
|
|
|
use rand::Rng;
|
|
use util::RwLock;
|
|
|
|
// do "heavy" verification on ~1/50 blocks, randomly sampled.
|
|
const HEAVY_VERIFY_RATE: f32 = 0.02;
|
|
|
|
/// Ancient block verifier: import an ancient sequence of blocks in order from a starting
|
|
/// epoch.
|
|
pub struct AncientVerifier {
|
|
cur_verifier: RwLock<Box<EpochVerifier>>,
|
|
engine: Arc<Engine>,
|
|
}
|
|
|
|
impl AncientVerifier {
|
|
/// Create a new ancient block verifier with the given engine and initial verifier.
|
|
pub fn new(engine: Arc<Engine>, start_verifier: Box<EpochVerifier>) -> Self {
|
|
AncientVerifier {
|
|
cur_verifier: RwLock::new(start_verifier),
|
|
engine: engine,
|
|
}
|
|
}
|
|
|
|
/// Verify the next block header, randomly choosing whether to do heavy or light
|
|
/// verification. If the block is the end of an epoch, updates the epoch verifier.
|
|
pub fn verify<R: Rng>(
|
|
&self,
|
|
rng: &mut R,
|
|
header: &Header,
|
|
chain: &BlockChain,
|
|
) -> Result<(), ::error::Error> {
|
|
match rng.gen::<f32>() <= HEAVY_VERIFY_RATE {
|
|
true => self.cur_verifier.read().verify_heavy(header)?,
|
|
false => self.cur_verifier.read().verify_light(header)?,
|
|
}
|
|
|
|
// ancient import will only use transitions obtained from the snapshot.
|
|
if let Some(transition) = chain.epoch_transition(header.number(), header.hash()) {
|
|
let v = self.engine.epoch_verifier(&header, &transition.proof).known_confirmed()?;
|
|
*self.cur_verifier.write() = v;
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
}
|