Skip to main content

commit_hiding_ty

Function commit_hiding_ty 

Source
pub fn commit_hiding_ty() -> Expr
Expand description

CommitHiding : CommitmentScheme → Prop

Hiding: the commitment c = Commit(m, r) reveals no information about m to a computationally bounded adversary.