Kontor Optimistic Consensus Specification
Read the complete consensus protocol specification (PDF)
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