pub fn verify_vm_stark_proof_pvs( vk: &VmStarkVerifyingKey, proof: &VmStarkProof, ) -> Result<(), VerifyStarkError>