Struct reef::cap::Validator

pub struct Validator<const H: u8> {
    pub block_height: u64,
    pub records_commitment: MerkleCommitment,
    pub records_frontier: MerkleFrontier,
}

A mock CAP validator.

The minimal validator will not actually validate. It only does the least it can do to implement the Validator interface, namely

• compute a unique commitment after each block (this is just the count of blocks)
• compute the UIDs and Merkle paths for the outputs of each block

Fields

block_height: u64

records_commitment: MerkleCommitment

records_frontier: MerkleFrontier

Trait Implementations

impl<'a, const H: u8> Arbitrary<'a> for Validator<H>

fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl<const H: u8> Clone for Validator<H>

fn clone(&self) -> Validator<H>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const H: u8> Debug for Validator<H>

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

Formats the value using the given formatter.

impl<const H: u8> Default for Validator<H>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, const H: u8> Deserialize<'de> for Validator<H>

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

Deserialize this value from the given Serde deserializer.

impl<const H: u8> PartialEq<Validator<H>> for Validator<H>

fn eq(&self, other: &Validator<H>) -> bool

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

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<const H: u8> Serialize for Validator<H>

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

Serialize this value into the given Serde serializer.

impl<const H: u8> Validator for Validator<H>

type StateCommitment = u64

A commitment to the state of the validator.

type Block = Block

Blocks applied by this validator.

type Proof = ()

Additional data required to authenticate a committed block, not contained in the block itself.

fn block_height(&self) -> u64

The number of blocks this validator has applied.

fn commit(&self) -> Self::StateCommitment

The commitment to the current state of the validator.

fn next_block(&self) -> Self::Block

Build a block on top of the current state of this validator.

fn validate_and_apply( &mut self, block: Self::Block, _proof: Self::Proof ) -> Result<(Vec<u64>, MerkleTree), ValidationError>

Apply a new block, updating the state and returning UIDs and Merkle paths for each output.

impl<const H: u8> Eq for Validator<H>

impl<const H: u8> StructuralEq for Validator<H>

impl<const H: u8> StructuralPartialEq for Validator<H>