Module light_client

Source
Expand description

Types and structs associated with light client state

Structs§

GenericLightClientState
A light client state
GenericPublicInput
Public input to the light client state prover service
GenericStakeTableState
Stake table state
StateKeyPair
Key pairs for signing/verifying a light client state
StateSignatureRequestBody
Request body to send to the state relay server
StateSignaturesBundle
The state signatures bundle is a light client state and its signatures collected

Constants§

STAKE_TABLE_CAPACITY
Capacity of the stake table, used for light client TODO(Chengyu): this should be loaded from the sequencer config

Traits§

ToFieldsLightClientCompat
This trait is for light client use. It converts the stake table items into field elements. These items will then be digested into a part of the light client state.

Functions§

hash_bytes_to_field

Type Aliases§

CircuitField
Base field in the prover circuit
GenericLightClientStateMsg
LightClientState
Concrete type for light client state
LightClientStateMsg
Concreate type for light client state message to sign
PublicInput
Concrete for circuit’s public input
StakeTableState
Concrete type for stake table state
StateSignKey
Signing key for signing a light client state
StateSignature
Signatures
StateSignatureScheme
Signature scheme
StateVerKey
Verification key for verifying state signatures