Struct tendermint_light_client::state::State

pub struct State {
    pub light_store: Box<dyn LightStore>,
    pub verification_trace: VerificationTrace,
}

The state managed by the light client.

Fields

light_store: Box<dyn LightStore>

Store for light blocks.

verification_trace: VerificationTrace

Records which blocks were needed to verify a target block, eg. during bisection.

Implementations

impl State

pub fn new(light_store: impl LightStore + 'static) -> Self

Create a new state from the given light store with an empty verification trace.

pub fn trace_block(&mut self, target_height: Height, height: Height)

Record that the block at height was needed to verify the block at target_height.

Preconditions

• height <= target_height

Contracts

Pre-condition: height <= target_height

pub fn get_trace(&self, target_height: Height) -> Vec<LightBlock>

Get the verification trace for the block at target_height.

Trait Implementations

impl Debug for State

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

Formats the value using the given formatter.