The Isabelle proof added in https://github.com/raiden-network/spec/pull/206 only talks about how the settlement algorithm works with the up-to-date balance proofs. For older balance proofs, it's worthwhile proving that the party who submits an older balance proof can only lose tokens.
The Isabelle proof added in #206 only talks about how the settlement algorithm works with the up-to-date balance proofs.
For older balance proofs, it's worthwhile proving that the party who submits an older balance proof can only lose tokens.