I found this, which looks like it's for an earlier version: https://tigerbeetle.com/blog/2023-07-11-we-put-a-distributed...

My eyes kind of glaze over as I read this but maybe it will be more helpful to you.