Nice, I built a radix version of this in 2013. It didn't have a GC though (was left for later :D)
Mine was networked as an overlay to a linearizable range scannable kv-store with single-writer multiple-reader access and a three party model with the data owner just periodically signs the root to continue to delegate trust.
Had n-ary nodes though, the nice thing is that the proof is equal to the path to the node in that case (well because of radix/trie).
Was always playing with the idea of writing it down especially with all the crypto bullshit going on, but I was too lazy.
Had n-ary nodes though, the nice thing is that the proof is equal to the path to the node in that case (well because of radix/trie).
Was always playing with the idea of writing it down especially with all the crypto bullshit going on, but I was too lazy.