xfuel-verify-proof

XFuel: Verify Proof

Confirm that an XFuel task produced a valid SP1 settlement proof and settled on-chain. (Tier-2 attests settlement metadata + output commitment — not black-box model correctness.)

Prerequisites

• XFUEL_API_URL, XFUEL_API_KEY.
• Optional on-chain check: Base RPC + ZK_VERIFIER_ADDRESS (ZKVerifierSP1 on Base). See ../_shared/reference/env-and-endpoints.md and docs/RUNTIME_STATE.md.

Parameters

Procedure

1. Fetch the proof:

   import { XFuelClient } from 'xfuel-sdk';
   const client = new XFuelClient({ baseUrl: process.env.XFUEL_API_URL, apiKey: process.env.XFUEL_API_KEY });
   const proof = await client.getProof(task_id);
   // proof.sp1_proof = { proof, publicInputs/publicValues, nullifier, provingTimeMs }
   

   If it returns 409 task_not_settled, the task is not complete yet — poll client.getTaskStatus(task_id) first.

2. Inspect the public values (AITaskPublicValues): taskType, sourceChain, destChain, taskIdHash, senderHash, netAmount, feeAmount, feeBps, outputHash, blockHeight, timestamp, nonce. See ../_shared/reference/public-values.md.

3. If expected_output was given, compute keccak256(expected_output) and assert it equals outputHash.

4. If on_chain, read the verifier (read-only, no key needed) via the SDK on-chain module (uses the verified usedNullifiers accessor):

   import { XFuelOnChain } from 'xfuel-sdk/onchain'; // requires `ethers` peer dep
   const chain = new XFuelOnChain({
     rpcUrl: process.env.THETA_RPC_URL,            // Theta ETH-RPC (public or dedicated; not ZAN)
     zkVerifierAddress: process.env.ZK_VERIFIER_ADDRESS,
   });
   const spent = await chain.isNullifierUsed(proof.sp1_proof.nullifier);