done 6.1
Some checks failed
continuous-integration/drone/push Build is failing

This commit is contained in:
Andre Henriques 2023-11-07 17:18:22 +00:00
parent 150c3f5a9d
commit d9f6ba5be9

View File

@ -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[i] \eq P[j] \and R[i] = R[j] \implies E_1[i] = E_1[j]$$
$$\exists i,k : i \ne j \and P\[i\] \eq P\[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}