pub type BlockProof<L> = <Validator<L> as Validator>::Proof;
A proof used to authenticate a committed block in a ledger L.
L