Documentation of the IRCrypt ptotocol