Update on Overleaf.

ccs-body.tex

@@ -250,10 +250,9 @@ Let $\Pi_1, \Pi_2, \ldots, \Pi_n$ be the different compressed blockchains that a
 % We call those blocks $\pi$.
 % The compressed chain $\Pi = \pi\chi$ constitutes an instance of the NIPoPoW proof.
 
-
 % \subsection{Comparison algorithm}
 
-\subsection{Properties}
+%\subsection{Properties}
 
 %\section{Variable difficulty setting}