diff --git a/protocol/protocol.tex b/protocol/protocol.tex index de12454a..5dc99411 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -9615,12 +9615,6 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}. \subparagraph{2018.0-beta-27} \begin{itemize} - \item No changes to \Sprout. -\sapling{ - \item Clarify that when validating a $\Groth$ proof, it is necessary to perform a - subgroup check for $\Proof{A}$ and $\Proof{C}$ as well as for $\Proof{B}$. - \item Correct the description of $\Groth$ batch verification to explicitly take account of - how verification depends on \primaryInputs. \item Notational changes: \begin{itemize} \item Use a superscript $^{\subgroupr}$ to mark the subgroup order, instead of a @@ -9628,11 +9622,18 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}. \item Use $\SubgroupGstar{}$ for the set of $\ParamG{r}$-order points in $\GroupG{}$. \item Mark the subgroup order in pairing groups, e.g. use $\SubgroupG{1}$ instead of $\GroupG{1}$. +\sapling{ \item Make the bit-representation indicator $\Repr$ an affix instead of a superscript. +} %sapling \end{itemize} +\sapling{ + \item Clarify that when validating a $\Groth$ proof, it is necessary to perform a + subgroup check for $\Proof{A}$ and $\Proof{C}$ as well as for $\Proof{B}$. + \item Correct the description of $\Groth$ batch verification to explicitly take account of + how verification depends on \primaryInputs. +} %sapling \item Add Charles Rackoff, Rafail Ostrovsky, and Amit Sahai to the acknowledgements section for their work on \zeroKnowledgeProofs. -} %sapling \end{itemize} \introlist