Browse Source

Do some work on the interim report structure.

master
Thomas Kerber 3 years ago
parent
commit
3455380cfb
3 changed files with 106 additions and 4 deletions
  1. +5
    -4
      .gitignore
  2. +89
    -0
      report/interim.tex
  3. +12
    -0
      report/report.tex

+ 5
- 4
.gitignore View File

@@ -1,4 +1,5 @@
/report/report.aux
/report/report.log
/report/report.toc
/report/report.pdf
*.aux
*.log
*.toc
*.pdf
/pinocchio

+ 89
- 0
report/interim.tex View File

@@ -0,0 +1,89 @@
\documentclass[a4paper]{article}

\begin{document}
\title{Verifiable Computation in Smart Contracts \\ Interim Report}
\author{Thomas Kerber}
\maketitle

\section{Introduction}

\section{Project Specification}

\subsection{Blockchains and Ethereum}

\subsection{Verifiable Computation}

\subsection{This Project}

\section{Project State}

\subsection{Abandoned Paths}

\subsection{Unsolved Conceptual Problems}

\subsection{Conceptual Design}

\subsection{Solidity Compiler}

\subsubsection{Solidity Language Modifications}

\subsubsection{EVM Code Generation Additions}

\subsubsection{Circuit Generation}

\subsection{Pinocchio}

\section{Further Work}

\subsection{Gas Cost Estimates}

\subsection{Lifting of Restrictions}

\subsection{Correctness Testing}

\subsection{Report Writing}

\section{Timeline}

\section{Report Skeleton}

%\pagenumbering{arabic}

%\chapter{Introduction}
%\section{Contributions}
%I was able to partially integrate verifiable computation into Ethereum,
%My contributions to this area fall roughly into the following points:
%\begin{itemize}
% \item Modified the \texttt{solc} compiler to generate (partially) verifiable code.
% \item (TODO) Implemented a modified EVM bytecode interpreter to:
% \begin{enumerate}
% \item Generate proofs to populate a requested transaction.
% \item Simulate the effects of a correctly implemented verifier contract.
% \end{enumerate}
% \item (TODO) Approximated the gas costs of various transactions, and compared these results to Pinocchio's.
%\end{itemize}
%
%\chapter{Background}
%\section{Verifiable Computation}
%\subsection{Pinocchio}
%\section{Blockchains}
%\section{Smart Contracts}
%\subsection{Ethereum}
%\subsection{Solidity}
%
%\chapter{Verifiable Computation in Ethereum}
%\section{High-Level Design}
%\section{ABI Specifications}
%\section{Modifications to Solidity}
%\section{Limitations}
%
%\chapter{Results}
%None atm :/
%
%\chapter{Conclusion}
%\section{Further Work}
%
%\bibliographystyle{plain}
%\bibliography{report.bib}

\end{document}

+ 12
- 0
report/report.tex View File

@@ -33,10 +33,22 @@ I acknowledge no one.

\chapter{Introduction}
\section{Contributions}
I was able to partially integrate verifiable computation into Ethereum,
My contributions to this area fall roughly into the following points:
\begin{itemize}
\item Modified the \texttt{solc} compiler to generate (partially) verifiable code.
\item (TODO) Implemented a modified EVM bytecode interpreter to:
\begin{enumerate}
\item Generate proofs to populate a requested transaction.
\item Simulate the effects of a correctly implemented verifier contract.
\end{enumerate}
\item (TODO) Approximated the gas costs of various transactions, and compared these results to Pinocchio's.
\end{itemize}

\chapter{Background}
\section{Verifiable Computation}
\subsection{Pinocchio}
\section{Blockchains}
\section{Smart Contracts}
\subsection{Ethereum}
\subsection{Solidity}


Loading…
Cancel
Save