cleanup-protocol-state

graph LR ms-->fb subgraph off-chain state fb["Free Balance (ETH) Local Nonce: k + 1 Alice has 11 ETH Bob has 9 ETH"] end subgraph on-chain state ms["AB Multisignature Wallet Balance: 20 ETH"] end