Measuring the stars…

SXTNT
Docs · SDK reference

Read the chart.
Then take the sight.

The SXTNT SDK is a thin wrapper around a small JSON-RPC. Use it from TypeScript, Rust, or any language with an HTTP client. The same job payload works across all three schemes.

Getting started

Install the SDK, set an API key (claim one on /compute with a Solana wallet), and submit a folded job. Three steps.

1 · Install

ts
npm install @sxtnt/sdk
# or
pnpm add @sxtnt/sdk

2 · Make a client

ts
"text-sightline">import { Sxtnt } "text-sightline">from "@sxtnt/sdk";

"text-sightline">export "text-sightline">const sx = "text-sightline">new Sxtnt({
  apiKey: process.env.SXTNT_API_KEY!,
});

3 · Submit a job

ts
"text-sightline">const job = "text-sightline">await sx.compute.submit({
  template: "tinyllama-attest",
  scheme: "hypernova",
  input: { prompt: "Few stars. Whole position." },
});

"text-sightline">const verified = "text-sightline">await job.waitForVerification();
console.log("proof", verified.proofSizeKb, "KB");
console.log("solana sig", verified.solanaSignature);

API reference

POST/folding/simulate
Body
{ subProofs: number, scheme: 'nova' | 'supernova' | 'hypernova' }
Returns
FoldingSimulationResult
Note
Read-only — no API key. Used by the folding visualizer.
POST/compute/jobs
Body
{ template: string, scheme: Scheme, input: any }
Returns
{ jobId: string, status: 'queued' }
Note
Requires Authorization: Bearer <api key>.
GET/compute/jobs/:jobId
Returns
{ jobId, status, proofSizeKb?, solanaSignature?, foldCount? }
Note
Long-poll friendly with status=verified terminal state.
GET/marketplace/templates
Returns
MarketplaceTemplate[]
Note
Public listing of all circuits available on the marketplace.

Folding schemes compared

Pick the scheme that matches your circuit shape. SXTNT exposes the same SDK call across all three; only the scheme field changes.

SchemeBest forFold ms / proofFinal sizeNotes
NovaUniform circuits, single step type.12 ms24 KBFoundational scheme. Relaxed-R1CS folding.
SuperNovaNon-uniform — multiple step types.8.5 ms28 KBSwitches circuits per step, saves columns.
HyperNovaCustom constraints, highest compression.6.2 ms32 KBCCS over Plonkish. Smallest accumulator.

Examples

Verifiable LLM attest

Fold token-by-token TinyLlama inference and attest the transcript.

ts
"text-sightline">const job = "text-sightline">await sx.compute.submit({
  template: "tinyllama-attest",
  scheme: "hypernova",
  input: { prompt: "Few stars. Whole position." },
});

"text-sightline">const verified = "text-sightline">await job.waitForVerification();
console.log("proof", verified.proofSizeKb, "KB");
console.log("solana sig", verified.solanaSignature);

Cross-chain header bundle

Fold a thousand light-client headers in one accumulator.

ts
"text-sightline">const job = "text-sightline">await sx.compute.submit({
  template: "tmpl-lc-eth",
  scheme: "hypernova",
  input: { fromSlot: 8_400_000, count: 1024 },
});

"text-sightline">const v = "text-sightline">await job.waitForVerification();
solanaProgram.send(v.proof, v.publicInputs);