Skip to main content

memoizeWitness

memoizeWitness: <T>(type: FlexibleProvable<T>, compute: () => T) => T = Experimental_.memoizeWitness;

Defined in: index.ts:163

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​

T

Parameters​

type​

FlexibleProvable<T>

compute​

() => T

Returns​

T