pub struct ValidatorVerifier { /* private fields */ }
Expand description

Supports validation of signatures for known authors with individual voting powers. This struct can be used for all signature verification operations including block and network signature verification, respectively.

Implementations§

source§

impl ValidatorVerifier

source

pub fn new( address_to_validator_info: BTreeMap<AccountAddress, ValidatorConsensusInfo> ) -> Self

Initialize with a map of account address to validator info and set quorum size to default (2f + 1) or zero if address_to_validator_info is empty.

source

pub fn new_with_quorum_voting_power( address_to_validator_info: BTreeMap<AccountAddress, ValidatorConsensusInfo>, quorum_voting_power: u64 ) -> Result<Self>

Initializes a validator verifier with a specified quorum voting power.

source

pub fn new_for_testing( address_to_validator_info: BTreeMap<AccountAddress, ValidatorConsensusInfo>, quorum_voting_power: u64, total_voting_power: u64 ) -> Self

Initializes a validator verifier with a specified quorum voting power and total power.

source

pub fn new_single(author: AccountAddress, public_key: Ed25519PublicKey) -> Self

Helper method to initialize with a single author and public key with quorum voting power 1.

source

pub fn verify<T: Serialize + CryptoHash>( &self, author: AccountAddress, message: &T, signature: &Ed25519Signature ) -> Result<(), VerifyError>

Verify the correctness of a signature of a message by a known author.

source

pub fn verify_aggregated_struct_signature<T: CryptoHash + Serialize>( &self, message: &T, aggregated_signature: &BTreeMap<AccountAddress, Ed25519Signature> ) -> Result<(), VerifyError>

This function will successfully return when at least quorum_size signatures of known authors are successfully verified. Also, an aggregated signature is considered invalid if any of the attached signatures is invalid or it does not correspond to a known author. The latter is to prevent malicious users from adding arbitrary content to the signature payload that would go unnoticed.

source

pub fn batch_verify_aggregated_signatures<T: CryptoHash + Serialize>( &self, message: &T, aggregated_signature: &BTreeMap<AccountAddress, Ed25519Signature> ) -> Result<(), VerifyError>

This function will try batch signature verification and falls back to normal iterated verification if batching fails.

source

pub fn check_voting_power<'a>( &self, authors: impl Iterator<Item = &'a AccountAddress> ) -> Result<(), VerifyError>

Ensure there is at least quorum_voting_power in the provided signatures and there are only known authors. According to the threshold verification policy, invalid public keys are not allowed.

source

pub fn get_public_key(&self, author: &AccountAddress) -> Option<Ed25519PublicKey>

Returns the public key for this address.

source

pub fn get_voting_power(&self, author: &AccountAddress) -> Option<u64>

Returns the voting power for this address.

source

pub fn get_ordered_account_addresses_iter( &self ) -> impl Iterator<Item = AccountAddress> + '_

Returns an ordered list of account addresses as an Iterator.

source

pub fn len(&self) -> usize

Returns the number of authors to be validated.

source

pub fn is_empty(&self) -> bool

Is there at least one author?

source

pub fn quorum_voting_power(&self) -> u64

Returns quorum voting power.

Trait Implementations§

source§

impl Arbitrary for ValidatorVerifier

§

type Parameters = (<BTreeMap<AccountAddress, ValidatorConsensusInfo, Global> as Arbitrary>::Parameters, <u64 as Arbitrary>::Parameters, <u64 as Arbitrary>::Parameters)

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.
§

type Strategy = Map<(<BTreeMap<AccountAddress, ValidatorConsensusInfo, Global> as Arbitrary>::Strategy, <u64 as Arbitrary>::Strategy, <u64 as Arbitrary>::Strategy), fn(_: (BTreeMap<AccountAddress, ValidatorConsensusInfo, Global>, u64, u64)) -> ValidatorVerifier>

The type of Strategy used to generate values of type Self.
source§

fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args. Read more
§

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). Read more
source§

impl Clone for ValidatorVerifier

source§

fn clone(&self) -> ValidatorVerifier

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for ValidatorVerifier

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for ValidatorVerifier

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl Display for ValidatorVerifier

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl From<&ValidatorSet> for ValidatorVerifier

source§

fn from(validator_set: &ValidatorSet) -> Self

Converts to this type from the input type.
source§

impl From<&ValidatorVerifier> for ValidatorSet

source§

fn from(verifier: &ValidatorVerifier) -> Self

Converts to this type from the input type.
source§

impl PartialEq<ValidatorVerifier> for ValidatorVerifier

source§

fn eq(&self, other: &ValidatorVerifier) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Serialize for ValidatorVerifier

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl Eq for ValidatorVerifier

source§

impl StructuralEq for ValidatorVerifier

source§

impl StructuralPartialEq for ValidatorVerifier

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T> TestOnlyHash for Twhere T: Serialize + ?Sized,

source§

fn test_only_hash(&self) -> HashValue

Generates a hash used only for tests.
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

source§

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,