pub type ProofRecorder<B> = Recorder<HashFor<B>>;
A type that records all accessed trie nodes and generates a proof out of it.