Module light_client 

Helpers and test mocks for Light Client logic

Functions

derive_signed_state_digest

Derive the signed state digest used for LCV3 light-client signatures: keccak256(abi.encodePacked(abi.encode(state) || abi.encode(stake) || abi.encode(auth_root))), converted to a CircuitField.

validate_light_client_state_update_certificate

Validates a light client state update certificate: