pub fn commit_hiding_ty() -> Expr
CommitHiding : CommitmentScheme → Prop
Hiding: the commitment c = Commit(m, r) reveals no information about m to a computationally bounded adversary.
c = Commit(m, r)
m