4331834003
* Move tests -> testing * Directory restructure * Update Cargo.toml during restructure * Update Makefile during restructure * Fix arbitrary path
103 lines
3.1 KiB
Rust
103 lines
3.1 KiB
Rust
use super::errors::{BlockOperationError, ExitInvalid};
|
|
use crate::per_block_processing::{
|
|
signature_sets::{exit_signature_set, get_pubkey_from_state},
|
|
VerifySignatures,
|
|
};
|
|
use types::*;
|
|
|
|
type Result<T> = std::result::Result<T, BlockOperationError<ExitInvalid>>;
|
|
|
|
fn error(reason: ExitInvalid) -> BlockOperationError<ExitInvalid> {
|
|
BlockOperationError::invalid(reason)
|
|
}
|
|
|
|
/// Indicates if an `Exit` is valid to be included in a block in the current epoch of the given
|
|
/// state.
|
|
///
|
|
/// Returns `Ok(())` if the `Exit` is valid, otherwise indicates the reason for invalidity.
|
|
///
|
|
/// Spec v0.11.1
|
|
pub fn verify_exit<T: EthSpec>(
|
|
state: &BeaconState<T>,
|
|
exit: &SignedVoluntaryExit,
|
|
verify_signatures: VerifySignatures,
|
|
spec: &ChainSpec,
|
|
) -> Result<()> {
|
|
verify_exit_parametric(state, exit, verify_signatures, spec, false)
|
|
}
|
|
|
|
/// Like `verify_exit` but doesn't run checks which may become true in future states.
|
|
///
|
|
/// Spec v0.11.1
|
|
pub fn verify_exit_time_independent_only<T: EthSpec>(
|
|
state: &BeaconState<T>,
|
|
exit: &SignedVoluntaryExit,
|
|
verify_signatures: VerifySignatures,
|
|
spec: &ChainSpec,
|
|
) -> Result<()> {
|
|
verify_exit_parametric(state, exit, verify_signatures, spec, true)
|
|
}
|
|
|
|
/// Parametric version of `verify_exit` that skips some checks if `time_independent_only` is true.
|
|
///
|
|
/// Spec v0.11.1
|
|
fn verify_exit_parametric<T: EthSpec>(
|
|
state: &BeaconState<T>,
|
|
signed_exit: &SignedVoluntaryExit,
|
|
verify_signatures: VerifySignatures,
|
|
spec: &ChainSpec,
|
|
time_independent_only: bool,
|
|
) -> Result<()> {
|
|
let exit = &signed_exit.message;
|
|
|
|
let validator = state
|
|
.validators
|
|
.get(exit.validator_index as usize)
|
|
.ok_or_else(|| error(ExitInvalid::ValidatorUnknown(exit.validator_index)))?;
|
|
|
|
// Verify the validator is active.
|
|
verify!(
|
|
validator.is_active_at(state.current_epoch()),
|
|
ExitInvalid::NotActive(exit.validator_index)
|
|
);
|
|
|
|
// Verify that the validator has not yet exited.
|
|
verify!(
|
|
validator.exit_epoch == spec.far_future_epoch,
|
|
ExitInvalid::AlreadyExited(exit.validator_index)
|
|
);
|
|
|
|
// Exits must specify an epoch when they become valid; they are not valid before then.
|
|
verify!(
|
|
time_independent_only || state.current_epoch() >= exit.epoch,
|
|
ExitInvalid::FutureEpoch {
|
|
state: state.current_epoch(),
|
|
exit: exit.epoch
|
|
}
|
|
);
|
|
|
|
// Verify the validator has been active long enough.
|
|
verify!(
|
|
state.current_epoch() >= validator.activation_epoch + spec.persistent_committee_period,
|
|
ExitInvalid::TooYoungToExit {
|
|
current_epoch: state.current_epoch(),
|
|
earliest_exit_epoch: validator.activation_epoch + spec.persistent_committee_period,
|
|
}
|
|
);
|
|
|
|
if verify_signatures.is_true() {
|
|
verify!(
|
|
exit_signature_set(
|
|
state,
|
|
|i| get_pubkey_from_state(state, i),
|
|
signed_exit,
|
|
spec
|
|
)?
|
|
.is_valid(),
|
|
ExitInvalid::BadSignature
|
|
);
|
|
}
|
|
|
|
Ok(())
|
|
}
|