Struct Validator 

struct Validator<T: NodeType> {
    membership_coordinator: EpochMembershipCoordinator<T>,
    epoch_height: u64,
    upgrade_lock: UpgradeLock<T>,
    genesis_qc: Option<QuorumData2<T>>,
}

Fields

membership_coordinator: EpochMembershipCoordinator<T>

epoch_height: u64

upgrade_lock: UpgradeLock<T>

genesis_qc: Option<QuorumData2<T>>

The data of the genesis QC, the only justify_qc a proposal may carry at the genesis view.

None when the node did not start from genesis, which then refuses every such proposal.

Implementations

impl<T: NodeType> Validator<T>

async fn signature( &self, proposal: &SignedProposal<T, Proposal<T>>, ) -> Result<T::SignatureKey, ValidationError>

Verify the proposal signature and return the leader

async fn vid_share_proposal( &self, vid_proposal: &SignedProposal<T, VidDisperseShare2<T>>, ) -> Result<(), ValidationError>

async fn certificates( &self, proposal: &Proposal<T>, parts: &Parts<'_, T>, ) -> Result<(), ValidationError>

Verify the signatures on the certificates the proposal carries.

parts is what well_formed found the proposal must carry, and the epoch whose committee formed its justify QC and the boundary Cert2 beside it. The view-change evidence names its own epoch, covered by the signatures over it.

async fn verify_cert<D>( &self, cert: &SimpleCertificate<T, D, SuccessThreshold>, epoch: EpochNumber, invalid: fn(Error) -> ValidationError, ) -> Result<(), ValidationError>

where D: Voteable<T> + QuorumMarker + 'static,

Verify a certificate’s signatures against the stake table and threshold of epoch’s committee, labelling an invalid one with invalid.

Unlike is_valid_cert, this checks them at the genesis view too.

async fn state_cert( &self, proposal: &Proposal<T>, parts: &Parts<'_, T>, ) -> Result<(), ValidationError>

Verify the signature on the state_cert a well-formed proposal’s parts say it carries.

Presence is already settled by state_cert_matches_parent; this only checks a present one’s correspondence to the justify QC and its threshold signature.

async fn upgrade_certificate( &self, proposal: &Proposal<T>, ) -> Result<(), ValidationError>

Validate an attached upgrade certificate: exactly the expected data for its view and the carrying proposal’s epoch (the Leaf2 carries the certificate without its epoch, so it must be the carrier’s), unexpired for the carrying proposal, and signed at the upgrade threshold under the epoch it binds.

async fn membership( &self, epoch: EpochNumber, ) -> Result<EpochMembership<T>, ValidationError>