|
|
@ -1138,7 +1138,7 @@ where: |
|
|
|
|
|
|
|
such that the following conditions hold: |
|
|
|
|
|
|
|
\subparagraph{Merkle path validity} |
|
|
|
\subparagraph{Merkle path validity} \label{merklepathvalidity} |
|
|
|
|
|
|
|
for each $i \in \setofOld$ \changed{$\mid$ $\vOld{i} \neq 0$}: |
|
|
|
$\treepath{i}$ must be a valid \merklePath of depth $\MerkleDepth$, as defined in |
|
|
@ -1617,6 +1617,10 @@ within the circuit was not considered to justify the benefits. |
|
|
|
|
|
|
|
\todo{} |
|
|
|
|
|
|
|
\subsection{Omission in \Zerocash security proof} |
|
|
|
|
|
|
|
\todo{see \cite{ticket836}} |
|
|
|
|
|
|
|
\subsection{Miscellaneous} |
|
|
|
|
|
|
|
\begin{itemize} |
|
|
@ -1643,6 +1647,39 @@ Samantha Hulsey, and no doubt others. |
|
|
|
|
|
|
|
The Faerie Gold attack was found by Zooko Wilcox. |
|
|
|
The internal hash collision attack was found by Taylor Hornby. |
|
|
|
The omission in the \Zerocash security proof relating to collision-resistance |
|
|
|
of $\PRFaddr{}$ was found by Daira Hopwood. |
|
|
|
|
|
|
|
|
|
|
|
\section{Change history} |
|
|
|
|
|
|
|
\subparagraph{2.0-alpha-3} |
|
|
|
|
|
|
|
\begin{itemize} |
|
|
|
\item Allow anchoring to any previous output \treestate in the same \transaction, |
|
|
|
rather than just the immediately preceding output \treestate. |
|
|
|
\item Add change history. |
|
|
|
\end{itemize} |
|
|
|
|
|
|
|
\subparagraph{2.0-alpha-2} |
|
|
|
|
|
|
|
\begin{itemize} |
|
|
|
\item Change from truncated \BlakeFullLength to \BlakeHashName. |
|
|
|
\item Clarify endianness, and that uses of \BlakeHashName are unkeyed. |
|
|
|
\item Minor correction to what \sighashTypes cover. |
|
|
|
\item Add ``as intended for the \Zcash release of summer 2016" to title page. |
|
|
|
\item Require $\PRFaddr{}$ to be collision-resistant. \cite{ticket836} |
|
|
|
\item Add specification of path computation for the \incrementalMerkleTree. |
|
|
|
\item Add a note in \crossref{merklepathvalidity} about how this condition |
|
|
|
corresponds to conditions in the \Zerocash paper. |
|
|
|
\item Changes to terminology around keys. |
|
|
|
\end{itemize} |
|
|
|
|
|
|
|
\subparagraph{2.0-alpha-1} |
|
|
|
|
|
|
|
\begin{itemize} |
|
|
|
\item First version intended for public review. |
|
|
|
\end{itemize} |
|
|
|
|
|
|
|
|
|
|
|
\section{References} |
|
|
|