A withdrawal from a program-owned account's confidential balance to its public balance: the
apply (when something is pending), the two proofs and the Withdraw, for one v1 transaction.
With amount 0 it is a checked apply, as applyPendingBalance() makes: the withdrawal of zero
proves the balance the apply leaves, so a credit landing in between makes Token-2022 refuse the
whole transaction rather than leave the account's two copies of its balance apart.
A withdrawal from a program-owned account's confidential balance to its public balance: the apply (when something is pending), the two proofs and the
Withdraw, for one v1 transaction. Withamount0 it is a checked apply, as applyPendingBalance() makes: the withdrawal of zero proves the balance the apply leaves, so a credit landing in between makes Token-2022 refuse the whole transaction rather than leave the account's two copies of its balance apart.