Simplex uses precisely the scheme that Peter mentions, complementing traditional encryption with post-quantum algorithms.

https://simplex.chat/blog/20240314-simplex-chat-v5-6-quantum-resistance-signal-double-ratchet-algorithm.html