From f86a7d060edccfe44f949c8f00a240f1c15e3f03 Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Tue, 11 Apr 2017 14:26:47 +0200
Subject: [PATCH] EIP161: document the anomaly

The description is based on https://github.com/ethereum/go-ethereum/pull/3341#discussion_r89548318
---
 Paper.tex | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index 10262eaa..788ea3dd 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -1382,7 +1382,7 @@ \subsection{Trie Database}
 \section{Precompiled Contracts}\label{app:precompiled}
 
 For each precompiled contract, we make use of a template function, $\Xi_{\mathtt{PRE}}$, which implements the out-of-gas checking.
-\begin{equation}
+\begin{equation} \label{eq:pre}
 \Xi_{\mathtt{PRE}}(\boldsymbol{\sigma}, g, I, T) \equiv \begin{cases}
 (\varnothing, 0, A^0, ()) & \text{if} \quad g < g_r \\
 (\boldsymbol\sigma, g - g_r, A^0, \mathbf{o}) & \text{otherwise}\end{cases}
@@ -2258,4 +2258,13 @@ \subsection{Proof-of-work function}
 \end{cases}
 \end{equation}
 
+\section{Anomalies on the Main Network}
+
+\subsection{Deletion of an Account Dispite Out-of-gas}
+
+At block 2675119, in the transaction \texttt{0xcf416c536ec1a19ed1fb89e4ec7ffb3cf73aa413b3aa9b77d60e4fd81a4296ba},
+an account at address 0x03 was called and an out-of-gas occurred during the call.
+Against the equation (\ref{eq:pre}), this added 0x03 in the set of touched transactions, and
+this transaction turned $\boldsymbol{\sigma}[0x03]$ into $\varnothing$.
+
 \end{document}