Vector Commitments for Proof of Space and Merkle Trees