pub fn simple_mpt_proof(
    simple_mpt: &mut SimpleMpt,
    access_key: &[u8]
) -> TrieProof