Vector Commitments with Efficient Proofs学习笔记