客户端状态验证函数
Solo Machine 轻客户端成功完成状态验证后，将产生以下结果：- 序列号加 1。
通过 Header 更新
通过 header 成功更新 Solo Machine 轻客户端后，将产生以下结果：- 公钥更新为 header 提供的新公钥。
- diversifier 更新为 header 提供的新 diversifier。
- 时间戳更新为 header 提供的新时间戳。
- 序列号加 1。
- 共识状态被更新（共识状态存储公钥、diversifier 和时间戳）。
通过治理提案更新
通过治理提案成功更新 Solo Machine 轻客户端后，将产生以下结果：- 客户端状态更新为替代客户端状态。
- 共识状态更新为替代共识状态（共识状态存储公钥、diversifier 和时间戳）。
- 冻结序列号被设置为 0（如果客户端此前已被冻结，则将被解冻）。
升级
Solo Machine 轻客户端不支持客户端升级。不会发生状态转换。异常行为
Solo Machine 轻客户端成功处理异常行为后，将产生以下结果：- 冻结序列号被设置为发生异常行为时对应的序列号。
Client State Verification Functions
Successful state verification by a solo machine light client will result in:- the sequence being incremented by 1.
Update By Header
A successful update of a solo machine light client by a header will result in:- the public key being updated to the new public key provided by the header.
- the diversifier being updated to the new diviersifier provided by the header.
- the timestamp being updated to the new timestamp provided by the header.
- the sequence being incremented by 1
- the consensus state being updated (consensus state stores the public key, diversifier, and timestamp)
Update By Governance Proposal
A successful update of a solo machine light client by a governance proposal will result in:- the client state being updated to the substitute client state
- the consensus state being updated to the substitute consensus state (consensus state stores the public key, diversifier, and timestamp)
- the frozen sequence being set to zero (client is unfrozen if it was previously frozen).
Upgrade
Client udgrades are not supported for the solo machine light client. No state transition occurs.Misbehaviour
Successful misbehaviour processing of a solo machine light client will result in:- the frozen sequence being set to the sequence the misbehaviour occurred at