diff --git a/protocol/protocol.tex b/protocol/protocol.tex index e816d086..65856672 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -2759,9 +2759,7 @@ inclusive, in descending order. $a \bconcat b$ means the concatenation of sequences $a$ then $b$. $\concatbits(S)$ means the sequence of bits obtained by -concatenating the elements of $S$ viewed as bit sequences. If the -elements of $S$ are byte sequences, they are converted to bit sequences -with the \emph{most significant} bit of each byte first. +concatenating the elements of $S$ as bit sequences. $\sorted(S)$ means the sequence formed by sorting the elements of $S$. @@ -14027,6 +14025,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}. as a QR code. } %sapling \item Move the definition of $\bot$ to before its first use. + \item Delete a confusing part of the definition of $\concatbits$ that we don't rely on. \item Add a definition for the \S{} symbol in \crossref{introduction}, before its first use. \item Remove specification of \memo contents, which will be in \cite{ZIP-302}. \item Remove support for building the \Sprout-only specification (\texttt{sprout.pdf}).