pub fn plan_proof(size: u64, leaf: u64) -> Option<ProofPlan>Expand description
Plan the outbox-proof walk: given the tree size (send count) and
the leaf we want to prove, compute the list of sibling positions
that together form the proof path.
Returns None if leaf >= size (proof doesn’t exist).