https://lampwww.epfl.ch/papers/idealhashtrees.pdf https://lampwww.epfl.ch/papers/idealhashtrees.pdf These are the prior work for HAMTs, which have been impleme

https://lampwww.epfl.ch/papers/idealhashtrees.pdf https://lampwww.epfl.ch/papers/idealhashtrees.pdf These are the prior work for HAMTs, which have been implemented in a bunch of languages.