Skip to content

Commit

Permalink
Fix the status code representation
Browse files Browse the repository at this point in the history
  • Loading branch information
pirapira committed Jan 19, 2018
1 parent a5bf947 commit fa2e2b2
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 @@ -344,9 +344,9 @@ \subsubsection{Transaction Receipt}
\end{equation}
where $0 \in \mathbb{B}_{256}$ replaces the pre-transaction state root that existed in previous versions of the protocol.

We assert that the status code $R_{s'}$ is a single byte.
We assert that the status code $R_{s'}$ is an integer.
\begin{equation}
R_{s'} \in \mathbb{B}_{8}
R_{s'} \in \mathbb{P}
\end{equation}

We assert $R_u$, the cumulative gas used is a positive integer and that the logs Bloom, $R_b$, is a hash of size 2048 bits (256 bytes):
Expand Down Expand Up @@ -714,7 +714,7 @@ \section{Contract Creation} \label{ch:create}

The gas remaining will be zero in any such exceptional condition, \ie if the creation was conducted as the reception of a transaction, then this doesn't affect payment of the intrinsic cost of contract creation; it is paid regardless. However, the value of the transaction is not transferred to the aborted contract's address when we are out-of-gas.

If such an exception does not occur, then the remaining gas is refunded to the originator and the now-altered state is allowed to persist. Thus formally, we may specify the resultant state, gas and substate as $(\boldsymbol{\sigma}', g', A)$ where:
If such an exception does not occur, then the remaining gas is refunded to the originator and the now-altered state is allowed to persist. Thus formally, we may specify the resultant state, gas, substate and status code as $(\boldsymbol{\sigma}', g', A, s')$ where:

\begin{align}
\quad g' &\equiv \begin{cases}
Expand Down

0 comments on commit fa2e2b2

Please sign in to comment.