Changes
Dmitri moved page [[MpOTR/algebraic]] to [[Np1sec/algebraic]]
|-
|align="right"| Append the hash of the session digest up to parent of current message
|align="center"|<math> m \leftarrow (m, Digest(parnetparent(m)), parent\_id) </math>
|-
|align="right"| Sign the message
|-
|align="right"|Encrypt
|align="center"|<math>e \leftarrow Enc_k_Enc_{k_{sid}}(m)</math>
|-
|align="right"| Broadcast the message
|-
|align="right"| check signature
|align="center"|<math> verify(m,\sigma) </math>|-|align="right"| update message block chain|align= "center"|<math> Insert(mBlackChain_{sid}, \sigmam) </math>
|-
|align="right"| decrypt messagen
|-
|align="right"| Verify session id and hash
|align="center"|<math>\sigma \leftarrow sid_i == sid_{rec} & \; \textrm{and} \; h == Digest(parent\_id)</math>
|-
|align="right"| Update sender key share or session share key|align="center"|<math>(y_j,\leftarrow s \; \textrm { or } \; z_{jij}\leftarrow s</math>|-|align="right"| if all users' share are received session key|align="center"|<math>k_i \leftarrow ComputeSessionKey(z_1,...,z_n)</math>
|-
|align="right"| return m
|align="center"|<math>m</math>
|}
[[Category: mpOTR]]
