Off-Chain sequence¶

(not-so-standard sequence diagram) For a better overview, also check out how the smart contract does a balance-proof validation.