No. When we started the project we used prolly trees initially, but we don't need the content addressing feature for Zero and all the hashing was quite expensive. So now we just use a plain immutable b-tree:
https://github.com/rocicorp/mono/tree/main/packages/replicac...