# Functions
ReadTrie takes a Merkle Patricia Trie (MPT) root of a "DerivableList", and a pre-image oracle getter, and traverses the implied MPT to collect all raw leaf nodes in order, which are then returned.
WriteTrie takes a list of values, and merkleizes them as a "DerivableList": a Merkle Patricia Trie (MPT) with values keyed by their RLP encoded index.