From 32cb319cc70d133fb5a6d1913ae7c323bedbd791 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Fri, 20 Mar 2020 15:35:54 +0000 Subject: [PATCH] Protocol spec: cosmetics. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index e70744f7..5b902183 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -7164,7 +7164,7 @@ but this does not result in any practical security weakness as long as the secur of ZIP-32 are followed. If $\RedDSA$ is reused in other protocols making use of these additive properties, careful analysis of potential interactions is required.} -\vspace{3ex} +\vspace{1ex} \introlist The two abelian groups specified in \crossref{abstractsigmono} are instantiated for $\RedDSA$ as follows: @@ -7189,7 +7189,7 @@ As required, $\RedDSADerivePublic$ is a group monomorphism, since it is injectiv A $\RedDSA$ \publicKey $\vk$ can be encoded as a bit sequence $\reprG{}\Of{\vk}$\, of length $\ellG{}$ bits (or as a corresponding byte sequence $\vkBytes{}$ by then applying $\LEBStoOSP{\ellG{}}$). -\vspace{2ex} +\vspace{1ex} \introlist The scheme $\RedJubjub$ specializes $\RedDSA$ with: \begin{itemize} @@ -7213,7 +7213,7 @@ Define $\AuthSignBase := \FindGroupJHash\Of{\ascii{Zcash\_G\_}, \ascii{}}$. The \defining{\spendAuthSignatureScheme}, $\SpendAuthSig$, is instantiated as $\RedJubjub$ with key re-randomization, and with generator $\GenG{} = \AuthSignBase$. -\vspace{2ex} +\vspace{1ex} See \crossref{spendauthsig} for details on the use of this \signatureScheme. \securityrequirement{ @@ -7233,7 +7233,7 @@ Let $\ValueCommitRandBase$ be the randomness base defined in \crossref{concretev The \defining{\bindingSignatureScheme}, $\BindingSig$, is instantiated as $\RedJubjub$ without use of key re-randomization, and with generator $\GenG{} = \ValueCommitRandBase$. -\vspace{2ex} +\vspace{1ex} See \crossref{bindingsig} for details on the use of this \signatureScheme. \securityrequirement{ @@ -8600,6 +8600,7 @@ This value is used in the definition of $\GroupJHash{}$ in \crossref{concretegro and in the multi-party computation to obtain the \Sapling parameters given in \crossref{grothparameters}. +\introlist It is derived as described in \cite{Bowe2018}: \begin{itemize}