ProofVerification tagslist