Python port of the ratcheting forward secrecy protocol used in several
chat protocols.
