Re-verify this verdict

Task sandwich-08 · build scripted-naive-frontier-v1 · trial judge-sample-2049

✗ Failure Evidence E4 Reproducible

What was judged

Verdict hash: 0x9fefde4391a42a16daf6e21aa3accfe0884e7e42825cd700b941c3163d1d7092
Trace hash: 0x5b3fa8a6fe2ea0bf0ab22fd6a6945deed0b03ac767509fa63506b7df63149b58
Task spec hash: 0x3c75c99fc58a6eb8488a3f1d36313769609ac8d86900ce14fac7d0a7a8a80f9d
Evaluator: 0x6f1b3cdd7035afc9797e9895db335e1bfb1f3b18b9efffa95eea7532e12adcbe · judge v1.0.0
Release: commit 804cee374f3e · image sha256:3901f8033ecc…8029d5 · allow-listed on Ethereum Sepolia
Hardware: None: this run was not inside a TEE. The proof is reproducibility: anyone can recompute it.

Recompute in your browser

Runs the published evaluator in this browser tab on the stored trace. The bundle is only executed if its SHA-256 equals the evaluator digest.

Recompute on your machine

Node.js 20 or later, no install. The kit checks the bundle digest, runs the judge and compares the hashes:

curl -sO https://karatum.com/verify/kit.mjs
node kit.mjs 'judge-sample-2049:sandwich-08:scripted-naive-frontier-v1'

From the source tree: pnpm --filter @karatum/judge build rebuilds the bundle byte-for-byte (same digest), then pnpm verify-verdict 'judge-sample-2049:sandwich-08:scripted-naive-frontier-v1' also checks the Sepolia attestations and JudgeVerifier.checkVerdict.

Zero-knowledge proof zk-proven on-chain

A succinct proof (SP1 v6.1.0, groth16) shows that the registered judge program, run on this verdict's trace, outputs exactly this verdict hash. Checking it needs neither Karatum nor TEE hardware: ZkJudgeVerifier.check on Ethereum Sepolia returns level 4 ZK_PROVEN. It proves the judging, not that the evidence in the trace is what happened on the fork.

Batch: judge-sample-2049:all:134 · 134 verdicts · leaf #114
Batch root: 0xe34d4ed032465fe51904e577ad97f763669b50486b99ed3f38d24aad4f622983
Program vkey: 0x002d2d2187a66f42137573dd444681fbcfd7b07e9534a1ace7f6ed70ef922ecd · allow-listed in EvaluatorRegistry
Proof: 0x4388a21c00000000…48c73e (356 bytes) · 91,824,236 RISC-V cycles · proved in 54.4 min on CPU
Inclusion: leaf 0x2c21b67d1d71…45dfd2 · 8 sibling hashes
On-chain: submitBatch 0x32afdb4320…a4fab7 · block 11933344 · 812,975 gas · ZkJudgeVerifier

cast call 0xab179e5a8BA1b5B4a361665d15a9cBFE7402735c \
  "check(bytes32,bytes32,bytes32,bytes32[])(uint8,bytes32)" \
  0xe34d4ed032465fe51904e577ad97f763669b50486b99ed3f38d24aad4f622983 \
  0x5b3fa8a6fe2ea0bf0ab22fd6a6945deed0b03ac767509fa63506b7df63149b58 \
  0x9fefde4391a42a16daf6e21aa3accfe0884e7e42825cd700b941c3163d1d7092 \
  "[0x21980e3a9e1daa0239064c391c1ac876ab3b3896a7c78b55410ba63aac1742c1,0xdd638786adc1912d7f122355e8ef526f0c7c86c7c1f0f1b6703294c54b43b322,0x4d4dadb79b134b1223df0797f4a9cbe5e8fa0974912f0d2e840d72dba46b66f3,0xd890f92ded0526a88dae3f881d93ef36ee58b3e74b7242caf469b8df8bb017c7,0x9430ce7cc542161d862be9d585333a3f4a2bdd4b05c821f00552e54de024cc12,0xdb3417683d2bf067fad04f41383cfdc6c287740d4a48723b69b98760eac110b7,0xe938236cff32858bf4d4c5438883efea00065c776577511bfb208dc3a5df8aa9,0xf1628990d677fda864b2bdadd891dcf155085c0c85f47958eb0cf33bb1330da9]" --rpc-url https://ethereum-sepolia-rpc.publicnode.com

How the zk-proven judge works, costs and all batches · inclusion proof as JSON: /v1/zkjudge/verdicts/…

On-chain

Verdict attestation: 0xe56582c0420b…fd9e7c
Judge provenance: 0x7bca9096b45c…cfb6b1
Verifier: JudgeVerifier (checkVerdict(verdictUid, provenanceUid)) and EvaluatorRegistry

How the verifiable judge works · Verdict details