zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Specify the representation of i in group G_2 of BLS-381. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-04-23 01:42:16 +01:00
parent 8f445e4309
commit df2f80f13b
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
protocol/protocol.tex
View File

@ -6471,7 +6471,7 @@ $i \typecolon \GF{\ParamSexp{q}{2}}$.
We represent elements of $\GF{\ParamSexp{q}{2}}$ as polynomials
$a_1 \mult t + a_0 \typecolon \GF{\ParamS{q}}[t]$, modulo the irreducible polynomial
$t^2 + 1$; in this representation, $i$ is given by \todo{$?$}.
$t^2 + 1$; in this representation, $i$ is given by $t$.
Let $\GroupS{T}$ be the subgroup of $\ParamSexp{r}{\mathrm{th}}$ roots of unity in
$\GFstar{\ParamSexp{q}{12}}$.
@ -8917,6 +8917,16 @@ found by Brian Warner.
\intropart
\section{Change History}
\subparagraph{2018.0-beta-18}
\begin{itemize}
\item No changes to \Sprout.
\sapling{
\item Specify the representation of $i$ in group $\GroupG{2}$ of $\BLSCurve$.
} %sapling
\end{itemize}
\introlist
\subparagraph{2018.0-beta-17}
\begin{itemize}