Testnet: tokens have no value, and the vulnerable contracts are our own test fixtures. Limits

Run 47 · round check · Attested on NEAR · Antibody

Run · round check · program 5

Run 47

The enclave's check of round 2's proposed fix for program 5: a valid round, its canaries still succeeding.

answeredAttested on NEARRound 2: release gate holds

What the enclave answered

The run as near-antibody records it: a round check's output, not a verdict. Every hash below is checkable against NEAR.

Mode: check_round
A round check: the enclave checked a proposed fix before its re-runs.
What it produced: valid roundcanaries succeedThe enclave checked the proposed fix at the anchor: only target code changed, every rule kept, check() holds, the canaries still succeed, and each release replaces a proxy's implementation.
Not a verdict: this run does not judge a proof, so it has no kind, keys or impact of its own.
Level: Attested on NEAR
Receipt sha256: 13e4d664c46d5da5…, receipt sha256: 13e4d664c46d5da5dbf1e75e89a00dd4fbef12f56b0613bc0208dfa37d8f2b6d
Request sha256: 125310309be98b7a…, request sha256: 125310309be98b7a67b3efdbad28207d751a0b1584a3598e9930b250eea3e329
The SHA-256 of the input near-antibody sent the enclave: its result and its attestation bind to the same bytes.
Output sha256: e5f9980be6aebea6…, output sha256: e5f9980be6aebea67a6d6b35a9b09bf191e9d407ac6cf20310a88e8ff4cd6f5f
The SHA-256 of the facts near-antibody received: the TDX quote binds it.
Started: 2026-11-04 16:06:18 UTCHbfLgvjk…, NEAR transaction: HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB, opens an explorer in a new tab
Answered: 2026-11-04 16:06:31 UTC13 s after it was requestedHbfLgvjk…, NEAR transaction: HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB, opens an explorer in a new tab
Commit: none: this run is the program's own
Program: Program 5round 2
Paid for by: acme.antibody.testnet, account: acme.antibody.testnet the program's project

Timeline

Every step is a NEAR transaction, timed by block from the run's request.

0.0 s (the run's request)
Run 47 requested · round check
Requested and paid for by the project (acme.antibody.testnet).
HbfLgvjk…, NEAR transaction: HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB, opens an explorer in a new tab2026-11-0416:06:18 UTC · block 276,217,264
0.0 s (the run's request)
Round 2 proposed
The project proposed a fix; the enclave checks it in this run before any re-run.
HbfLgvjk…, NEAR transaction: HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB, opens an explorer in a new tab

How it is checked

Three levels, each a check you can run yourself. The first two decide payouts; the zero-knowledge proof sits beside them.

Enclave verdictreached

What the enclave answered

OutLayer's operator delivered the enclave's output to near-antibody: its check of the proposed round, receipt 13e4d664c46d…, receipt sha256: 13e4d664c46d5da5dbf1e75e89a00dd4fbef12f56b0613bc0208dfa37d8f2b6d. A round check judges no proof: its answer is not a verdict.

Delivered in HbfLgvjk…, NEAR transaction: HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB, opens an explorer in a new tab

Check it yourself

antibody status --run 47

The raw record

Exactly what the API read from near-antibody's get_run view, for your own tools.

The run as near-antibody stores it (JSON)

get_run {"run_id": 47}

{
  "commit": null,
  "id": 47,
  "mode": "check_round",
  "outcome": {
    "Answered": {
      "at": 1793808391,
      "facts": {
        "extra": {
          "RoundCheck": {
            "canaries_ok": true,
            "ok": true
          }
        },
        "impact_usd_micro": "0",
        "keys": [],
        "kind": "NoViolation",
        "protected_harm_usd_micro": "0",
        "reason": null,
        "receipt_sha256": "13e4d664c46d5da5dbf1e75e89a00dd4fbef12f56b0613bc0208dfa37d8f2b6d"
      },
      "output_sha256": "e5f9980be6aebea67a6d6b35a9b09bf191e9d407ac6cf20310a88e8ff4cd6f5f",
      "tier": "T1"
    }
  },
  "payer": "acme.antibody.testnet",
  "program": 5,
  "request_sha256": "125310309be98b7a67b3efdbad28207d751a0b1584a3598e9930b250eea3e329",
  "round": 2,
  "signer": "acme.antibody.testnet",
  "started_at": 1793808378
}

Attested on NEARreached

Its Intel TDX quote, verified on NEAR

OutLayer's attestation names the pinned verifier wasm and the sha256 of the request near-antibody sent and of the output it received; NEAR's DCAP verifier accepted the run's Intel TDX quote over it. A round check's result counts only once its run is attested on NEAR.

Attested in QD68ZhXg…, NEAR transaction: QD68ZhXgM8pzf8fRNHpLXfq5omEt1xaX9EH4n5e4NZT, opens an explorer in a new tab

Check it yourself

tx HbfLgvjkwR… · NEAR archival RPC

antibody tee check --request-id <the run's OutLayer request>

outlayer-verify tx HbfLgvjkwRffLH1j5sKd98CeSyVrAY4jMcMHqKYE3gfB

view bounty.antibody.testnet.get_run({"run_id":47})

Holds if: the run is attested: its quote was verified on NEAR

What the enclave answered

Timeline

How it is checked

What the enclave answered

The raw record

Its Intel TDX quote, verified on NEAR

A zero-knowledge proof of the verdict