From 11a6d280275090b8a9ca45a1ba99a55158a13041 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Tue, 7 Nov 2023 17:27:52 +0000 Subject: [PATCH] done 6.1 --- cw/cw.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cw/cw.tex b/cw/cw.tex index 97e0798..f6a9c69 100644 --- a/cw/cw.tex +++ b/cw/cw.tex @@ -141,7 +141,7 @@ if the oracle selects b=1: If q is big enough, there will be colissions: - $$\exists i,k : i \ne j \and P_{1i} \eq P_{1j} \and R_i = R_j \implies E_{1i} \eq E_{1j}$$ + $$\exists i,k : i \ne j \and P_{1i} = P_{1j} \and R_i = R_j \implies E_{1i} = E_{1j}$$ where $R$ is the list of random values generated for each pair \subsection*{4.3}