We love CockroachDB. There are people tinkering with it on Fly.io. I think anything formal would involve our companies talking to each other, which we're happy to do, but everybody is busy all the time. :)
We're getting there: https://github.com/fly-apps/cockroachdb
Just hoping they come back around on CockroachDB-- I feel like it's a match made in heaven for what they're providing.