Lelantos SDK

Appearance

@lelantos-org/sdk / prover / BrowserWorkerProverOpts

Interface: BrowserWorkerProverOpts ​

Defined in: @lelantos-org/sdk/dist/prover/worker-client.d.ts:26

Settings that must reach the worker's own module realm.

The worker never sees the caller's module-level configuration, so anything serializable that a caller can set on the main thread has to travel here too. Both are honoured only on the FIRST request — the thread pool and the prover session are built once and reused.

Extends ​

Properties ​

cacheArtifacts? ​

ts
optional cacheArtifacts?: boolean;

Defined in: @lelantos-org/sdk/dist/prover/worker-protocol.d.ts:18

Set false to skip persisting downloaded artifacts in the worker. A custom ArtifactCache cannot cross postMessage; install that with configureArtifactCache inside the worker instead.

Inherited from ​

WorkerSetup.cacheArtifacts

paths ​

ts
paths: 
  | ProverArtifacts
  | ProverPaths;

Defined in: @lelantos-org/sdk/dist/prover/worker-client.d.ts:29

threads? ​

ts
optional threads?: number;

Defined in: @lelantos-org/sdk/dist/prover/worker-protocol.d.ts:12

Pin rayon thread count.

Inherited from ​

WorkerSetup.threads

workerUrl ​

ts
workerUrl: string | URL;

Defined in: @lelantos-org/sdk/dist/prover/worker-client.d.ts:28

new URL("@lelantos-org/sdk/prover-worker", import.meta.url)