Ouroboros Chronos in Mina?

Link to paper: Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake

On Staking & Snarking | Mina Documentation it says you need to have a synchronised clock. Chronos fixes this issue. I assume Chronos hasn’t been implemented, and that the docs are correct. Has any research been made in this area? Naively I assume succinctness won’t interfere with the techniques used in Chronos, albeit I haven’t read it deeply.