This is an implementation of version 2 and 3 of the Off-the-record protocol (https://otr.cypherpunks.ca/Protocol-v3-4.0.0.html) in OCaml.

Including the socialist millionairs protocol to authenticate a communication partner over an encrypted channel providing a shared secret.