Skip to content

Commit

Permalink
Fix the length constant from bits to bytes
Browse files Browse the repository at this point in the history
  • Loading branch information
pirapira committed Jan 19, 2018
1 parent 8a7fdf0 commit 6bfb464
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions Paper.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1409,9 +1409,9 @@ \section{Precompiled Contracts}\label{app:precompiled}
\Xi_{\mathtt{EXPMOD}} &\equiv& \Xi_{\mathtt{PRE}} \quad \text{except:} \\
g_r &=& \Big\lfloor\frac{\max(\ell_M,\ell_B)^2\max(\ell'_E,1)}{G_{quaddivisor}}\Big\rfloor \\
\ell'_E &=& \begin{cases}
0 & \text{if}\ \ell_E\le 256\wedge E=0 \\
\lfloor \log_2(E)\rfloor &\text{if}\ \ell_E\le 256 \wedge E \neq 0 \\
8(\ell_E - 32) + \lfloor \log_2(i[(96+\ell_B)..(127+\ell_B)]) \rfloor & \text{if}\ 256 < \ell_E \wedge i[(96 + \ell_B)..(127 + \ell_B)]\neq 0 \\
0 & \text{if}\ \ell_E\le 32\wedge E=0 \\
\lfloor \log_2(E)\rfloor &\text{if}\ \ell_E\le 32 \wedge E \neq 0 \\
8(\ell_E - 32) + \lfloor \log_2(i[(96+\ell_B)..(127+\ell_B)]) \rfloor & \text{if}\ 32 < \ell_E \wedge i[(96 + \ell_B)..(127 + \ell_B)]\neq 0 \\
8(\ell_E - 32) & \text{otherwise} \\
\end{cases} \\
\mathbf o &=& (B^E\bmod M)\in\mathbb P_{8\ell_M} \\
Expand Down

0 comments on commit 6bfb464

Please sign in to comment.