Extension functions for creating and verifying VC/VP proofs