Function commitment_scheme_ty 

pub fn commitment_scheme_ty() -> Expr

CommitmentScheme : Type

A commitment scheme (Setup, Commit, Open, Verify):

• Commit(m, r) → c (commit to m with randomness r)
• Verify(c, m, r) → Bool (verify opening)