Unless there has been any new developments, my understanding is that in general Eth 2.0 will prefer Sparse Merkle trees instead of Patricia tries, for state commitments. Sparse Merkle trees nodes have a constant height.
Keys are hashed to determine where their values in the tree should be, so this still seems to require random IO.
See also spec discussion.