zkzkHeliosDocs

TypeScript SDK

@zkhelios/sdk — a typed client over the Anchor program and circuit tooling.

Constructor

ts
new ZkHelios({ cluster: "mainnet-beta" | "devnet" | "localnet", wallet? })

Proving

  • proveBalance({ token?, min, balance }) → ProofBundle
  • proveOwnership({ collection, mint })
  • proveAge({ minAgeDays, createdAtSlot })
  • proveMembership({ root, leaf })
  • proveCustom({ circuit, inputs })

Submit & verify

ts
const { signature, proofAccount } = await zk.submitProof(bundle);
const proof = await zk.getProof(proofAccount);
const ok = await zk.verify(bundle); // off-chain re-check

Formatting helpers

ts
import { groth16ToSolana, encodeProof } from "@zkhelios/sdk";

const args = groth16ToSolana(bundle.proof, bundle.publicSignals);
const shareLink = encodeProof(bundle); // for /verify?proof=…
PreviousBuild a custom circuitNextProgram reference