queryLedgerState

Function: queryLedgerState()

function queryLedgerState(
   circuitContext, 
   partialProofData, 
   program): 
  | AlignedValue
  | GatherResult[];

Runs a program (query) against the current ledger state in the given circuit context. Records the transcript in the given partial proof data.

The context for the currently executing circuit.

The partial proof data to insert the query results into.

Op<null>[]

The query to run.