that is built on top of the well-known trie data structure. It explores correctness and