From 2c9def148475162509629c52303d065514543006 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Tue, 7 Nov 2023 17:19:17 +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 a5a03f9..661025e 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_0\[i\] \neq p E_0\[i\] \implies E_0\[i\] \neq E_0\[j\]$$ 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\[i\] \eq P\[j\] \and R\[i\] = R\[j\] \implies E_1\[i\] = E_1\[j\]$$ + $$\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\]$$ where $R$ is the list of random values generated for each pair \subsection*{4.3}