Abstract We study Collision-Resistant Hash Functions (CRHF) that allow to compute proofs
related to some predicate on the values that are hashed. We explore this idea with …