Merkle Search Trees: Efficient State-Based CRDTs in Open Networks (2019)

I would use Blake3 instead Sha-512 for something like this. So much faster.

p.s.

Cite [20] of OP:

https://accurate-voting.rice.edu/wp-content/uploads/2009/07/...