Protocol Patterns

Apply the proof tools to protocol-shaped systems. Learn patterns for tokens, access control, and state machines that need durable guarantees.

Token Systems

Proving conservation laws, mint/burn accounting, and transfer safety for token contracts.

Proving authorization properties, role-based guards, and permission hierarchies for smart contracts.

Proving transition guards, valid state invariants, and history tracking for protocol state machines.