pub fn verify_entries(
    expected_root: H256,
    proof: impl IntoIterator<Item = Vec<u8>>,
    keys: &[&[u8]]
) -> Result<Vec<Vec<u8>>, ProofError>