Design of foundational Vector Commitment schemes