@lelantos-org/sdk / index / Prover

Interface: Prover

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

Pluggable Groth16 prover.

Methods

dispose()?

optional dispose(): void | Promise<void>;

Defined in: @lelantos-org/sdk/dist/prover/types.d.ts:37

Release held resources — worker threads, wasm heaps.

Optional because the in-process backends hold nothing a GC will not reclaim. WorkerProver owns a real worker and must be told.

Returns

void | Promise<void>

---

prove()

prove(input): Promise<ProveResult>;

Defined in: @lelantos-org/sdk/dist/prover/types.d.ts:30

Prove a witness against the configured circuit.

Parameters

Parameter	Type
input	Record<string, unknown>

Returns

Promise<ProveResult>