docs / Verification and Replay

Verification and Replay

Nothing here requires a token, an account, or Signal's cooperation.

• · 1. Fetch s₀ and σ from the registry and verify the published hash.
• · 2. Fetch f from the stated commit and confirm the commit hash matches the record.
• · 3. Apply f from s₀ through the latest checkpoint, tick by tick, on your own machine.
• · 4. Compare your recomputed state hash to the published H_t. They match, or the record is wrong.

Why it is worth doing#

The point of determinism is that disagreement is resolvable. If a published checkpoint does not match an honest replay, that is a fact anyone can demonstrate, not an opinion to be argued about.