Type alias VPProof