pub fn keccak_256_verify_proof( root: H256, proof: &[Vec<u8>], key: &[u8], value: &[u8]) -> bool
Verify trie proof