From 88727cf006663446e03ca08d706fdfad0d74d641 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Tue, 7 Nov 2023 17:24:20 +0000 Subject: [PATCH] done 6.1 --- cw/cw.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cw/cw.tex b/cw/cw.tex index 661025e..73c41ec 100644 --- a/cw/cw.tex +++ b/cw/cw.tex @@ -135,13 +135,13 @@ This q pairs work because when the oracle selects b=0: There will be no colisions: - $$\forall i,k : i \ne j \and P_0\[i\] \neq p E_0\[i\] \implies E_0\[i\] \neq E_0\[j\]$$ + $$\forall i,k : i \ne j \and P_{0i} \neq p E_{0i} \implies E_{0i} \neq E_{0j}$$ there if you don't find any colissions you can assume that the the oracle selected b=0 if the oracle selects b=1: If q is big enough, there will be colissions: - $$\exists i,k : i \ne j \and P_1\[i\] \eq P_1\[j\] \and R\[i\] = R\[j\] \implies E_1\[i\] = E_1\[j\]$$ + $$\exists i,k : i \ne j \and P_{1i} \eq 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}