Function sp_state_machine::read_child_proof_check

pub fn read_child_proof_check<H, I>(
    root: H::Out,
    proof: StorageProof,
    child_info: &ChildInfo,
    keys: I,
) -> Result<HashMap<Vec<u8>, Option<Vec<u8>>>, Box<dyn Error>>
where
    H: Hasher + 'static,
    H::Out: Ord + Codec,
    I: IntoIterator,
    I::Item: AsRef<[u8]>,

Check child storage read proof, generated by prove_child_read call.