proofcodec_verify
