pub fn commitment_scheme_ty() -> Expr
CommitmentScheme : Type
A commitment scheme (Com, Open): Com(m, r) → c (hiding phase), Open(c, m, r) → Bool (binding phase). Instantiated by Pedersen or hash-based commitments.