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

Correct generators for BLS12-381. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2019-02-24 05:59:14 +00:00
parent 4a9eb35910
commit ce803ea0b4
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
protocol/protocol.tex
View File

@ -7235,15 +7235,22 @@ For $i \typecolon \range{1}{2}$, let $\ZeroS{i}$ be the point at infinity in $\S
and let $\SubgroupSstar{i} := \SubgroupS{i} \setminus \setof{\ZeroS{i}}$.
\introlist
Let $\GenS{1} \typecolon \SubgroupSstar{1} := (1, 2)$.
Let $\GenS{1} \typecolon \SubgroupSstar{1} :=$
\vspace{-1ex}
\begin{tabular}{@{}l@{}r@{}l@{}}
Let $\GenS{2} \typecolon \SubgroupSstar{2} :=\;$
% are these the right way round?
&$(11559732032986387107991004021392285783925812861821192530917403151452391805634$ & $\,\mult\, t\;+$ \\
&$ 10857046999023057135944570762232829481370756359578518086990519993285655852781$ & $, $ \\
&$ 4082367875863433681332203403145435568316851327593401208105741076214120093531$ & $\,\mult\, t\;+$ \\
&$ 8495653923123431417604973247489272438418190587263600148770280649306958101930$ & $). $
\begin{tabular}{@{\tab}r@{}l@{}}
$($\scalebox{0.81}[1]{$ 3685416753713387016781088315183077757961620795782546409894578378688607592378376318836054947676345821548104185464507$} & $, $ \\
\scalebox{0.81}[1]{$13395065449444764730204713799419212215849338759383496204265437364165114239563335064727246553533665349923917564415691$} & $)$.
\end{tabular}
Let $\GenS{2} \typecolon \SubgroupSstar{2} :=$
\vspace{-1ex}
\begin{tabular}{@{\tab}r@{}l@{}}
$($\scalebox{0.81}[1]{$ 3059144344244213709971259814753781636986470325476647558659373206291635324768958432433509563104347017837885763365758$} & $\,\mult\, t\;+$ \\
\scalebox{0.81}[1]{$ 352701069587466618187139116011060144890029952792775240219908644239793785735715026873347600343865175952761926303160$} & $, $ \\
\scalebox{0.81}[1]{$ 927553665492332455747201965776037880757740193453592970025027978793976877002675564980949289727957565575433344219582$} & $\,\mult\, t\;+$ \\
\scalebox{0.81}[1]{$ 1985150602287291935568054521177171638300868978215655730859378665066344726373823718423869104263333984641494340347905$} & $). $
\end{tabular}
$\GenS{1}$ and $\GenS{2}$ are generators of $\SubgroupS{1}$ and $\SubgroupS{2}$ respectively.