Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Davey2002_zbMATH01748069 ref + typo + List of mathematical symbols #416

Merged
merged 17 commits into from
Jan 30, 2018
Merged

Add Davey2002_zbMATH01748069 ref + typo + List of mathematical symbols #416

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
cf08133
Add Davey2002_zbMATH01748069
jamesray1 Jan 18, 2018
ea499b0
\section{List of mathematical symbols} \bigvee
jamesray1 Jan 18, 2018
6ef3dde
\cite{Davey2002_zbMATH01748069}
jamesray1 Jan 18, 2018
8cf1c10
Merge branch 'master' into patch-4
jamesray1 Jan 22, 2018
49ee0e2
... refer to Appendix \ref{ch:Terminology}.
jamesray1 Jan 23, 2018
4514ea6
\hypertarget{bigvee}{} move closing brace
jamesray1 Jan 25, 2018
220a9e7
Delete redundant empty line
jamesray1 Jan 25, 2018
f41498d
Merge branch 'master' into patch-4
jamesray1 Jan 26, 2018
57b0fd3
\PassOptionsToPackage{tabularx}\usepackage{tabu}
jamesray1 Jan 26, 2018
ca26132
Add a missing closing brace
jamesray1 Jan 26, 2018
658750b
Delete an empty line
jamesray1 Jan 26, 2018
5c12bd3
\begin{tabu}{X[l]X[c]X} \savetabu{col3}
jamesray1 Jan 26, 2018
4f95e95
Move \hypertarget{bigvee}{} to preceding line
jamesray1 Jan 26, 2018
6a9b791
Remove parentheses
jamesray1 Jan 26, 2018
4138c90
tabu*
jamesray1 Jan 26, 2018
bbf2dde
\end{tabu*}
jamesray1 Jan 26, 2018
6c901b7
\label{ch:Terminology}
jamesray1 Jan 29, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions Biblio.bib
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,16 @@
@Book{Davey2002_zbMATH01748069,
Author = {B.A. {Davey} and H.A. {Priestley}},
Title = {{Introduction to lattices and order. 2nd ed.}},
Edition = {2nd ed.},
ISBN = {0-521-78451-4/pbk},
Pages = {xii + 298},
Year = {2002},
Publisher = {Cambridge: Cambridge University Press},
Language = {English},
MSC2010 = {06-01},
Zbl = {1002.06001},
}

@Misc{EIP-100,
url = "https://github.com/ethereum/EIPs/blob/master/EIPS/eip-100.md",
author = "Vitalik Buterin",
Expand Down
14 changes: 12 additions & 2 deletions Paper.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -106,6 +106,7 @@ \subsection{Previous Work} \label{ch:previous}
Early work on smart contracts has been done by \cite{szabo1997formalizing} and \cite{miller1997future}. Around the 1990s it became clear that algorithmic enforcement of agreements could become a significant force in human cooperation. Though no specific system was proposed to implement such a system, it was proposed that the future of law would be heavily affected by such systems. In this light, Ethereum may be seen as a general implementation of such a \textit{crypto-law} system.

%E language?
For a list of terms used in this paper, refer to Appendix \ref{ch:Terminology}.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ch:Terminology is not defined anywhere.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It is now.


\section{The Blockchain Paradigm} \label{ch:overview}

Expand Down Expand Up @@ -1252,7 +1253,7 @@ \section{Availability}

\appendix

\section{Terminology}
\section{Terminology} \label{ch:Terminology}

\begin{description}
\item[External Actor] A person or other entity able to interface to an Ethereum node, but external to the world of Ethereum. It can interact with Ethereum through depositing signed Transactions and inspecting the blockchain and associated state. Has one (or more) intrinsic Accounts.
Expand Down Expand Up @@ -2502,8 +2503,17 @@ \subsection{Proof-of-work function}

\section{Anomalies on the Main Network}

\subsection{Deletion of an Account Dispite Out-of-gas}
\subsection{Deletion of an Account Despite 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 addresses, and this transaction turned $\boldsymbol{\sigma}[0x03]$ into $\varnothing$.

\section{List of mathematical symbols}\label{app:symbols}
\begin{tabu*}{X[l]X[c]X} \savetabu{col3}
\toprule
Symbol & Latex Command & Description \hypertarget{bigvee}{}\\
\midrule
$\bigvee$ & \verb|\bigvee| & This is the least upper bound, supremum, or join of all elements operated on. Thus it is the greatest element of such elements \cite{Davey2002_zbMATH01748069}.\\
\bottomrule
\end{tabu*}

\end{document}