Consistent Hashing Proofs