Expand description
Trustless state verification for secure light clients
This module provides verification of:
- FROST threshold signatures on epoch checkpoints
- Ligerito state transition proofs
- NOMT inclusion/exclusion proofs
§Security Model
The trust hierarchy is:
- Level 0: Trust FROST signer majority (k-of-n honest)
- Level 1: Everything else is cryptographically verified
The client ONLY trusts that the FROST checkpoint was signed by honest signers. All state after the checkpoint is verified via ligerito proofs and NOMT proofs.
Structs§
- Commitment
Proof - Commitment tree inclusion proof
- Epoch
Checkpoint - Epoch checkpoint - trust anchor for state verification
- Frost
Public Key - FROST public key (aggregated Schnorr key)
- Frost
Signature - FROST threshold signature (Schnorr)
- Nomt
Proof - NOMT merkle proof for inclusion/exclusion
- Nullifier
Proof - Nullifier status proof (spent or unspent)
- Signer
Registry - Known signer sets for checkpoint verification
- State
Transition Proof - State transition proof from checkpoint to current height
- Trustless
State Proof - Complete trustless state proof
- Verified
State - Result of successful verification