Proof Generation

After scanning for incoming transfers (see Receiving), you generate a zero-knowledge proof to claim your tokens on-chain. The SDK handles proof generation internally -- you supply the data from collectRedeemContext and get back ready-to-submit calldata.

Two Proof Modes

Mode	Use case	Gas cost
Single (Groth16)	Claiming one transfer	Higher per-transfer
Batch (Nova + Decider)	Claiming multiple transfers at once	Lower per-transfer

Single Proof

Use this when redeeming a single eligible transfer.

const sdk = createSdk();

// `redeemContext` comes from collectRedeemContext() -- see Receiving page
const artifacts = await sdk.teleportProofs.createSingleTeleportProof({
  aggregationState: redeemContext.aggregationState,
  recipientFr,
  secretHex,
  event: redeemContext.events.eligible[0],
  proof: redeemContext.globalProofs[0],
});

Submit on-chain:

import { getVerifierContract } from "zerc20-client-sdk";

const verifier = getVerifierContract({ publicClient, walletClient, address: verifierAddress });

const txHash = await verifier.write.singleTeleport([
  artifacts.proofCalldata,
  artifacts.publicInputs,
  artifacts.treeDepth,
]);

Batch Proof

Use this when redeeming multiple eligible transfers at once. Batch proofs are finalized through a Decider service that converts the Nova IVC proof into a Groth16 proof for on-chain verification.

import { createSdk, HttpDeciderClient } from "zerc20-client-sdk";

const sdk = createSdk();
const decider = new HttpDeciderClient("https://decider.intmax.io");

const artifacts = await sdk.teleportProofs.createBatchTeleportProof({
  aggregationState: redeemContext.aggregationState,
  recipientFr,
  secretHex,
  events: redeemContext.events.eligible,
  proofs: redeemContext.globalProofs,
  decider,
});

Submit on-chain:

const verifier = getVerifierContract({ publicClient, walletClient, address: verifierAddress });

const txHash = await verifier.write.teleport([
  artifacts.deciderProof,
  artifacts.finalState,
  artifacts.steps,
]);

Next Steps

• Receiving -- scanning for incoming transfers and building proof inputs

• SDK Quick Start -- installation and first private send

• Wrap and Unwrap -- converting between underlying tokens and zERC20