@lelantos-org/sdk / prover / WorkerSetup

Interface: WorkerSetup

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

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

The worker cannot see the caller's module-level configuration, so serializable main-thread settings are sent here. Both are honoured only on the first request, since the thread pool and prover session are built once.

Extended by

• BrowserWorkerProverOpts
• WorkerProverOpts

Properties

cacheArtifacts?

optional cacheArtifacts?: boolean;

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

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

---

threads?

optional threads?: number;

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

Pin rayon thread count.