Formal Verification

This page is a placeholder. Content will be added as the verification effort matures.

Planned topics

• What "formally verified" means in the context of a consensus client
• Specification source of truth
• Proof obligations and discharged theorems
• Trust assumptions (compiler, prover kernel, hardware)