> ## Documentation Index
> Fetch the complete documentation index at: https://docs.kontor.network/llms.txt
> Use this file to discover all available pages before exploring further.

# Kontor Optimistic Consensus

The Optimistic Consensus specification provides a formal description of the protocol for sub-block transaction confirmation.

<a href="https://storage.googleapis.com/kontor-docs-assets/optimistic-consensus/2026-01-22_kontor-optimistic-consensus.pdf" target="_blank" className="block">
  <Card title="Kontor Optimistic Consensus Specification" icon="file-pdf">
    Read the complete consensus protocol specification (PDF)
  </Card>
</a>

## Key Topics Covered

* Protocol model with state-machine replication and threat model
* Transaction submission, validation, and batch formation
* State execution ordering and finalization criteria
* Stake requirements, rewards, and slashing conditions
* Security analysis with safety, liveness, and accountability proofs
* Formal verification in Lean 4