Very cool! I love that this seems to be non-interactive. My biggest issue with Patricia Merkle Trees is that their reconciliation is interactive any hence requires a lot of networking logic, which is very easy to run into issues and hard to code right! I feel uneasy though having to pick a size for the set, so I want to explore more what guiltygyoza suggests towards the end of the post
Part 2 is coming