Searched refs:M_1 (Results 1 – 4 of 4) sorted by relevance
27 #define M_1(x) x + M_0(0) macro28 #define M_2(x) x + M_1(1)
53 #define M_1 K_1 * K_1 macro54 #define G_1 M_1 * K_1
262 Let `M_1` = the serialized (including framing) raw bytes of the first message sent by282 Then `AUTH_STRING = HKDF-Expand(PRK_AUTH, M_1|M_2, L_auth)`284 Then `NEXT_SECRET = HKDF-Expand(PRK_NEXT, M_1|M_2, L_next)`300 included in the HKDF computation, it is included as part of the commitment sent in `M_1.`
702 \f$ upper(M_1) \mathrel{{+}{=}} s_1 M_2 M_2^* \f$ \n703 \f$ lower(M_1) \mathbin{{-}{=}} M_2^* M_2 \f$715 Solving linear equations:\n(\f$ M_2 := M_1^{-1} M_2 \f$)