Struct ValidatorConfig 

pub struct ValidatorConfig { /* private fields */ }

The ordered set of validator public keys authorized to sign a block, and how many of them must sign.

The protocol does not support partial signing yet, so the quorum must be equal to the number of keys. The quorum stays a separate field because the block header commits to it. Thus a smaller quorum can be added later without a change to the shape of the commitment.

A block header commits to the ValidatorConfig authorized to sign the next block. A block’s signatures are verified positionally against the validator set committed to by its parent: the signature in slot i is checked against the key at index i in this set.

The number of validators is not fixed by the protocol: a chain may run with a single validator and grow its validator set over time by rotating in a larger ValidatorConfig (see ProposedBlock::with_next_validator_config), up to ValidatorConfig::MAX_VALIDATORS keys. The set holds at least one key, kept in a canonical order (sorted by their serialized bytes) so that the commitment is independent of the order in which the keys were provided.

Implementations

impl ValidatorConfig

pub const MAX_VALIDATORS: usize = 5

The maximum number of validator keys in a set.

pub fn new( keys: Vec<PublicKey>, quorum: u16, ) -> Result<Self, ValidatorConfigError>

Returns a new ValidatorConfig from the provided public keys and quorum.

The keys are sorted into a canonical order by their serialized bytes.

Errors

Returns an error if:

• keys is empty;
• keys contains more than ValidatorConfig::MAX_VALIDATORS keys;
• the set contains duplicate keys;
• quorum does not equal the number of keys.

pub fn keys(&self) -> &[PublicKey]

Returns the validator public keys in canonical order.

pub fn len(&self) -> usize

Returns the number of validator keys in the set.

pub fn is_empty(&self) -> bool

Returns false, as a validator set always contains at least one key.

pub fn quorum(&self) -> u16

Returns the number of validators that must sign a block for it to be valid.

pub fn to_commitment(&self) -> Word

Returns a commitment to the validator configuration.

It is committed to by the BlockHeader as a single word. Since the preimage covers every key, the commitment also implicitly binds the number of validators.

pub fn to_elements(&self) -> Vec<Felt>

Returns the preimage of ValidatorConfig::to_commitment as a sequence of field elements.

The element layout is:

[[quorum, 0, 0, 0], KEY_COMMITMENT_0, KEY_COMMITMENT_1, ..., KEY_COMMITMENT_N]

Trait Implementations

impl Clone for ValidatorConfig

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatorConfig

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

Formats the value using the given formatter.

impl Deserializable for ValidatorConfig

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for ValidatorConfig

impl PartialEq for ValidatorConfig

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

Equality operator ==.

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

Inequality operator !=.

impl SequentialCommit for ValidatorConfig

type Commitment = Word

A type of the commitment which must be derivable from Word.

fn to_elements(&self) -> Vec<Felt>

Returns a representation of the object as a sequence of fields elements.

fn to_commitment(&self) -> Self::Commitment

Computes the commitment to the object.

impl Serializable for ValidatorConfig

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for ValidatorConfig