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

This commit is contained in:
Andre Henriques 2023-11-07 17:27:52 +00:00
parent 979001de64
commit 11a6d28027

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_{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}