> Use ZK to count up all the balances without revealing them outside of the sum total

that's how UTXOs already work in privacy coins: pedersen commitments + bulletproofs are used to self-audit every balance without revealing them outside of the sum total https://www.moneroinflation.com/amounts_confidential_tx