From bc5166b38c91076754746c7c6aefc691406b888e Mon Sep 17 00:00:00 2001 From: Gavin Wood Date: Mon, 23 Sep 2024 15:29:06 +0900 Subject: [PATCH] Clean up text (#85) --- text/reporting_assurance.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/reporting_assurance.tex b/text/reporting_assurance.tex index 3cefe92..0961ac0 100644 --- a/text/reporting_assurance.tex +++ b/text/reporting_assurance.tex @@ -13,7 +13,7 @@ \section{Reporting and Assurance}\label{sec:reporting} \subsection{State} -The state of the reporting and availability portion of the protocol is largely contained within $\rho$, which tracks the work-reports which have been reported but not yet accumulated and the identities of the guarantors who reported them and the time at which it was reported. As mentioned earlier, only one report may be assigned to a core at any given time. Formally: +The state of the reporting and availability portion of the protocol is largely contained within $\rho$, which tracks the work-reports which have been reported but are not yet known to be available to a super-majority of validators, together with the time at which each was reported. As mentioned earlier, only one report may be assigned to a core at any given time. Formally: \begin{equation}\label{eq:reportingstate} \rho \in \seq{\tuple{\isa{w}{\mathbb{W}},\isa{t}{\N_T}}\bm{?}}_\mathsf{C} \end{equation}