review changes

IntersectMBO · Oct 11, 2019 · 4a0ff84 · 4a0ff84
1 parent a10b58d
commit 4a0ff84
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/shelley/chain-and-ledger/formal-spec/chain.tex b/shelley/chain-and-ledger/formal-spec/chain.tex
@@ -830,7 +830,7 @@ \subsection{Operational Certificate Transition}
 \item If the KES period is less than the KES period start in the certificate,
   there is a \emph{KESBeforeStart} failure.
 \item If the KES period is greater than or equal to the KES period end (start +
-  90) in the certificate, there is a \emph{KESAfterEnd} failure.
+  $\MaxKESEvo$) in the certificate, there is a \emph{KESAfterEnd} failure.
 \item If the period counter in the original key hash counter mapping is larger
   than the period number in the certificate, there is a \emph{KESPeriodWrong}
   failure.

diff --git a/shelley/chain-and-ledger/formal-spec/protocol-parameters.tex b/shelley/chain-and-ledger/formal-spec/protocol-parameters.tex
@@ -20,6 +20,9 @@ \section{Protocol Parameters}
 The constants $\SlotsPrior$ and $\StartRewards$ concern the chain stability.
 The maximum number of time a KES key can be evolved before a pool operator
 must create a new operational certificate is given by $\MaxKESEvo$.
+\textbf{Note that if } $\MaxKESEvo$
+\textbf{is changed, the KES signature format may have to change as well.}
+
 Finally, $\Quorum$ determines the quorum amount needed for votes on the
 protocol parameter updates and the application version updates.
 
@@ -135,7 +138,7 @@ \section{Protocol Parameters}
       \SlotsPerKESPeriod & \N & \text{slots per KES period} \\
       \SlotsPrior & \Duration & \tau\text{ in \cite{ouroboros_praos}}\\
       \StartRewards & \Duration & \text{duration to start reward calculations}\\
-      \MaxKESEvo & \N & \text{duration to start reward calculations}\\
+      \MaxKESEvo & \N & \text{maximum KES key evolutions}\\
       \Quorum & \N & \text{quorum for update system votes}\\
     \end{array}
   \end{equation*}

diff --git a/shelley/chain-and-ledger/formal-spec/utxo.tex b/shelley/chain-and-ledger/formal-spec/utxo.tex
@@ -659,7 +659,7 @@ \subsection{Witnesses}
       \\
       \left\{
         c\in\txcerts{tx}~\cap\DCertMir
-      \right\} \neq\emptyset \implies \vert genSig\vert \geq 5 \wedge
+      \right\} \neq\emptyset \implies \vert genSig\vert \geq \Quorum \wedge
       \fun{d}~\var{pp} > 0
       \\~\\
       {