Fill in a corner case

ethereum · May 26, 2017 · 043a308 · 043a308
1 parent 2ba5988
commit 043a308
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Paper.tex b/Paper.tex
@@ -1410,7 +1410,8 @@ \section{Precompiled Contracts}\label{app:precompiled}
 \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{otherwise} \\
+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 \\
+8(\ell_E - 32) & \text{otherwise} \\
 \end{cases} \\
 \mathbf o &=& (B^E\bmod M)\in\mathbb P_{8\ell_M} \\
 \ell_B &\equiv& i[0..31] \\