pub trait SoundChain { }Expand description
Definition (Sound justification chain). A JustificationChain carried by a confirmed
certificate for block B is sound when every link’s signatures form a quorum over the
Validated payload reconstructed for that link — the payload with B’s hash, the link’s
round, the previous link’s round as unlocking round, and the previous link’s commitment.
audit_confirmation returns an empty list exactly when the chain is sound: it reconstructs
each link’s payload in order and calls check_signatures on it, returning at the first
failure. Soundness is not implied by the certificate verifying:
LiteCertificate::check deliberately skips the links, relying instead on the attestation
carried by the quorum above them, which is what makes ChainAuditability the fallback.