Changes
Dmitri moved page [[MpOTR/Specification]] to [[Np1sec/Specification]]: protocol renamed
=== Leave ===
====Farewell====
Input: <math>lastMessage</math>
'''for each''' <math>message</math> in Messages Received from <math>lastDigestedMessage</math>+1 till <math>lastMessage</math>, '''do'''
<math>sesionDigest := HassHash(sessionDigest, message)</math>
<span style="font-family: serif; font-size: larger; font-variant:small-caps;">'''LRU Cache Store Digest</span>'''(<math>sessionDigest</math>, <math>message</math>)
'''return''' <math>sessionDigest</math>,<math>lastMessageId</math>
{{algorithm-begin|name=Hash}}
Input: <math>message</math>
'''return''' <span style="font-family: serif; font-size: larger; font-variant:small-caps;">'''SHA-512256</span>'''(<math>message</math>)
{{algorithm-end}}
[[Category: mpOTR]]
