pub type Nonce = u64;
Per-account transaction counter. Increments by 1 with each committed tx from the same sender; replay is detected at the state-application layer.