@armada/sdk

Appearance

@armada/sdk / tx / Plan

Interface: Plan ​

Defined in: src/tx/index.ts:80

The full inspectable plan handed to prove. Extends the selection with each selected input's merkle proof, captured at plan time from the same tree state as merkleRoot (one per selectedInputs entry, same order). The prover reads these instead of re-deriving proofs from live scan state, so the path elements and the public-input root always correspond even if a sync appended commitments to the tree between planning and proving — a stale proof against a fresh root would fail deep in the circuit.

Extends ​

Properties ​

shape ​

readonly shape: CircuitShape

Defined in: src/tx/index.ts:62

Inherited from ​

PlanSelection.shape

merkleRoot ​

readonly merkleRoot: bigint

Defined in: src/tx/index.ts:63

Inherited from ​

PlanSelection.merkleRoot

summary ​

readonly summary: PlanSummary

Defined in: src/tx/index.ts:64

Inherited from ​

PlanSelection.summary

boundParams ​

readonly boundParams: DecodedBoundParams

Defined in: src/tx/index.ts:65

Inherited from ​

PlanSelection.boundParams

selectedInputs ​

readonly selectedInputs: readonly TXO[]

Defined in: src/tx/index.ts:70

The input notes the plan selected (all from boundParams.treeNumber). The witness builder reads each note's random/value/position from these and pairs it with the captured merkle proof.

Inherited from ​

PlanSelection.selectedInputs

merkleProofs ​

readonly merkleProofs: readonly readonly bigint[][]

Defined in: src/tx/index.ts:81