pub type ProofBranch = (Option<ProofNode>, Option<ProofNode>);
Two siblings nodes in a merkle tree proof. If a sibling is None, that means you should be able to derive it from the “above” branches.