From 7999296d7d4177098beb26790a5a52b97af983d2 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Thu, 5 Nov 2020 23:54:19 +0000 Subject: [PATCH] Minor corrections. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 68a5a8e8..500056bf 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -9383,7 +9383,7 @@ Other consensus rules applying to a \spendDescription are given in \crossref{spe Let $\LEBStoOSP{}{}$ be as defined in \crossref{endian}. \vspace{-0.5ex} -Let $\reprJ$ and $\ParamJ{q}$ be as in \crossref{jubjub}, and $\ExtractJ$ as in \crossref{concretegrouphashjubjub}. +Let $\reprJ$ and $\ParamJ{q}$ be as in \crossref{jubjub}, and $\ExtractJ$ as in \crossref{concreteextractorjubjub}. \vspace{-0.5ex} An abstract \outputDescription, described in \crossref{spendsandoutputs}, is encoded in @@ -9798,8 +9798,8 @@ Define: \median(\listcomp{\nTime(i) \for i \from \maximum(0, \BlockHeight - \PoWMedianBlockSpan) \upto \BlockHeight - 1})$ \item $\ActualTimespan(\BlockHeight \typecolon \Nat) := \MedianTime(\BlockHeight) - \MedianTime(\BlockHeight - \PoWAveragingWindow)$ \item $\ActualTimespanDamped(\BlockHeight \typecolon \Nat) :=$ - \vspace{-0.5ex} - \item \tab $\AveragingWindowTimespan\blossom{(\BlockHeight \typecolon \Nat)} + \trunc{\scalebox{0.98}{\hfrac{\ActualTimespan(\BlockHeight) - \AveragingWindowTimespan\blossom{(\BlockHeight)}}{\PoWDampingFactor}}}$ + \vspace{-0.8ex} + \item \tab $\AveragingWindowTimespan\blossom{(\BlockHeight)} + \trunc{\hfrac{\ActualTimespan(\BlockHeight) - \AveragingWindowTimespan\blossom{(\BlockHeight)}}{\PoWDampingFactor}}$ \item $\ActualTimespanBounded(\BlockHeight \typecolon \Nat) := \bound{\MinActualTimespan\blossom{(\BlockHeight)}}{\MaxActualTimespan\blossom{(\BlockHeight)}}(\ActualTimespanDamped(\BlockHeight))$ \item $\MeanTarget(\BlockHeight \typecolon \Nat) := \!\begin{cases} \PoWLimit, \hspace{16em}\text{if } \BlockHeight \leq \PoWAveragingWindow \\