There're some proofs, check the https://blog.ydb.tech/ for comparison against CockroachDB and YugabyteDB.