pub fn pedersen_commitment_ty() -> Expr
PedersenCommitment : Type
Pedersen commitment scheme: Com(m, r) = g^m * h^r in a cyclic group. Perfectly hiding (statistically), computationally binding under DLH.