Verifier

Anyone can re-run any verdict. The replayer source, a prebuilt script and every corpus bundle by hash are served from this site; nothing to clone, nothing to install from us.

Files
Filesha256Size
replayer-src.tar.gze919c9dac40d0e90908b2f5d42.4 KB
verify.sh51ffbb20085ec6d16ad1c29a2.3 KB

Engine dc64993fd49a35911540e8051b3970580574c185, built 2026-11-02.

Re-run a verdict
curl -sO https://www.proofofdecompile.com/verifier/replayer-src.tar.gz curl -sO https://www.proofofdecompile.com/verifier/verify.sh sh verify.sh <proof number>

The script downloads the corpus bundle and the report of the proof, checks their hashes, builds the replayer with cargo, and replays the original binary against the candidate the judge built. Re-running a PASS needs the source: for a proof you bought, pass the decrypted archive as the second argument.

How the judge works
Corpus bundles
VerdictProgramCorpus sha256Cases
#0001MemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr99ac7150ecd65eb331cfc3331000
FAILMemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr99ac7150ecd65eb331cfc3331000
FAILMemoSq4gqABAXKb96qnH8TysNcWxMyWCqXgDLGmfcHr99ac7150ecd65eb331cfc3331000