Publishes the verification of THNVM schemes.