Lelantos SDK

Appearance

@lelantos-org/sdk / prover / BrowserWorkerProverOpts

Interface: BrowserWorkerProverOpts ​

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

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.

Extends ​

Properties ​

artifacts ​

ts
artifacts: ProverArtifacts;

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

cacheArtifacts? ​

ts
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.

Inherited from ​

WorkerSetup.cacheArtifacts

threads? ​

ts
optional threads?: number;

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

Pin rayon thread count.

Inherited from ​

WorkerSetup.threads

worker ​

ts
worker: WorkerFactory;

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

Spawns the worker. See WorkerFactory.