The whole `BinaryTrieStore` and `BinaryTrieWitness` needs to be audited. Key areas of interest are the hashing, merkle proofs and witness validation.
The whole
BinaryTrieStoreandBinaryTrieWitnessneeds to be audited. Key areas of interest are the hashing, merkle proofs and witness validation.