rixxc/masterthesis
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added line numbers to adversary b

Browse Source
This commit is contained in:
Aaron Kaiser
2023-03-02 10:37:54 +01:00
parent 881bb0c128
commit c1fee8b8e5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
thesis/Abschlussarbeit.tex
View File

@@ -424,7 +424,7 @@ Game $G_0$ is defined in Figure \ref{fig:igamewithabort} by ignoring all boxes.
\hrule \hrule
\begin{multicols}{2} \begin{multicols}{2}
\large \large
\begin{algorithmic} \begin{algorithmic}[1]
\State \underline{Adversary $\adversary{B}(\groupelement{A})$} \State \underline{Adversary $\adversary{B}(\groupelement{A})$}
\State $(s^*) \randomassign \adversary{A}^{\ioracle(\inp)}(\groupelement{A})$ \State $(s^*) \randomassign \adversary{A}^{\ioracle(\inp)}(\groupelement{A})$
\State $\exists \agmgroupelement{R^*}{r^*}, c^*: \groupelement{R}^* = 2^c (s^* \groupelement{B} - c^* \groupelement{A}) \wedge (\agmgroupelement{R^*}{r^*}, c^*) \in Q$ \State $\exists \agmgroupelement{R^*}{r^*}, c^*: \groupelement{R}^* = 2^c (s^* \groupelement{B} - c^* \groupelement{A}) \wedge (\agmgroupelement{R^*}{r^*}, c^*) \in Q$