proof-verification system