[cyphar]

The crypto primitives they use are called Axolotl as a group. Axolotl is to signal what RSA is to TLS.

[tptacek]

The Axolotl construction was invented for Signal Protocol, which was itself originally called "Axolotl".