zerc20-client-sdk 0.1.13 → 0.1.14

package/README.md

@@ -0,0 +1,261 @@
+# zerc20-client-sdk
+
+Client SDK for interacting with zERC20 privacy-preserving token system from browser or Node.js environments.
+
+## Overview
+
+zERC20 is a privacy-preserving, cross-chain ERC-20 token system that enables:
+
+- Private transfers using zero-knowledge proofs (Nova and Groth16 circuits)
+- Stealth transactions via a messaging layer on the Internet Computer (ICP)
+- Cross-chain functionality using LayerZero as the interoperability protocol
+
+This SDK provides TypeScript bindings for all client-side operations.
+
+## Installation
+
+```bash
+npm install zerc20-client-sdk
+```
+
+## Requirements
+
+- Node.js >= 18
+- Browser with WebAssembly support
+
+## Quick Start
+
+```typescript
+import { createSdk, preparePrivateSend, scanReceivings } from "zerc20-client-sdk";
+
+// Initialize SDK
+const sdk = createSdk({
+  // configuration options
+});
+
+// Create a stealth client for ICP communication
+const client = sdk.createStealthClient({
+  agent,
+  storageCanisterId,
+  keyManagerCanisterId,
+});
+
+// Prepare a private send
+const prepared = await preparePrivateSend({
+  client,
+  seed,
+  recipientChainId,
+  recipientAddress,
+  // ...
+});
+
+// Scan for received payments
+const announcements = await scanReceivings({
+  client,
+  vetKey,
+  // ...
+});
+```
+
+## Architecture
+
+```
+src/
+├── ic/           # Internet Computer (ICP) integration
+│   ├── client.ts       # StealthCanisterClient for canister communication
+│   ├── idl.ts          # Candid IDL factory definitions
+│   ├── encryption.ts   # IBE + AES-GCM encryption
+│   ├── authorization.ts # EIP-191 signing & VetKD authorization
+│   └── keys.ts         # View key derivation
+├── operations/   # High-level protocol operations
+│   ├── privateSend.ts  # Private payment flow
+│   ├── receive/        # Receive/scan announcements
+│   ├── invoice.ts      # Invoice creation
+│   ├── teleport.ts     # Single teleport proof
+│   ├── teleportProof.ts # Batch teleport proof (Nova + Decider)
+│   └── liquidityManager/ # Wrap/unwrap with slippage protection
+├── wasm/         # WASM runtime & bindings
+│   ├── index.ts        # WasmRuntime class
+│   ├── loader.ts       # WASM bindings loader (browser/Node.js)
+│   └── serialization.ts # Type conversion utilities
+├── zkp/          # Zero-knowledge proof orchestration
+├── decider/      # Decider proof generation (HTTP client)
+├── registry/     # Token & hub configuration
+├── onchain/      # Viem contract bindings
+└── utils/        # Shared utilities
+```
+
+## Key Modules
+
+### WasmRuntime
+
+Manages WASM module loading with dual runtime support (Browser/Node.js):
+
+```typescript
+import { WasmRuntime, getDefaultWasmRuntime } from "zerc20-client-sdk";
+
+// Use default singleton
+const runtime = getDefaultWasmRuntime();
+await runtime.ready();
+
+// Or create a custom instance
+const customRuntime = new WasmRuntime({
+  url: "https://example.com/zerc20_wasm_bg.wasm",
+});
+```
+
+### StealthCanisterClient
+
+Communicates with ICP canisters for announcements and invoices:
+
+```typescript
+import { StealthCanisterClient } from "zerc20-client-sdk";
+
+const client = new StealthCanisterClient(agent, storageCanisterId, keyManagerCanisterId);
+
+// Submit an announcement
+await client.submitAnnouncement(announcementInput);
+
+// List announcements
+const page = await client.listAnnouncements(startAfter, limit);
+```
+
+### Liquidity Manager
+
+Wrap and unwrap tokens with slippage protection:
+
+```typescript
+import {
+  unwrapWithLiquidityManager,
+  buildCrossUnwrapQuote,
+  applySlippage,
+} from "zerc20-client-sdk";
+
+// Local unwrap with slippage protection
+await unwrapWithLiquidityManager({
+  walletClient,
+  liquidityManagerAddress,
+  zerc20TokenAddress,
+  amount: 1000n,
+  minAmountOut: 950n, // Reject if output < 950
+});
+
+// Cross-chain unwrap with slippage tolerance (basis points)
+const quote = await buildCrossUnwrapQuote({
+  sourceToken,
+  destinationToken,
+  amount: 1000n,
+  account,
+  slippageBps: 50, // 0.5% slippage tolerance
+});
+```
+
+### Proof Generation
+
+```typescript
+import {
+  HttpDeciderClient,
+  createTeleportProofClient,
+  getDefaultWasmRuntime,
+} from "zerc20-client-sdk";
+
+const runtime = getDefaultWasmRuntime();
+await runtime.ready();
+
+const proofClient = createTeleportProofClient({ wasm: runtime });
+
+// Single teleport proof (Groth16)
+const singleProof = await proofClient.createSingleTeleportProof(/* ... */);
+
+// Batch teleport proof (Nova + Decider)
+const decider = new HttpDeciderClient("https://decider.example.com");
+const batchProof = await proofClient.createBatchTeleportProof({
+  decider,
+  // ... other inputs
+});
+```
+
+## Development
+
+### Build
+
+```bash
+npm run build
+```
+
+### Test
+
+```bash
+npm test
+```
+
+### Type Check
+
+```bash
+npm run typecheck
+```
+
+## Tests
+
+```bash
+npm test
+```
+
+**Current (as of 2026-02-06): 755 passed, 2 skipped**  
+Note: This number will drift over time; treat `npm test` output as the source of truth.
+
+### Skipped Tests
+
+1. **`src/zkp/__tests__/runNovaProver.test.ts`**
+   - Skipped when artifact files are missing
+   - Artifacts are expected under `public/artifacts/`:
+     - `withdraw_local_groth16_pk.bin`
+     - `withdraw_local_groth16_vk.bin`
+     - `withdraw_global_groth16_pk.bin`
+     - `withdraw_global_groth16_vk.bin`
+     - `withdraw_local_nova_pp.bin`
+     - `withdraw_local_nova_vp.bin`
+     - `withdraw_global_nova_pp.bin`
+     - `withdraw_global_nova_vp.bin`
+
+2. **`src/ic/__tests__/storage_localnet.test.ts`**
+   - Skipped by design
+   - Requires running local ICP replica (`dfx start`)
+
+## API Stability and Refactoring Policy
+
+`zerc20-client-sdk` is published and used by downstream applications (e.g. `zerc20-frontend`). As a rule, prefer non-breaking refactors.
+
+- Prefer importing from the package root (`import { ... } from "zerc20-client-sdk"`). Subpath imports are considered internal and may change.
+- Avoid changing the public surface (notably `src/index.ts` exports and re-exports) unless necessary.
+- Avoid breaking changes to the public surface (notably `src/index.ts` exports).
+- When a rename/restructure is desired, keep the old entrypoint and mark it `@deprecated`, and introduce the new API in parallel.
+- Deprecation guideline:
+  - Keep deprecated entrypoints for at least one minor release (or a clearly communicated timeframe) before removal.
+  - Removal (or behavioral changes) should only happen in a major version bump, with a migration note.
+- If a breaking change is unavoidable:
+  - Provide a migration note (old → new) in the release/PR description.
+  - Bump the version appropriately (SemVer).
+  - Validate against downstream usage (at minimum run TypeScript typecheck/build in `zerc20-frontend`).
+
+### Downstream Verification (Recommended)
+
+Before merging changes that touch public exports/types, validate against the downstream app:
+
+```bash
+# In zerc20-frontend
+npm run typecheck
+npm run build
+```
+
+## Dependencies
+
+- `@dfinity/*` - Internet Computer SDK
+- `viem` - Ethereum library
+- `@noble/curves` - Cryptographic primitives
+- `poseidon-lite` - Poseidon hash function
+- `pako` - Compression (gzip)
+
+## License
+
+MIT

package/dist/constants.d.ts

@@ -1,10 +1,25 @@
+/**
+ * Global protocol and SDK defaults.
+ * @remarks
+ * These constants are part of the public API. Changing them may affect proof compatibility,
+ * indexer interactions, and IC storage routing.
+ */
+/** Height of the aggregation tree (number of levels). */
 export declare const AGGREGATION_TREE_HEIGHT = 6;
+/** Height of the per-chain transfer tree (number of levels). */
 export declare const TRANSFER_TREE_HEIGHT = 40;
+/** Height of the global transfer tree (aggregation + transfer). */
 export declare const GLOBAL_TRANSFER_TREE_HEIGHT: number;
+/** Number of burn addresses in a batch invoice. */
 export declare const NUM_BATCH_INVOICES = 10;
+/** Default max number of events to fetch per indexer request. */
 export declare const DEFAULT_INDEXER_FETCH_LIMIT = 20;
+/** Default block span used when querying aggregation state (in blocks). */
 export declare const DEFAULT_EVENT_BLOCK_SPAN = 5000n;
+/** Default timeout for decider jobs (milliseconds). */
 export declare const DEFAULT_DECIDER_TIMEOUT_MS: number;
+/** Default polling interval for decider job status checks (milliseconds). */
 export declare const DEFAULT_DECIDER_POLL_INTERVAL_MS = 1000;
+/** Default IC storage tag used when no tag is provided. */
 export declare const DEFAULT_ZSTORAGE_TAG = "v1";
 //# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,2BAA2B,QAAiD,CAAC;AAC1F,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAC9C,eAAO,MAAM,wBAAwB,QAAS,CAAC;AAC/C,eAAO,MAAM,0BAA0B,QAAgB,CAAC;AACxD,eAAO,MAAM,gCAAgC,OAAQ,CAAC;AACtD,eAAO,MAAM,oBAAoB,OAAO,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,yDAAyD;AACzD,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,gEAAgE;AAChE,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,mEAAmE;AACnE,eAAO,MAAM,2BAA2B,QAAiD,CAAC;AAC1F,mDAAmD;AACnD,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC,iEAAiE;AACjE,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAC9C,2EAA2E;AAC3E,eAAO,MAAM,wBAAwB,QAAS,CAAC;AAC/C,uDAAuD;AACvD,eAAO,MAAM,0BAA0B,QAAgB,CAAC;AACxD,6EAA6E;AAC7E,eAAO,MAAM,gCAAgC,OAAQ,CAAC;AACtD,2DAA2D;AAC3D,eAAO,MAAM,oBAAoB,OAAO,CAAC"}

package/dist/constants.js

@@ -1,10 +1,25 @@
+/**
+ * Global protocol and SDK defaults.
+ * @remarks
+ * These constants are part of the public API. Changing them may affect proof compatibility,
+ * indexer interactions, and IC storage routing.
+ */
+/** Height of the aggregation tree (number of levels). */
 export const AGGREGATION_TREE_HEIGHT = 6;
+/** Height of the per-chain transfer tree (number of levels). */
 export const TRANSFER_TREE_HEIGHT = 40;
+/** Height of the global transfer tree (aggregation + transfer). */
 export const GLOBAL_TRANSFER_TREE_HEIGHT = TRANSFER_TREE_HEIGHT + AGGREGATION_TREE_HEIGHT;
+/** Number of burn addresses in a batch invoice. */
 export const NUM_BATCH_INVOICES = 10;
+/** Default max number of events to fetch per indexer request. */
 export const DEFAULT_INDEXER_FETCH_LIMIT = 20;
+/** Default block span used when querying aggregation state (in blocks). */
 export const DEFAULT_EVENT_BLOCK_SPAN = 5000n;
+/** Default timeout for decider jobs (milliseconds). */
 export const DEFAULT_DECIDER_TIMEOUT_MS = 5 * 60 * 1000;
+/** Default polling interval for decider job status checks (milliseconds). */
 export const DEFAULT_DECIDER_POLL_INTERVAL_MS = 1_000;
+/** Default IC storage tag used when no tag is provided. */
 export const DEFAULT_ZSTORAGE_TAG = "v1";
 //# sourceMappingURL=constants.js.map

package/dist/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AACzC,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AACvC,MAAM,CAAC,MAAM,2BAA2B,GAAG,oBAAoB,GAAG,uBAAuB,CAAC;AAC1F,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAErC,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,CAAC;AAC9C,MAAM,CAAC,MAAM,wBAAwB,GAAG,KAAM,CAAC;AAC/C,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AACxD,MAAM,CAAC,MAAM,gCAAgC,GAAG,KAAK,CAAC;AACtD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,yDAAyD;AACzD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AACzC,gEAAgE;AAChE,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AACvC,mEAAmE;AACnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,oBAAoB,GAAG,uBAAuB,CAAC;AAC1F,mDAAmD;AACnD,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAErC,iEAAiE;AACjE,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,CAAC;AAC9C,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,KAAM,CAAC;AAC/C,uDAAuD;AACvD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AACxD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,gCAAgC,GAAG,KAAK,CAAC;AACtD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC"}

package/dist/decider/__tests__/prover.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=prover.test.d.ts.map

package/dist/decider/__tests__/prover.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.d.ts","sourceRoot":"","sources":["../../../src/decider/__tests__/prover.test.ts"],"names":[],"mappings":""}

package/dist/decider/__tests__/prover.test.js

@@ -0,0 +1,246 @@
+import { beforeEach, describe, expect, test, vi } from "vitest";
+import { HttpDeciderClient } from "../prover.js";
+function createMockFetch(responses) {
+    let callIndex = 0;
+    return vi.fn().mockImplementation(() => {
+        const response = responses[callIndex] ?? responses[responses.length - 1];
+        callIndex++;
+        return Promise.resolve({
+            ok: response.ok,
+            status: response.status ?? (response.ok ? 200 : 500),
+            json: response.json ?? (() => Promise.resolve({})),
+        });
+    });
+}
+function createCompletedResponse(result) {
+    return {
+        ok: true,
+        json: () => Promise.resolve({
+            job_id: "test-job",
+            circuit: "root",
+            status: "completed",
+            result,
+        }),
+    };
+}
+function createQueuedResponse() {
+    return {
+        ok: true,
+        json: () => Promise.resolve({
+            job_id: "test-job",
+            circuit: "root",
+            status: "queued",
+        }),
+    };
+}
+function createProcessingResponse() {
+    return {
+        ok: true,
+        json: () => Promise.resolve({
+            job_id: "test-job",
+            circuit: "root",
+            status: "processing",
+        }),
+    };
+}
+function createFailedResponse(error) {
+    return {
+        ok: true,
+        json: () => Promise.resolve({
+            job_id: "test-job",
+            circuit: "root",
+            status: "failed",
+            error,
+        }),
+    };
+}
+describe("HttpDeciderClient", () => {
+    describe("constructor", () => {
+        test("normalizes base URL without trailing slash", () => {
+            const mockFetch = createMockFetch([{ ok: true }, createCompletedResponse("AAAA")]);
+            const client = new HttpDeciderClient("https://example.com/api", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            // Trigger a request to verify URL construction
+            client.produceDeciderProof("root", new Uint8Array([1, 2, 3]));
+            expect(mockFetch).toHaveBeenCalledWith("https://example.com/api/jobs", expect.any(Object));
+        });
+        test("handles base URL with trailing slash", () => {
+            const mockFetch = createMockFetch([{ ok: true }, createCompletedResponse("AAAA")]);
+            const client = new HttpDeciderClient("https://example.com/api/", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            client.produceDeciderProof("root", new Uint8Array([1, 2, 3]));
+            expect(mockFetch).toHaveBeenCalledWith("https://example.com/api/jobs", expect.any(Object));
+        });
+    });
+    describe("produceDeciderProof", () => {
+        beforeEach(() => {
+            vi.clearAllMocks();
+        });
+        test("submits job and returns result on immediate completion", async () => {
+            // Base64 for [1, 2, 3]
+            const resultBase64 = "AQID";
+            const mockFetch = createMockFetch([
+                { ok: true }, // submit
+                createCompletedResponse(resultBase64), // status
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            const result = await client.produceDeciderProof("root", new Uint8Array([1, 2, 3]));
+            expect(result).toEqual(new Uint8Array([1, 2, 3]));
+            expect(mockFetch).toHaveBeenCalledTimes(2);
+        });
+        test("polls until job completes", async () => {
+            const resultBase64 = "AQID";
+            const mockFetch = createMockFetch([
+                { ok: true }, // submit
+                createQueuedResponse(), // first poll
+                createProcessingResponse(), // second poll
+                createCompletedResponse(resultBase64), // third poll
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            const result = await client.produceDeciderProof("root", new Uint8Array([1, 2, 3]));
+            expect(result).toEqual(new Uint8Array([1, 2, 3]));
+            expect(mockFetch).toHaveBeenCalledTimes(4);
+        });
+        test("accepts hex string as ivc proof", async () => {
+            const resultBase64 = "AQID";
+            const mockFetch = createMockFetch([{ ok: true }, createCompletedResponse(resultBase64)]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            const result = await client.produceDeciderProof("root", "0x010203");
+            expect(result).toEqual(new Uint8Array([1, 2, 3]));
+        });
+        test("throws on job submission failure", async () => {
+            const mockFetch = createMockFetch([{ ok: false, status: 500 }]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("decider job submission failed");
+        });
+        test("throws on job status check failure", async () => {
+            const mockFetch = createMockFetch([
+                { ok: true }, // submit
+                { ok: false, status: 404 }, // status check
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("decider job status check failed");
+        });
+        test("throws on job failure", async () => {
+            const mockFetch = createMockFetch([
+                { ok: true },
+                createFailedResponse("proof generation error"),
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("decider job");
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("proof generation error");
+        });
+        test("throws on job completion without result", async () => {
+            const mockFetch = createMockFetch([
+                { ok: true },
+                {
+                    ok: true,
+                    json: () => Promise.resolve({
+                        job_id: "test-job",
+                        circuit: "root",
+                        status: "completed",
+                        result: null,
+                    }),
+                },
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("completed without result");
+        });
+        test("throws on timeout", async () => {
+            const mockFetch = createMockFetch([
+                { ok: true },
+                createQueuedResponse(),
+                createQueuedResponse(),
+                createQueuedResponse(),
+            ]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+                timeoutMs: 10, // Very short timeout
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("timed out");
+        });
+        test("throws on fetch error", async () => {
+            const mockFetch = vi.fn().mockRejectedValue(new Error("Network error"));
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("decider job submission failed");
+            await expect(client.produceDeciderProof("root", new Uint8Array([1, 2, 3]))).rejects.toThrow("Network error");
+        });
+        test("sends correct request body", async () => {
+            const mockFetch = createMockFetch([{ ok: true }, createCompletedResponse("AAAA")]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await client.produceDeciderProof("withdraw_local", new Uint8Array([1, 2, 3]));
+            expect(mockFetch).toHaveBeenCalledWith(expect.any(String), expect.objectContaining({
+                method: "POST",
+                headers: { "Content-Type": "application/json" },
+                body: expect.stringContaining('"circuit":"withdraw_local"'),
+            }));
+        });
+        test("handles different circuit kinds", async () => {
+            const circuits = [
+                "root",
+                "withdraw_local",
+                "withdraw_global",
+            ];
+            for (const circuit of circuits) {
+                const mockFetch = createMockFetch([{ ok: true }, createCompletedResponse("AAAA")]);
+                const client = new HttpDeciderClient("https://example.com", {
+                    fetchImpl: mockFetch,
+                    pollIntervalMs: 1,
+                });
+                await client.produceDeciderProof(circuit, new Uint8Array([1]));
+                expect(mockFetch).toHaveBeenCalledWith(expect.any(String), expect.objectContaining({
+                    body: expect.stringContaining(`"circuit":"${circuit}"`),
+                }));
+            }
+        });
+        test("throws for invalid hex string", async () => {
+            const mockFetch = createMockFetch([]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", "0x123")).rejects.toThrow("hex input must have even length");
+        });
+        test("throws for non-hex non-Uint8Array input", async () => {
+            const mockFetch = createMockFetch([]);
+            const client = new HttpDeciderClient("https://example.com", {
+                fetchImpl: mockFetch,
+                pollIntervalMs: 1,
+            });
+            await expect(client.produceDeciderProof("root", "not hex")).rejects.toThrow("ivc proof must be Uint8Array or 0x-prefixed hex string");
+        });
+    });
+});
+//# sourceMappingURL=prover.test.js.map

package/dist/decider/__tests__/prover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/decider/__tests__/prover.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,SAAS,eAAe,CACtB,SAAiF;IAEjF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE;QACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,SAAS,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,OAAO,CAAC;YACrB,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YACpD,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc;IAC7C,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,OAAO,CAAC;YACd,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,WAAW;YACnB,MAAM;SACP,CAAC;KACL,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,OAAO,CAAC;YACd,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,QAAQ;SACjB,CAAC;KACL,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB;IAC/B,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,OAAO,CAAC;YACd,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,YAAY;SACrB,CAAC;KACL,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,OAAO,CAAC;YACd,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,QAAQ;YAChB,KAAK;SACN,CAAC;KACL,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACtD,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,yBAAyB,EAAE;gBAC9D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,+CAA+C;YAC/C,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAE9D,MAAM,CAAC,SAAS,CAAC,CAAC,oBAAoB,CAAC,8BAA8B,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAChD,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,0BAA0B,EAAE;gBAC/D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAE9D,MAAM,CAAC,SAAS,CAAC,CAAC,oBAAoB,CAAC,8BAA8B,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,UAAU,CAAC,GAAG,EAAE;YACd,EAAE,CAAC,aAAa,EAAE,CAAC;QACrB,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACxE,uBAAuB;YACvB,MAAM,YAAY,GAAG,MAAM,CAAC;YAC5B,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS;gBACvB,uBAAuB,CAAC,YAAY,CAAC,EAAE,SAAS;aACjD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAEnF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,YAAY,GAAG,MAAM,CAAC;YAC5B,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS;gBACvB,oBAAoB,EAAE,EAAE,aAAa;gBACrC,wBAAwB,EAAE,EAAE,cAAc;gBAC1C,uBAAuB,CAAC,YAAY,CAAC,EAAE,aAAa;aACrD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAEnF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;YACjD,MAAM,YAAY,GAAG,MAAM,CAAC;YAC5B,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,uBAAuB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAEzF,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAEpE,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;YAClD,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAEhE,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,+BAA+B,CAChC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;YACpD,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS;gBACvB,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,eAAe;aAC5C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,iCAAiC,CAClC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;YACvC,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE;gBACZ,oBAAoB,CAAC,wBAAwB,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,aAAa,CACd,CAAC;YACF,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,wBAAwB,CACzB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;YACzD,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE;gBACZ;oBACE,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,OAAO,CAAC;wBACd,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM;wBACf,MAAM,EAAE,WAAW;wBACnB,MAAM,EAAE,IAAI;qBACb,CAAC;iBACL;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,0BAA0B,CAC3B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mBAAmB,EAAE,KAAK,IAAI,EAAE;YACnC,MAAM,SAAS,GAAG,eAAe,CAAC;gBAChC,EAAE,EAAE,EAAE,IAAI,EAAE;gBACZ,oBAAoB,EAAE;gBACtB,oBAAoB,EAAE;gBACtB,oBAAoB,EAAE;aACvB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;gBACjB,SAAS,EAAE,EAAE,EAAE,qBAAqB;aACrC,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,WAAW,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;YACvC,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;YAExE,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,+BAA+B,CAChC,CAAC;YACF,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzF,eAAe,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;YAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEnF,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAE9E,MAAM,CAAC,SAAS,CAAC,CAAC,oBAAoB,CACpC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAClB,MAAM,CAAC,gBAAgB,CAAC;gBACtB,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;gBAC/C,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,4BAA4B,CAAC;aAC5D,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;YACjD,MAAM,QAAQ,GAAyD;gBACrE,MAAM;gBACN,gBAAgB;gBAChB,iBAAiB;aAClB,CAAC;YAEF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAEnF,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;oBAC1D,SAAS,EAAE,SAAS;oBACpB,cAAc,EAAE,CAAC;iBAClB,CAAC,CAAC;gBAEH,MAAM,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAE/D,MAAM,CAAC,SAAS,CAAC,CAAC,oBAAoB,CACpC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAClB,MAAM,CAAC,gBAAgB,CAAC;oBACtB,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,cAAc,OAAO,GAAG,CAAC;iBACxD,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;YAEtC,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CACV,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAC5C,CAAC,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;YACzD,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;YAEtC,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAAC,qBAAqB,EAAE;gBAC1D,SAAS,EAAE,SAAS;gBACpB,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;YAEH,MAAM,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzE,wDAAwD,CACzD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/decider/prover.d.ts

@@ -1,17 +1,49 @@
+/**
+ * Supported circuit kinds for the decider service.
+ */
 export type CircuitKind = "root" | "withdraw_local" | "withdraw_global";
+/**
+ * Configuration options for {@link HttpDeciderClient}.
+ */
 export interface DeciderClientOptions {
+    /**
+     * Poll interval (milliseconds) used while waiting for job completion.
+     * @defaultValue `DEFAULT_DECIDER_POLL_INTERVAL_MS`
+     */
     pollIntervalMs?: number;
+    /**
+     * Max time (milliseconds) to wait for a job to complete before failing.
+     * @defaultValue `DEFAULT_DECIDER_TIMEOUT_MS`
+     */
     timeoutMs?: number;
+    /** Optional custom fetch implementation (useful for tests or environments without global fetch). */
     fetchImpl?: typeof fetch;
 }
 export declare class HttpDeciderClient {
-    private readonly baseUrl;
+    private readonly http;
     private readonly pollInterval;
     private readonly timeout;
-    private readonly fetchFn;
+    /**
+     * Create a decider client.
+     * @param baseUrl - Decider service base URL.
+     * @param options - Polling and fetch options.
+     */
     constructor(baseUrl: string, options?: DeciderClientOptions);
-    private url;
-    private performFetch;
+    /**
+     * Submit an IVC proof to the decider service and poll until the decider proof is produced.
+     * @remarks
+     * This method:
+     * - Submits a job via `POST /jobs`
+     * - Polls `GET /jobs/:id` until status is `completed` or `failed`
+     *
+     * There is no retry/backoff strategy beyond fixed-interval polling.
+     * Network and non-OK HTTP responses are surfaced as thrown errors.
+     *
+     * @param circuit - Circuit kind to run on the service.
+     * @param ivcProof - IVC proof bytes. Accepts `Uint8Array` or a `0x`-prefixed hex string.
+     * @returns Decider proof bytes (`Uint8Array`).
+     * @throws If job submission fails, status polling fails, job fails, or timeout is reached.
+     */
     produceDeciderProof(circuit: CircuitKind, ivcProof: Uint8Array | string): Promise<Uint8Array>;
 }
 //# sourceMappingURL=prover.d.ts.map

package/dist/decider/prover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../src/decider/prover.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAExE,MAAM,WAAW,oBAAoB;IACnC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;CAC1B;AA2CD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;gBAE3B,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB;IAW/D,OAAO,CAAC,GAAG;YAIG,YAAY;IASpB,mBAAmB,CACvB,OAAO,EAAE,WAAW,EACpB,QAAQ,EAAE,UAAU,GAAG,MAAM,GAC5B,OAAO,CAAC,UAAU,CAAC;CAiDvB"}
+{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../src/decider/prover.ts"],"names":[],"mappings":"AAIA;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oGAAoG;IACpG,SAAS,CAAC,EAAE,OAAO,KAAK,CAAC;CAC1B;AAuDD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAa;IAClC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IAEjC;;;;OAIG;gBACS,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB;IAS/D;;;;;;;;;;;;;;OAcG;IACG,mBAAmB,CACvB,OAAO,EAAE,WAAW,EACpB,QAAQ,EAAE,UAAU,GAAG,MAAM,GAC5B,OAAO,CAAC,UAAU,CAAC;CAkDvB"}