zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix references. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2016-01-27 00:32:57 +00:00
parent 862b201906
commit fe003d4954
3 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
protocol/Makefile
View File

@ -1,6 +1,9 @@
protocol.pdf: protocol.tex incremental_merkle.pdf
protocol.pdf: protocol.tex zcash.bib incremental_merkle.pdf
# If pdflatex fails, touch an input so that 'make' won't think it is up-to-date next time.
pdflatex protocol.tex || touch incremental_merkle.pdf
bibtex protocol
pdflatex protocol.tex || touch incremental_merkle.pdf
pdflatex protocol.tex || touch incremental_merkle.pdf
.PHONY: clean
clean:

12
protocol/protocol.tex
View File

@ -4,8 +4,8 @@
\RequirePackage{graphicx}
\RequirePackage{newtxmath}
\RequirePackage{mathtools}
\RequirePackage{natbib}
\RequirePackage{xspace}
\RequirePackage{url}
\setlength{\oddsidemargin}{-0.25in} % Left margin of 1 in + 0 in = 1 in
\setlength{\textwidth}{7in} % Right margin of 8.5 in - 1 in - 6.5 in = 1 in
@ -134,7 +134,7 @@
\newcommand{\vOld}[1]{\mathsf{v}_{#1}^\mathsf{old}}
\newcommand{\vNew}[1]{\mathsf{v}_{#1}^\mathsf{new}}
\newcommand{\NP}{\mathsf{NP}}
\newcommand{\path}[1]{\mathsf{path}_{#1}}
\newcommand{\treepath}[1]{\mathsf{path}_{#1}}
\newcommand{\COMM}[1]{\mathsf{COMM}_{#1}}
\newcommand{\COMMSeed}{\mathsf{COMM} seed}
\newcommand{\CoinCommitment}[1]{\mathtt{CoinCommitment}(#1)}
@ -504,7 +504,7 @@ In \Zcash, $\NOld$ and $\NNew$ are both $2$.
A valid instance of $\PourProof$ assures that given a \term{primary input}
$(\rt, \snOld{1..\NOld}, \cmNew{1..\NNew}, \vpubOld, \vpubNew, \hSig, \h{1..\NOld})$,
a witness of \term{auxiliary input}
$(\path{1..\NOld}, \cOld{1..\NOld}, \SpendAuthorityPrivateOld{1..\NOld}, \cNew{1..\NNew})$
$(\treepath{1..\NOld}, \cOld{1..\NOld}, \SpendAuthorityPrivateOld{1..\NOld}, \cNew{1..\NNew})$
exists, where:
\begin{list}{}{}
@ -521,7 +521,7 @@ exists, where:
\subparagraph{Merkle path validity}
for each $i \in \{1..\NOld\}$ $\mid$ $\vOld{i} \neq 0$: $\path{i}$ must be a valid path
for each $i \in \{1..\NOld\}$ $\mid$ $\vOld{i} \neq 0$: $\treepath{i}$ must be a valid path
of depth $\MerkleDepth$ from \linebreak $\CoinCommitment{\cOld{i}}$ to Coin
commitment merkle tree root $\rt$.
@ -696,6 +696,10 @@ TBD.
\section{References}
\begingroup
\renewcommand{\section}[2]{}
\bibliographystyle{plain}
\bibliography{zcash}
\endgroup
\end{document}

6
protocol/zcash.bib
View File

@ -1,14 +1,14 @@
@inproceedings{ZerocashOakland,
author={Eli Ben-Sasson and Alessandro Chiesa and Christina Garman and Matthew Green and Ian Miers and Eran Tromer and Madars Virza},
year={2014},
title={Zerocash: Decentralized Anonymous Payments from Bitcoin},
booktitle={Proceedings of the IEEE Symposium on Security & Privacy (Oakland) 2014},
title={Zerocash: Decentralized {A}nonymous {P}ayments from {B}itcoin},
booktitle={Proceedings of the IEEE Symposium on Security and Privacy (Oakland) 2014},
pages={459-474},
publisher={IEEE}
}
@misc{Base58Check,
title={Base58Check encoding},
title={Base58{C}heck encoding},
howpublished={\url{https://en.bitcoin.it/wiki/Base58Check_encoding}},
note={Accessed: 2016-01-26}
}