Function vector_commitment_ty 

pub fn vector_commitment_ty() -> Expr

VectorCommitment : Type

A vector commitment scheme VC = (Setup, Commit, Open, Verify):

• Commit to a vector (m_1, …, m_n) → C
• Open position i with proof π_i
• Binding at every position (position-binding)