@lelantos-org/sdk / internal / TransactWitnessBundle
Type Alias: TransactWitnessBundle
ts
type TransactWitnessBundle = CircomTransactInput & TransactBinding;Defined in: @lelantos-org/sdk/dist/circuit/input.d.ts:118
The circuit's witness plus the binding fields that only reach the challenge.
One object, so flatten (to derive z) and the prover cannot be handed different transactions. circuitSignals projects it before the witness calculator, which rejects keys the circuit does not declare.