|
|
@ -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 |
|
|
|