From 9000614a638cdc7020ddf6ef472bdc38ba61a231 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Wed, 27 Apr 2022 21:55:13 +0100 Subject: [PATCH] Add an acknowledgement to Mary Maller for reviewing the Halo 2 security proofs. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index dd0e2a1a..ff869e2f 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -14544,6 +14544,8 @@ We would also like to thank the designers and developers of \Bitcoin and \Zcash has benefited from security audits performed by NCC Group, Coinspect, Least Authority, Mary Maller, Kudelski Security, QEDIT, and Trail of Bits. +We also thank Mary Maller for her work on reviewing the security proofs +for \HaloTwo (any remaining errors are ours). The Faerie Gold attack was found by Zooko Wilcox; subsequent analysis of variations on the attack was performed by Daira Hopwood and Sean Bowe. @@ -14612,6 +14614,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}. \begin{itemize} \item Correct ``block chain branch'' to ``~\!\!\consensusBranch'' to match \cite{ZIP-200}. + \item Add an acknowledgement to Mary Maller for reviewing the \HaloTwo security proofs. \item Add an acknowledgement to Josh Cincinnati for discussions on the Zcash protocol. \item Add acknowledgements to more people associated with the ZK Podcast. \end{itemize}