From 2fc5b8288b269ab26f165bfdd86e22786de8b1e1 Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Fri, 25 Nov 2016 12:12:27 +0100
Subject: [PATCH 1/3] EIP170: max code size

---
 Paper.tex | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Paper.tex b/Paper.tex
index 6bf4302c..50ac2d1b 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -695,14 +695,16 @@ \section{Contract Creation} \label{ch:create}
 
 \begin{align}
 \quad g' &\equiv \begin{cases}
-0 & \text{if} \quad \boldsymbol{\sigma}^{**} = \varnothing \\
+0 & \text{if} \quad F \\
 g^{**} - c & \text{otherwise} \\
 \end{cases} \\
 \quad \boldsymbol{\sigma}' &\equiv  \begin{cases}
-\boldsymbol{\sigma} & \text{if} \quad \boldsymbol{\sigma}^{**} = \varnothing \\
+\boldsymbol{\sigma} & \text{if} \quad F \\
 \boldsymbol{\sigma}^{**} \quad \text{except:} & \\
 \quad\boldsymbol{\sigma}'[a]_c = \texttt{\small KEC}(\mathbf{o}) & \text{otherwise}
-\end{cases}
+\end{cases} \\
+\nonumber \text{where} \\
+F &\equiv \big(\boldsymbol{\sigma}^{**} = \varnothing \ \vee\  g^{**} < c \ \vee\  |\mathbf{o}| \ge 24576\big)
 \end{align}
 
 The exception in the determination of $\boldsymbol{\sigma}'$ dictates that $\mathbf{o}$, the resultant byte sequence from the execution of the initialisation code, specifies the final body code for the newly-created account.

From 8bc426ca1e30cfdbe65307a10f4378b8612e5075 Mon Sep 17 00:00:00 2001
From: Gav Wood <gavin@parity.io>
Date: Wed, 5 Jul 2017 12:02:36 +0200
Subject: [PATCH 2/3] Fix off-by-one.

Should be strictly greater than the limit, the limit itself is acceptable.
---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index 50ac2d1b..a9175e3f 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -704,7 +704,7 @@ \section{Contract Creation} \label{ch:create}
 \quad\boldsymbol{\sigma}'[a]_c = \texttt{\small KEC}(\mathbf{o}) & \text{otherwise}
 \end{cases} \\
 \nonumber \text{where} \\
-F &\equiv \big(\boldsymbol{\sigma}^{**} = \varnothing \ \vee\  g^{**} < c \ \vee\  |\mathbf{o}| \ge 24576\big)
+F &\equiv \big(\boldsymbol{\sigma}^{**} = \varnothing \ \vee\  g^{**} < c \ \vee\  |\mathbf{o}| \gt 24576\big)
 \end{align}
 
 The exception in the determination of $\boldsymbol{\sigma}'$ dictates that $\mathbf{o}$, the resultant byte sequence from the execution of the initialisation code, specifies the final body code for the newly-created account.

From f915d074f610b9ba81d00bdf7648cdbd490f778e Mon Sep 17 00:00:00 2001
From: Gav Wood <gavin@parity.io>
Date: Wed, 5 Jul 2017 12:08:57 +0200
Subject: [PATCH 3/3] Use actual latex.

---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index a9175e3f..f5d86e31 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -704,7 +704,7 @@ \section{Contract Creation} \label{ch:create}
 \quad\boldsymbol{\sigma}'[a]_c = \texttt{\small KEC}(\mathbf{o}) & \text{otherwise}
 \end{cases} \\
 \nonumber \text{where} \\
-F &\equiv \big(\boldsymbol{\sigma}^{**} = \varnothing \ \vee\  g^{**} < c \ \vee\  |\mathbf{o}| \gt 24576\big)
+F &\equiv \big(\boldsymbol{\sigma}^{**} = \varnothing \ \vee\  g^{**} < c \ \vee\  |\mathbf{o}| > 24576\big)
 \end{align}
 
 The exception in the determination of $\boldsymbol{\sigma}'$ dictates that $\mathbf{o}$, the resultant byte sequence from the execution of the initialisation code, specifies the final body code for the newly-created account.