Skip to main content

CallProofData

For the complete documentation index, see llms.txt

@midnight-ntwrk/compact-runtime v0.19.0

@midnight-ntwrk/compact-runtime / CallProofData

Interface: CallProofData

Encapsulates the data required to produce a zero-knowledge proof

Extends​

Properties​

circuitId​

circuitId: string;

The ID of the circuit that was called.

commCommData?​

optional commCommData: CommunicationCommitmentData;

Data included by the parent call only if this was a sub-call

contractAddress​

contractAddress: string;

The address of the contract defining the circuit for which this proof data is pertinent.

finalQueryContext​

finalQueryContext: QueryContext;

The ledger state of the contract when the circuit finished.

initialQueryContext​

initialQueryContext: QueryContext;

The ledger state of the contract before the circuit was called.

input​

input: AlignedValue;

The inputs to a circuit

Inherited from​

ProofData.input

output​

output: AlignedValue;

The outputs from a circuit

Inherited from​

ProofData.output

privateTranscriptOutputs​

privateTranscriptOutputs: AlignedValue[];

The transcript of the witness call outputs

Inherited from​

ProofData.privateTranscriptOutputs

publicTranscript​

publicTranscript: Op<AlignedValue>[];

The public transcript of operations

Inherited from​

ProofData.publicTranscript

zswapLocalState​

zswapLocalState: EncodedZswapLocalState;

The Zswap local state this contract accumulated during the call — the shielded coins it consumed and produced. Recorded per call, not just for the root, so transaction assembly can build one offer contribution per call and bind each contract-owned input and output to the contract that actually made it.