From d6e2e2dbf6a8da216650c0f9783bf22184d85620 Mon Sep 17 00:00:00 2001 From: Gav Date: Mon, 23 Sep 2024 08:27:52 +0200 Subject: [PATCH] Clean up text --- 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 92cb573..8ffbf0d 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}