Refactor: Update tabular in functionalities

Author: InfiniteSynthesis

functionalities/diffuse.tex

@@ -8,21 +8,19 @@
 
       The functionality is parameterized by the network delay \delay.
 
-      \begin{minipage}{\linewidth}
-            \begin{tabularx}{.9\textwidth}{c  X}
-                  \toprule[.3mm]
-                  \textbf{State Variable}
-                   & \textbf{Description}
-                  \\ \midrule[.3mm]
-                  $\partyset \gets \emptyset$
-                   & The set of registered parties.
-                  \\ \midrule
-                  $\vecM \gets [] $
-                   & A dynamically updatable list of quadruples $(m, \msgid, D_{\msgid}, \party)$ where $D_{\msgid}$ denotes the fetch counter.
-                  \\ \bottomrule[.3mm]
-            \end{tabularx}
-            \addtocounter{table}{-1}
-      \end{minipage}
+      \addtocounter{table}{-1}
+      \begin{tabularx}{.9\textwidth}{c  X}
+            \toprule[.3mm]
+            \textbf{State Variable}
+             & \textbf{Description}
+            \\ \midrule[.3mm]
+            $\partyset \gets \emptyset$
+             & The set of registered parties.
+            \\ \midrule
+            $\vecM \gets [] $
+             & A dynamically updatable list of quadruples $(m, \msgid, D_{\msgid}, \party)$ where $D_{\msgid}$ denotes the fetch counter.
+            \\ \bottomrule[.3mm]
+      \end{tabularx}
 
       \paragraph{Network capabilities:}
       %
@@ -52,7 +50,7 @@
       \paragraph{Additional adversarial capabilities:}
       %
       \begin{cccItemize}[nosep]
-            \item Upon receiving $(\textsc{diffuse}, \sid, m)$ from some corrupted $\party_s \in \partyset$ (or from \adv on behalf of $\party_s$ if corrupted), 
+            \item Upon receiving $(\textsc{diffuse}, \sid, m)$ from some corrupted $\party_s \in \partyset$ (or from \adv on behalf of $\party_s$ if corrupted),
             % do 
             execute it the same way as an honest-sender diffuse, with the only difference that $\delay_{\msgid_i} = \infty$.
 

functionalities/global-clock.tex

@@ -5,12 +5,13 @@
 
     This functionality maintains state variables as follows.
 
+    \addtocounter{table}{-1}
     \begin{tabularx}{.9\textwidth}{c X}
         \toprule[.3mm]
         \textbf{State Variable}
          & \textbf{Description}
         \\ \midrule[.3mm]
-        $\partyset \gets \emptyset$ 
+        $\partyset \gets \emptyset$
          & The set of registered parties $\party = (\pid, \sid)$.
         \\ \midrule
         $F \gets \emptyset$
@@ -26,7 +27,6 @@
          & The clock-update variable for $(\F, \sid) \in F$.
         \\ \bottomrule[.3mm]
     \end{tabularx}
-    \addtocounter{table}{-1}
 
     \begin{cccItemize}[noitemsep]
         \item Upon receiving $(\textsc{clock-update}, \sid_C)$ from some party $\party \in \partyset$ set $d_\party \gets 1$; execute \emph{Round-Update} and forward $(\textsc{clock-update}, \sid_C, \party)$ to \adv.

functionalities/random-oracle.tex

@@ -4,6 +4,7 @@
 
     The functionality is parameterized by a security parameter $\kappa$.
 
+    \addtocounter{table}{-1}
     \begin{tabularx}{.9\textwidth}{c  X}
         \toprule[.3mm]
         \textbf{State Variable}
@@ -16,7 +17,6 @@
          & A dynamically updatable function table where $H[x] = \bot$ denotes the fact that no pair of the form $(x, \cdot)$ is in $H$.
         \\ \bottomrule[.3mm]
     \end{tabularx}
-    \addtocounter{table}{-1}
 
     \begin{cccItemize}[noitemsep]
         \item \textbf{Eval.} Upon receiving $(\textsc{eval}, \sid, x)$ from some party $\party \in \partyset$ (or from \adv on behalf of a corrupted \party), do the following: