Vector Commitment Design, Analysis, and Applications: A Survey | AMiner