2018-10-02 07:35:03 +00:00
|
|
|
use super::bls::{
|
|
|
|
AggregateSignature,
|
|
|
|
};
|
|
|
|
use super::helpers::{
|
2018-10-16 02:59:45 +00:00
|
|
|
BeaconBlockTestParams,
|
2018-10-02 07:35:03 +00:00
|
|
|
TestStore,
|
|
|
|
run_block_validation_scenario,
|
|
|
|
serialize_block,
|
|
|
|
};
|
|
|
|
use super::types::{
|
2018-10-16 02:59:45 +00:00
|
|
|
BeaconBlock,
|
2018-10-02 07:35:03 +00:00
|
|
|
Hash256,
|
|
|
|
ProposerMap,
|
|
|
|
};
|
2018-10-16 02:59:45 +00:00
|
|
|
use super::ssz_helpers::ssz_beacon_block::SszBeaconBlock;
|
2018-10-02 07:35:03 +00:00
|
|
|
use super::validation::block_validation::{
|
2018-10-16 02:59:45 +00:00
|
|
|
SszBeaconBlockValidationError,
|
|
|
|
BeaconBlockStatus,
|
2018-10-02 07:35:03 +00:00
|
|
|
};
|
|
|
|
use super::validation::attestation_validation::{
|
|
|
|
AttestationValidationError,
|
|
|
|
};
|
|
|
|
use super::hashing::canonical_hash;
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
fn get_simple_params() -> BeaconBlockTestParams {
|
2018-10-02 07:35:03 +00:00
|
|
|
let validators_per_shard: usize = 5;
|
|
|
|
let cycle_length: u8 = 2;
|
|
|
|
let shard_count: u16 = 4;
|
|
|
|
let shards_per_slot: u16 = shard_count / u16::from(cycle_length);
|
|
|
|
let total_validators: usize = validators_per_shard * shard_count as usize;
|
|
|
|
let block_slot = u64::from(cycle_length) * 10000;
|
|
|
|
let attestations_justified_slot = block_slot - u64::from(cycle_length);
|
|
|
|
let parent_proposer_index = 0;
|
|
|
|
|
|
|
|
let validation_context_slot = block_slot;
|
|
|
|
let validation_context_justified_slot = attestations_justified_slot;
|
2018-10-09 01:14:59 +00:00
|
|
|
let validation_context_justified_block_hash = Hash256::from("justified_hash".as_bytes());
|
2018-10-02 07:35:03 +00:00
|
|
|
let validation_context_finalized_slot = 0;
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
BeaconBlockTestParams {
|
2018-10-02 07:35:03 +00:00
|
|
|
total_validators,
|
|
|
|
cycle_length,
|
|
|
|
shard_count,
|
|
|
|
shards_per_slot,
|
|
|
|
validators_per_shard,
|
|
|
|
parent_proposer_index,
|
|
|
|
block_slot,
|
|
|
|
attestations_justified_slot,
|
|
|
|
validation_context_slot,
|
|
|
|
validation_context_justified_slot,
|
2018-10-09 01:14:59 +00:00
|
|
|
validation_context_justified_block_hash,
|
2018-10-02 07:35:03 +00:00
|
|
|
validation_context_finalized_slot,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: test bad ssz serialization
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_valid() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |block: BeaconBlock, attester_map, proposer_map, stores| {
|
2018-10-02 07:35:03 +00:00
|
|
|
/*
|
|
|
|
* Do not mutate
|
|
|
|
*/
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status.unwrap().0, BeaconBlockStatus::NewBlock);
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_valid_known_block() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |block: BeaconBlock, attester_map, proposer_map, stores: TestStore| {
|
2018-10-02 07:35:03 +00:00
|
|
|
/*
|
|
|
|
* Pre-store the block in the database
|
|
|
|
*/
|
|
|
|
let block_ssz = serialize_block(&block);
|
|
|
|
let block_hash = canonical_hash(&block_ssz);
|
|
|
|
stores.block.put_serialized_block(&block_hash, &block_ssz).unwrap();
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status.unwrap(), (BeaconBlockStatus::KnownBlock, None));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
2018-10-12 09:54:33 +00:00
|
|
|
#[test]
|
|
|
|
fn test_block_validation_parent_slot_too_high() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
|
|
|
block.slot = params.validation_context_justified_slot + 1;
|
2018-10-12 09:54:33 +00:00
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::ParentSlotHigherThanBlockSlot));
|
2018-10-12 09:54:33 +00:00
|
|
|
}
|
|
|
|
|
2018-10-02 07:35:03 +00:00
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_future_slot() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
|
|
|
block.slot = block.slot + 1;
|
2018-10-02 07:35:03 +00:00
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::FutureSlot));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_slot_already_finalized() {
|
|
|
|
let mut params = get_simple_params();
|
|
|
|
|
|
|
|
params.validation_context_finalized_slot = params.block_slot;
|
|
|
|
params.validation_context_justified_slot = params.validation_context_finalized_slot +
|
|
|
|
u64::from(params.cycle_length);
|
|
|
|
|
|
|
|
let mutator = |block, attester_map, proposer_map, stores| {
|
|
|
|
/*
|
|
|
|
* Do not mutate
|
|
|
|
*/
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::SlotAlreadyFinalized));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_unknown_pow_hash() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
|
|
|
block.pow_chain_reference = Hash256::from("unknown pow hash".as_bytes());
|
2018-10-02 07:35:03 +00:00
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::UnknownPoWChainRef));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_unknown_parent_hash() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
|
|
|
block.ancestor_hashes[0] = Hash256::from("unknown parent block".as_bytes());
|
2018-10-02 07:35:03 +00:00
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::UnknownParentHash));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_1st_attestation_signature() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
2018-10-02 07:35:03 +00:00
|
|
|
/*
|
|
|
|
* Set the second attestaion record to have an invalid signature.
|
|
|
|
*/
|
|
|
|
block.attestations[0].aggregate_sig = AggregateSignature::new();
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::AttestationValidationError(
|
2018-10-02 07:35:03 +00:00
|
|
|
AttestationValidationError::BadAggregateSignature)));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_no_parent_proposer_signature() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |block: BeaconBlock, attester_map, mut proposer_map: ProposerMap, stores: TestStore| {
|
2018-10-02 07:35:03 +00:00
|
|
|
/*
|
|
|
|
* Set the proposer for this slot to be a validator that does not exist.
|
|
|
|
*/
|
2018-10-16 02:59:45 +00:00
|
|
|
let ssz = {
|
|
|
|
let parent_hash = block.parent_hash().unwrap().as_ref();
|
|
|
|
stores.block.get_serialized_block(parent_hash).unwrap().unwrap()
|
|
|
|
};
|
|
|
|
let parent_block_slot = SszBeaconBlock::from_slice(&ssz[..]).unwrap().slot();
|
2018-10-02 07:35:03 +00:00
|
|
|
proposer_map.insert(parent_block_slot, params.total_validators + 1);
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::NoProposerSignature));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_bad_proposer_map() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
|
|
|
let mutator = |block, attester_map, _, stores| {
|
|
|
|
/*
|
|
|
|
* Initialize a new, empty proposer map
|
|
|
|
*/
|
|
|
|
let proposer_map = ProposerMap::new();
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::BadProposerMap));
|
2018-10-02 07:35:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_block_validation_invalid_2nd_attestation_signature() {
|
|
|
|
let params = get_simple_params();
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
let mutator = |mut block: BeaconBlock, attester_map, proposer_map, stores| {
|
2018-10-02 07:35:03 +00:00
|
|
|
/*
|
|
|
|
* Set the second attestaion record to have an invalid signature.
|
|
|
|
*/
|
|
|
|
block.attestations[1].aggregate_sig = AggregateSignature::new();
|
|
|
|
(block, attester_map, proposer_map, stores)
|
|
|
|
};
|
|
|
|
|
|
|
|
let status = run_block_validation_scenario(
|
|
|
|
¶ms,
|
|
|
|
mutator);
|
|
|
|
|
2018-10-16 02:59:45 +00:00
|
|
|
assert_eq!(status, Err(SszBeaconBlockValidationError::AttestationValidationError(
|
2018-10-02 07:35:03 +00:00
|
|
|
AttestationValidationError::BadAggregateSignature)));
|
|
|
|
}
|