Remove old stuff about psi_k

Author: gavofyork

graypaper.tex

@@ -4,14 +4,14 @@
 \color{white}
 
 %\pagecolor{white}
-\AddToShipoutPicture{
-  \checkoddpage
-  \ifoddpage
-    \put(-1 mm,0){\includegraphics[width=\paperwidth,height=\paperheight]{assets/grayr.png}}
-  \else
-    \put(-1 mm,0){\includegraphics[width=\paperwidth,height=\paperheight]{assets/grayl.png}}
-\fi
-}
+%\AddToShipoutPicture{
+%  \checkoddpage
+%  \ifoddpage
+%    \put(-1 mm,0){\includegraphics[width=\paperwidth,height=\paperheight]{assets/grayr.png}}
+%  \else
+%    \put(-1 mm,0){\includegraphics[width=\paperwidth,height=\paperheight]{assets/grayl.png}}
+%\fi
+%}
 
 \begin{document}
 

text/judgements.tex

@@ -17,15 +17,7 @@ \subsection{State}
   \psi \equiv \tup{\psi_\mathbf{a}, \psi_\mathbf{b}, \psi_\mathbf{p}, \psi_\mathbf{k}}
 \end{equation}
 
-We store the last epoch's validator set in $\psi_\mathbf{k}$:
-\begin{equation}
-  \psi'_\mathbf{k} = \begin{cases}
-    \kappa &\when \displaystyle\ffrac{\tau'}{\mathsf{E}} \ne \ffrac{\tau}{\mathsf{E}}\\
-    \psi_\mathbf{k} &\otherwise
-  \end{cases}
-\end{equation}
-
-\subsection{Extrinsic}
+`\subsection{Extrinsic}
 
 The judgements extrinsic, $\mathbf{E}_J$ may contain one or more judgements as a compilation of signatures coming from exactly two-thirds plus one of either the active validator set (\ie the Ed25519 keys of $\kappa$) or the previous epoch's validator set (\ie the keys of $\psi_\mathbf{k}$):
 \begin{equation}

text/safrole.tex

@@ -103,7 +103,6 @@ \subsection{Key Rotation}\label{sec:keyrotation}
   \end{aligned}
 \end{equation}
 
-
 Note that the posterior active validator key set $\kappa'$ is defined such that keys belonging to the historical judgement punish set $\psi'_\mathbf{p}$ are replaced with a null key containing only zeroes. The origin of this punish set is explained in section \ref{sec:judgements}.