proofloop_verify
