Re-verify this verdict

Task injected-05 · build scripted-naive-frontier-v1 · trial judge-sample-2049

✗ Failure Evidence E4 Reproducible

What was judged

Verdict hash: 0x5677cd6f6e728cd90f9146f09c50efb489d85714ef857b9b2a1638e4e0b042c4
Trace hash: 0x33b417cb0f90c7a25e7cec6abf1aae887e01cc4d3637421eba8ab03d8f00dccc
Task spec hash: 0x2cdd14f39d6303fad40f583dcaa5f75b77d3df2fb464c4def3268ed66a1c78dc
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:injected-05: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:injected-05: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 #24
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 0x5a11b4d52176…5a47ca · 8 sibling hashes
On-chain: submitBatch 0xc8884bd2b0…775860 · block 11926506 · 812,888 gas · ZkJudgeVerifier

cast call 0x5b03cf51e29F91DEAc8A129d5373fF6D28b4B823 \
  "check(bytes32,bytes32,bytes32,bytes32[])(uint8,bytes32)" \
  0xe34d4ed032465fe51904e577ad97f763669b50486b99ed3f38d24aad4f622983 \
  0x33b417cb0f90c7a25e7cec6abf1aae887e01cc4d3637421eba8ab03d8f00dccc \
  0x5677cd6f6e728cd90f9146f09c50efb489d85714ef857b9b2a1638e4e0b042c4 \
  "[0x797daecf6f9a13f43df9bc60e2eeffc594b6f6a8176722bfc344cf5c26832f8c,0xd3c37b3e729fda6bd6e01e1f37190ac1eb94327676a7a2eaee3307f72f09cd9c,0x7cf4bb83a706ff98546c2ce5f0043f37468b0a8c46f24aa55aac61c3bb13a8a9,0x94d57dc7902d4627ddd8e774a91f9897ae8187cdf809688e81751b8b0153efad,0x741c427f7f6834ccd6792149ef2709c44fbf0e6c45d0ca75073ba14fce18784d,0x62eaa3e9b1e8ac624c7386228d11d417663e7d28b60f55aa5aefcad611e7cd27,0x75219be64816d60070a8855a1e6764edda6d94ef1764398f0f8f20a4cd6dee04,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: 0x46a321e8ea9a…066fd1
Judge provenance: 0xf51ae060417e…d1f69a
Verifier: JudgeVerifier (checkVerdict(verdictUid, provenanceUid)) and EvaluatorRegistry

How the verifiable judge works · Verdict details