Signal : https://signal.org/docs/specifications/doubleratchet/

MLS: https://www.rfc-editor.org/rfc/rfc9420.html

MLS is based on Signal, key diff is ART (async ratcheting trees).

MLS is the likely choice for sup.