memoizeWitness
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