ProofData
data class ProofData(val input: AlignedValue, val output: AlignedValue, val publicTranscriptJson: String, val privateTranscriptOutputs: List<AlignedValue>)
Proof data produced by a circuit execution.
Contains everything needed to construct a ZK proof:
input/output: the circuit's encoded arguments and return value
publicTranscript: state read operations (opcodes + results)
privateTranscriptOutputs: witness function outputs
Constructors
Link copied to clipboard
constructor(input: AlignedValue, output: AlignedValue, publicTranscriptJson: String, privateTranscriptOutputs: List<AlignedValue>)