Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers