pub fn vector_commitment_position_binding_ty() -> Expr
VectorCommitmentPositionBinding : VectorCommitment → Prop
Position-binding: it is infeasible to open position i to two different values.