Module tendermint_light_client::contracts

Predicates used in components contracts.

Functions

• is_within_trust_period
  Whether or not the given block is within the given trusting period, relative to the given time.
• light_store_contains_block_within_trusting_period
  Whether or not the given light store contains a trusted block within the trusting period.
• trusted_store_contains_block_at_target_height
  Whether or not the given light store contains a verified or trusted block at the given target height.