ledger inclusion proof

Open the canonical reference page.