marceloarenassaavedra
commented
3 years ago En la ronda 1 se debe escoger un valor k perteneciente a K' ya que no hay mensajes anteriores. Llamemos a este valor k_1. En la ronda 1 el verificador entonces retorna Enc(k_1, m_1).
En la ronda 2 se debe hacer lo siguiente. Si m_2 = m_1, entonces el verificador debe retornar el mismo valor que en la ronda anterior, vale decir, Enc(k_1, m_1). Si m_1 es distinto de m_2, entonces se debe escoger un valor k perteneciente a K'. Si llamamos a este valor k_2, entonces el verificador retorna Enc(k_2, m_2). Notese que como k_2 es escogido desde K' con distribución uniforme, puede ocurrir que k_2 sea igual a k_1 (vale decir, la probabilidad de que k_2 = k_1 es mayor que 0).
Saludos!
En el punto (2.2) se dice que si mi distinto de mj, entonces se escoge un k perteneciente a K', este k se escoge cada ronda? es decir, el k elegido para el m1 es distinto de m2? (siendo que m1 distinto de m2)