Lelantos SDK

Appearance

@lelantos-org/sdk / prover / WorkerProverOpts

Interface: WorkerProverOpts ​

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

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

Circuit artifacts. The worker builds its prover from them once and caches it.

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: WorkerLike;

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

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