Function simple_mpt_proof 

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