The big difference from the status quo verkle design seems to be the buckets, which are stored as sorted lists instead of sparse trees. I wonder what the worst-case properties are of that ... plausibly better, because including many nodes horizontally is cheaper in verkle than including many nodes vertically?