Refactor: Update tabular in functionalities

Author: InfiniteSynthesis

functionalities/diffuse.tex

@@ -9,6 +9,7 @@
       The functionality is parameterized by the network delay \delay.
 
       \begin{minipage}{\linewidth}
+            \addtocounter{table}{-1}
             \begin{tabularx}{.9\textwidth}{c  X}
                   \toprule[.3mm]
                   \textbf{State Variable}
@@ -21,10 +22,9 @@
                    & 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}
 
-      \paragraph{Network capabilities:}
+      \medskip\paragraph{Network capabilities:}
       %
       \begin{cccItemize}[nosep]
             \item Upon receiving $(\textsc{diffuse}, \sid, m)$ from some
@@ -52,7 +52,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/global-random-oracle-wrapper.tex

@@ -5,7 +5,7 @@
 
     This functionality maintains state variables as follows.
 
-    % \begin{minipage}{\linewidth}
+    \addtocounter{table}{-1}
     \begin{tabularx}{.9\textwidth}{c  X}
         \toprule[.3mm]
         \textbf{State Variable}
@@ -24,10 +24,7 @@
          & The alert/adversary evaluation counter.
         \\ \bottomrule[.3mm]
     \end{tabularx}
-    \addtocounter{table}{-1}
-    % \end{minipage}
 
-    % \medskip
     \paragraph{Relaying inputs to the random oracle:}
     %
     \begin{cccItemize}[nosep]

functionalities/global-random-oracle.tex

@@ -5,6 +5,7 @@
 
     The functionality is parameterized by a security parameter $\kappa$.
 
+    \addtocounter{table}{-1}
     \begin{tabularx}{.9\textwidth}{c  X}
         \toprule[.3mm]
         \textbf{State Variable}
@@ -17,7 +18,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_{RO}, x)$ from some party $\party \in \partyset$ (or from \adv on behalf of a corrupted \party), do the following: