Skip to main content

memoizeWitness

function memoizeWitness<T>(type: FlexibleProvable<T>, compute: () => T): T

Like Provable.witness, but memoizes the witness during transaction construction for reuse by the prover. This is needed to witness non-deterministic values.

Type parameters

T

Parameters

type: FlexibleProvable\<T>

compute

Returns

T

Source

index.ts:143