Lelantos SDK

Appearance

@lelantos-org/sdk / prover / WorkerProverOpts

Interface: WorkerProverOpts ​

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

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:9

Artifact URLs. Sent to the worker on first prove() and cached there.

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

worker ​

ts
worker: WorkerLike;

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

Worker running @lelantos-org/sdk/prover-worker.