mirror of
https://github.com/pezkuwichain/pezkuwi-subxt.git
synced 2026-06-23 19:01:08 +00:00
0f1a9fb1eb
* remove Default from CandidateHash * Apply suggestions from code review Co-authored-by: Andronik Ordian <write@reusable.software> * chore: fmt * remove backed candidate default * Partial migration away from CandidateReceipt::default * Remove more CandidateReceipt defaults * fmt * Mostly remove CommittedCandidateReceipt default usage * Remove CommittedCandidateReceipt * Remove more Defaults from polakdot primitives v1 + fmt * Remove more Default from polkadot primites v1 * WIP trying to get overseer example + tests to compile * feat: add primitives test helpers * reduce deps of helper * update primitive helpers * make candidate validation compile * fixup cargo lock * make av-store compile * fixup disputes coordinator tests * test: fixup backing * test: fixup approval voting * fixup bitfield signing * test: fixup runtime-api * test: fixup availability dist * foxi[ pverseer test] * remove some Defaults, remove bounds from `dummy` All `fn dummy` in primitives need to be removed anyways. This aids in the transition. * it's a test helper, so always use std * test: fixup parachains runtime tests Excluding benches. * fix keyring * fix paras runtime properly, no more default * Remove fn dummy() usage from approval voting * Move TestCandidateBuilder out of av store to test helpers * Make candidate validation tests pass * Make most dispute coirdinator tests pass * Make provisioner tests work * Make availability recovery tests work with test helpers * Update polkadot-collator-protocol tests * Update statement distribution tests * Update polkadot overseer examples and tests * Derive default for validation code so we don't break unrelated things * Make para runtime test pass (no bench) * Some more work * chore: cargo fmt * cargo fix * avoid some Default::default * fixup dispute coordinator test * remove unused crate deps * remove Default::default wherever possible, replace by dummy_* for the most part * chore: cargo fmt * Remove some warnings * Remove CommittedCandidateReceipt dummy * Remove CandidateReceipt dummy * Remove CandidateDescriptor dummy * Remove commented out code * Fix para runtime tests * chore: nightly * Some updates to the builder * Dynamically adjust mock head data size * Make dispute cooridinator tests work * Fix test candidate_backing_reorders_votes work * +nightly-2021-10-29 fmt * Spelling and remove a default use in builder * Various clean up * More small updates * fmt * More small updates * Doc comments for test helpers * cargo run --quiet --release --features=runtime-benchmarks -- benchmark --chain=kusama-dev --steps=50 --repeat=20 --pallet=runtime_parachains::paras_inherent --extrinsic=* --execution=wasm --wasm-execution=compiled --heap-pages=4096 --header=./file_header.txt --output=./runtime/kusama/src/weights/runtime_parachains_paras_inherent.rs * cargo run --quiet --release --features=runtime-benchmarks -- benchmark --chain=polkadot-dev --steps=50 --repeat=20 --pallet=runtime_parachains::paras_inherent --extrinsic=* --execution=wasm --wasm-execution=compiled --heap-pages=4096 --header=./file_header.txt --output=./runtime/polkadot/src/weights/runtime_parachains_paras_inherent.rs * Update lib.rs * review comments * fix warnings * fix test by using correct candidate receipt relay parent Co-authored-by: Andronik Ordian <write@reusable.software> Co-authored-by: emostov <32168567+emostov@users.noreply.github.com> Co-authored-by: Parity Bot <admin@parity.io> Co-authored-by: Gavin Wood <gavin@parity.io>
852 lines
22 KiB
Rust
852 lines
22 KiB
Rust
// Copyright 2020-2021 Parity Technologies (UK) Ltd.
|
|
// This file is part of Polkadot.
|
|
|
|
// Polkadot 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.
|
|
|
|
// Polkadot 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 Polkadot. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
use super::*;
|
|
use ::test_helpers::{dummy_hash, make_valid_candidate_descriptor};
|
|
use assert_matches::assert_matches;
|
|
use futures::executor;
|
|
use polkadot_node_core_pvf::PrepareError;
|
|
use polkadot_node_subsystem::messages::AllMessages;
|
|
use polkadot_node_subsystem_test_helpers as test_helpers;
|
|
use polkadot_node_subsystem_util::reexports::SubsystemContext;
|
|
use polkadot_primitives::v1::{HeadData, UpwardMessage};
|
|
use sp_core::testing::TaskExecutor;
|
|
use sp_keyring::Sr25519Keyring;
|
|
|
|
#[test]
|
|
fn correctly_checks_included_assumption() {
|
|
let validation_data: PersistedValidationData = Default::default();
|
|
let validation_code: ValidationCode = vec![1, 2, 3].into();
|
|
|
|
let persisted_validation_data_hash = validation_data.hash();
|
|
let relay_parent = [2; 32].into();
|
|
let para_id = 5.into();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
para_id,
|
|
relay_parent,
|
|
persisted_validation_data_hash,
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = check_assumption_validation_data(
|
|
ctx.sender(),
|
|
&descriptor,
|
|
OccupiedCoreAssumption::Included,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::PersistedValidationData(
|
|
p,
|
|
OccupiedCoreAssumption::Included,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_data.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCode(p, OccupiedCoreAssumption::Included, tx)
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_code.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(check_result.await, AssumptionCheckOutcome::Matches(o, v) => {
|
|
assert_eq!(o, validation_data);
|
|
assert_eq!(v, validation_code);
|
|
});
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn correctly_checks_timed_out_assumption() {
|
|
let validation_data: PersistedValidationData = Default::default();
|
|
let validation_code: ValidationCode = vec![1, 2, 3].into();
|
|
|
|
let persisted_validation_data_hash = validation_data.hash();
|
|
let relay_parent = [2; 32].into();
|
|
let para_id = 5.into();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
para_id,
|
|
relay_parent,
|
|
persisted_validation_data_hash,
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = check_assumption_validation_data(
|
|
ctx.sender(),
|
|
&descriptor,
|
|
OccupiedCoreAssumption::TimedOut,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::PersistedValidationData(
|
|
p,
|
|
OccupiedCoreAssumption::TimedOut,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_data.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCode(p, OccupiedCoreAssumption::TimedOut, tx)
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_code.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(check_result.await, AssumptionCheckOutcome::Matches(o, v) => {
|
|
assert_eq!(o, validation_data);
|
|
assert_eq!(v, validation_code);
|
|
});
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn check_is_bad_request_if_no_validation_data() {
|
|
let validation_data: PersistedValidationData = Default::default();
|
|
let persisted_validation_data_hash = validation_data.hash();
|
|
let relay_parent = [2; 32].into();
|
|
let para_id = 5.into();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
para_id,
|
|
relay_parent,
|
|
persisted_validation_data_hash,
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = check_assumption_validation_data(
|
|
ctx.sender(),
|
|
&descriptor,
|
|
OccupiedCoreAssumption::Included,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::PersistedValidationData(
|
|
p,
|
|
OccupiedCoreAssumption::Included,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(None));
|
|
}
|
|
);
|
|
|
|
assert_matches!(check_result.await, AssumptionCheckOutcome::BadRequest);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn check_is_bad_request_if_no_validation_code() {
|
|
let validation_data: PersistedValidationData = Default::default();
|
|
let persisted_validation_data_hash = validation_data.hash();
|
|
let relay_parent = [2; 32].into();
|
|
let para_id = 5.into();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
para_id,
|
|
relay_parent,
|
|
persisted_validation_data_hash,
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = check_assumption_validation_data(
|
|
ctx.sender(),
|
|
&descriptor,
|
|
OccupiedCoreAssumption::TimedOut,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::PersistedValidationData(
|
|
p,
|
|
OccupiedCoreAssumption::TimedOut,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_data.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCode(p, OccupiedCoreAssumption::TimedOut, tx)
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(None));
|
|
}
|
|
);
|
|
|
|
assert_matches!(check_result.await, AssumptionCheckOutcome::BadRequest);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn check_does_not_match() {
|
|
let validation_data: PersistedValidationData = Default::default();
|
|
let relay_parent = [2; 32].into();
|
|
let para_id = 5.into();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
para_id,
|
|
relay_parent,
|
|
Hash::from([3; 32]),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = check_assumption_validation_data(
|
|
ctx.sender(),
|
|
&descriptor,
|
|
OccupiedCoreAssumption::Included,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::PersistedValidationData(
|
|
p,
|
|
OccupiedCoreAssumption::Included,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(rp, relay_parent);
|
|
assert_eq!(p, para_id);
|
|
|
|
let _ = tx.send(Ok(Some(validation_data.clone())));
|
|
}
|
|
);
|
|
|
|
assert_matches!(check_result.await, AssumptionCheckOutcome::DoesNotMatch);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
struct MockValidateCandidateBackend {
|
|
result: Result<WasmValidationResult, ValidationError>,
|
|
}
|
|
|
|
impl MockValidateCandidateBackend {
|
|
fn with_hardcoded_result(result: Result<WasmValidationResult, ValidationError>) -> Self {
|
|
Self { result }
|
|
}
|
|
}
|
|
|
|
#[async_trait]
|
|
impl ValidationBackend for MockValidateCandidateBackend {
|
|
async fn validate_candidate(
|
|
&mut self,
|
|
_raw_validation_code: Vec<u8>,
|
|
_timeout: Duration,
|
|
_params: ValidationParams,
|
|
) -> Result<WasmValidationResult, ValidationError> {
|
|
self.result.clone()
|
|
}
|
|
|
|
async fn precheck_pvf(&mut self, _pvf: Pvf) -> Result<(), PrepareError> {
|
|
unreachable!()
|
|
}
|
|
}
|
|
|
|
#[test]
|
|
fn candidate_validation_ok_is_ok() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let head_data = HeadData(vec![1, 1, 1]);
|
|
let validation_code = ValidationCode(vec![2; 16]);
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
head_data.hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let check = perform_basic_checks(
|
|
&descriptor,
|
|
validation_data.max_pov_size,
|
|
&pov,
|
|
&validation_code.hash(),
|
|
);
|
|
assert!(check.is_ok());
|
|
|
|
let validation_result = WasmValidationResult {
|
|
head_data,
|
|
new_validation_code: Some(vec![2, 2, 2].into()),
|
|
upward_messages: Vec::new(),
|
|
horizontal_messages: Vec::new(),
|
|
processed_downward_messages: 0,
|
|
hrmp_watermark: 0,
|
|
};
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Ok(validation_result)),
|
|
validation_data.clone(),
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
))
|
|
.unwrap();
|
|
|
|
assert_matches!(v, ValidationResult::Valid(outputs, used_validation_data) => {
|
|
assert_eq!(outputs.head_data, HeadData(vec![1, 1, 1]));
|
|
assert_eq!(outputs.upward_messages, Vec::<UpwardMessage>::new());
|
|
assert_eq!(outputs.horizontal_messages, Vec::new());
|
|
assert_eq!(outputs.new_validation_code, Some(vec![2, 2, 2].into()));
|
|
assert_eq!(outputs.hrmp_watermark, 0);
|
|
assert_eq!(used_validation_data, validation_data);
|
|
});
|
|
}
|
|
|
|
#[test]
|
|
fn candidate_validation_bad_return_is_invalid() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let validation_code = ValidationCode(vec![2; 16]);
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let check = perform_basic_checks(
|
|
&descriptor,
|
|
validation_data.max_pov_size,
|
|
&pov,
|
|
&validation_code.hash(),
|
|
);
|
|
assert!(check.is_ok());
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Err(
|
|
ValidationError::InvalidCandidate(WasmInvalidCandidate::AmbiguousWorkerDeath),
|
|
)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
))
|
|
.unwrap();
|
|
|
|
assert_matches!(v, ValidationResult::Invalid(InvalidCandidate::ExecutionError(_)));
|
|
}
|
|
|
|
#[test]
|
|
fn candidate_validation_timeout_is_internal_error() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let validation_code = ValidationCode(vec![2; 16]);
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let check = perform_basic_checks(
|
|
&descriptor,
|
|
validation_data.max_pov_size,
|
|
&pov,
|
|
&validation_code.hash(),
|
|
);
|
|
assert!(check.is_ok());
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Err(
|
|
ValidationError::InvalidCandidate(WasmInvalidCandidate::HardTimeout),
|
|
)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
));
|
|
|
|
assert_matches!(v, Ok(ValidationResult::Invalid(InvalidCandidate::Timeout)));
|
|
}
|
|
|
|
#[test]
|
|
fn candidate_validation_code_mismatch_is_invalid() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let validation_code = ValidationCode(vec![2; 16]);
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
ValidationCode(vec![1; 16]).hash(),
|
|
dummy_hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let check = perform_basic_checks(
|
|
&descriptor,
|
|
validation_data.max_pov_size,
|
|
&pov,
|
|
&validation_code.hash(),
|
|
);
|
|
assert_matches!(check, Err(InvalidCandidate::CodeHashMismatch));
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Err(
|
|
ValidationError::InvalidCandidate(WasmInvalidCandidate::HardTimeout),
|
|
)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
))
|
|
.unwrap();
|
|
|
|
assert_matches!(v, ValidationResult::Invalid(InvalidCandidate::CodeHashMismatch));
|
|
}
|
|
|
|
#[test]
|
|
fn compressed_code_works() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let head_data = HeadData(vec![1, 1, 1]);
|
|
|
|
let raw_code = vec![2u8; 16];
|
|
let validation_code = sp_maybe_compressed_blob::compress(&raw_code, VALIDATION_CODE_BOMB_LIMIT)
|
|
.map(ValidationCode)
|
|
.unwrap();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
head_data.hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let validation_result = WasmValidationResult {
|
|
head_data,
|
|
new_validation_code: None,
|
|
upward_messages: Vec::new(),
|
|
horizontal_messages: Vec::new(),
|
|
processed_downward_messages: 0,
|
|
hrmp_watermark: 0,
|
|
};
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Ok(validation_result)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
));
|
|
|
|
assert_matches!(v, Ok(ValidationResult::Valid(_, _)));
|
|
}
|
|
|
|
#[test]
|
|
fn code_decompression_failure_is_invalid() {
|
|
let validation_data = PersistedValidationData { max_pov_size: 1024, ..Default::default() };
|
|
let pov = PoV { block_data: BlockData(vec![1; 32]) };
|
|
let head_data = HeadData(vec![1, 1, 1]);
|
|
|
|
let raw_code = vec![2u8; VALIDATION_CODE_BOMB_LIMIT + 1];
|
|
let validation_code =
|
|
sp_maybe_compressed_blob::compress(&raw_code, VALIDATION_CODE_BOMB_LIMIT + 1)
|
|
.map(ValidationCode)
|
|
.unwrap();
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
head_data.hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let validation_result = WasmValidationResult {
|
|
head_data,
|
|
new_validation_code: None,
|
|
upward_messages: Vec::new(),
|
|
horizontal_messages: Vec::new(),
|
|
processed_downward_messages: 0,
|
|
hrmp_watermark: 0,
|
|
};
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Ok(validation_result)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
));
|
|
|
|
assert_matches!(v, Ok(ValidationResult::Invalid(InvalidCandidate::CodeDecompressionFailure)));
|
|
}
|
|
|
|
#[test]
|
|
fn pov_decompression_failure_is_invalid() {
|
|
let validation_data =
|
|
PersistedValidationData { max_pov_size: POV_BOMB_LIMIT as u32, ..Default::default() };
|
|
let head_data = HeadData(vec![1, 1, 1]);
|
|
|
|
let raw_block_data = vec![2u8; POV_BOMB_LIMIT + 1];
|
|
let pov = sp_maybe_compressed_blob::compress(&raw_block_data, POV_BOMB_LIMIT + 1)
|
|
.map(|raw| PoV { block_data: BlockData(raw) })
|
|
.unwrap();
|
|
|
|
let validation_code = ValidationCode(vec![2; 16]);
|
|
|
|
let descriptor = make_valid_candidate_descriptor(
|
|
1.into(),
|
|
dummy_hash(),
|
|
validation_data.hash(),
|
|
pov.hash(),
|
|
validation_code.hash(),
|
|
head_data.hash(),
|
|
dummy_hash(),
|
|
Sr25519Keyring::Alice,
|
|
);
|
|
|
|
let validation_result = WasmValidationResult {
|
|
head_data,
|
|
new_validation_code: None,
|
|
upward_messages: Vec::new(),
|
|
horizontal_messages: Vec::new(),
|
|
processed_downward_messages: 0,
|
|
hrmp_watermark: 0,
|
|
};
|
|
|
|
let v = executor::block_on(validate_candidate_exhaustive(
|
|
MockValidateCandidateBackend::with_hardcoded_result(Ok(validation_result)),
|
|
validation_data,
|
|
validation_code,
|
|
descriptor,
|
|
Arc::new(pov),
|
|
Duration::from_secs(0),
|
|
&Default::default(),
|
|
));
|
|
|
|
assert_matches!(v, Ok(ValidationResult::Invalid(InvalidCandidate::PoVDecompressionFailure)));
|
|
}
|
|
|
|
struct MockPreCheckBackend {
|
|
result: Result<(), PrepareError>,
|
|
}
|
|
|
|
impl MockPreCheckBackend {
|
|
fn with_hardcoded_result(result: Result<(), PrepareError>) -> Self {
|
|
Self { result }
|
|
}
|
|
}
|
|
|
|
#[async_trait]
|
|
impl ValidationBackend for MockPreCheckBackend {
|
|
async fn validate_candidate(
|
|
&mut self,
|
|
_raw_validation_code: Vec<u8>,
|
|
_timeout: Duration,
|
|
_params: ValidationParams,
|
|
) -> Result<WasmValidationResult, ValidationError> {
|
|
unreachable!()
|
|
}
|
|
|
|
async fn precheck_pvf(&mut self, _pvf: Pvf) -> Result<(), PrepareError> {
|
|
self.result.clone()
|
|
}
|
|
}
|
|
|
|
#[test]
|
|
fn precheck_works() {
|
|
let relay_parent = [3; 32].into();
|
|
let validation_code = ValidationCode(vec![3; 16]);
|
|
let validation_code_hash = validation_code.hash();
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = precheck_pvf(
|
|
ctx.sender(),
|
|
MockPreCheckBackend::with_hardcoded_result(Ok(())),
|
|
relay_parent,
|
|
validation_code_hash,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCodeByHash(
|
|
vch,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(vch, validation_code_hash);
|
|
assert_eq!(rp, relay_parent);
|
|
|
|
let _ = tx.send(Ok(Some(validation_code.clone())));
|
|
}
|
|
);
|
|
assert_matches!(check_result.await, PreCheckOutcome::Valid);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn precheck_invalid_pvf_blob_compression() {
|
|
let relay_parent = [3; 32].into();
|
|
|
|
let raw_code = vec![2u8; VALIDATION_CODE_BOMB_LIMIT + 1];
|
|
let validation_code =
|
|
sp_maybe_compressed_blob::compress(&raw_code, VALIDATION_CODE_BOMB_LIMIT + 1)
|
|
.map(ValidationCode)
|
|
.unwrap();
|
|
let validation_code_hash = validation_code.hash();
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = precheck_pvf(
|
|
ctx.sender(),
|
|
MockPreCheckBackend::with_hardcoded_result(Ok(())),
|
|
relay_parent,
|
|
validation_code_hash,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCodeByHash(
|
|
vch,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(vch, validation_code_hash);
|
|
assert_eq!(rp, relay_parent);
|
|
|
|
let _ = tx.send(Ok(Some(validation_code.clone())));
|
|
}
|
|
);
|
|
assert_matches!(check_result.await, PreCheckOutcome::Invalid);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
}
|
|
|
|
#[test]
|
|
fn precheck_properly_classifies_outcomes() {
|
|
let inner = |prepare_result, precheck_outcome| {
|
|
let relay_parent = [3; 32].into();
|
|
let validation_code = ValidationCode(vec![3; 16]);
|
|
let validation_code_hash = validation_code.hash();
|
|
|
|
let pool = TaskExecutor::new();
|
|
let (mut ctx, mut ctx_handle) =
|
|
test_helpers::make_subsystem_context::<AllMessages, _>(pool.clone());
|
|
|
|
let (check_fut, check_result) = precheck_pvf(
|
|
ctx.sender(),
|
|
MockPreCheckBackend::with_hardcoded_result(prepare_result),
|
|
relay_parent,
|
|
validation_code_hash,
|
|
)
|
|
.remote_handle();
|
|
|
|
let test_fut = async move {
|
|
assert_matches!(
|
|
ctx_handle.recv().await,
|
|
AllMessages::RuntimeApi(RuntimeApiMessage::Request(
|
|
rp,
|
|
RuntimeApiRequest::ValidationCodeByHash(
|
|
vch,
|
|
tx
|
|
),
|
|
)) => {
|
|
assert_eq!(vch, validation_code_hash);
|
|
assert_eq!(rp, relay_parent);
|
|
|
|
let _ = tx.send(Ok(Some(validation_code.clone())));
|
|
}
|
|
);
|
|
assert_eq!(check_result.await, precheck_outcome);
|
|
};
|
|
|
|
let test_fut = future::join(test_fut, check_fut);
|
|
executor::block_on(test_fut);
|
|
};
|
|
|
|
inner(Err(PrepareError::Prevalidation("foo".to_owned())), PreCheckOutcome::Invalid);
|
|
inner(Err(PrepareError::Preparation("bar".to_owned())), PreCheckOutcome::Invalid);
|
|
inner(Err(PrepareError::Panic("baz".to_owned())), PreCheckOutcome::Invalid);
|
|
|
|
inner(Err(PrepareError::TimedOut), PreCheckOutcome::Failed);
|
|
inner(Err(PrepareError::DidNotMakeIt), PreCheckOutcome::Failed);
|
|
}
|