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§

§

impl ValidatorVerifier

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

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.

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

Initializes a validator verifier with a specified quorum voting power.

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

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

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

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

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

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

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

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.

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

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

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.

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

Returns the public key for this address.

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

Returns the voting power for this address.

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

Returns an ordered list of account addresses as an Iterator.

pub fn len(&self) -> usize

Returns the number of authors to be validated.

pub fn is_empty(&self) -> bool

Is there at least one author?

pub fn quorum_voting_power(&self) -> u64

Returns quorum voting power.

Trait Implementations§

§

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.
§

fn arbitrary_with( _top: <ValidatorVerifier as Arbitrary>::Parameters ) -> <ValidatorVerifier as Arbitrary>::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
§

impl Clone for ValidatorVerifier

§

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
§

impl Debug for ValidatorVerifier

§

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

Formats the value using the given formatter. Read more
§

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

§

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

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

impl Display for ValidatorVerifier

§

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

Formats the value using the given formatter. Read more
§

impl From<&ValidatorSet> for ValidatorVerifier

§

fn from(validator_set: &ValidatorSet) -> ValidatorVerifier

Converts to this type from the input type.
§

impl From<&ValidatorVerifier> for ValidatorSet

§

fn from(verifier: &ValidatorVerifier) -> ValidatorSet

Converts to this type from the input type.
§

impl PartialEq<ValidatorVerifier> for ValidatorVerifier

§

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.
§

impl Serialize for ValidatorVerifier

§

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

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

impl Eq for ValidatorVerifier

§

impl StructuralEq for ValidatorVerifier

§

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> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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
§

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

§

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> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

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