Type clarification.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-04-21 08:19:56 +01:00
parent 80ec1b52ce
commit 8ca0f473f5
1 changed files with 1 additions and 1 deletions

View File

@ -4426,7 +4426,7 @@ the prover knows an \auxiliaryInput:
\hparen\cmOld{} \typecolon \NoteCommitSaplingOutput,\\
\hparen\NoteCommitRandOld{} \typecolon \binaryrange{\ScalarLength},\\
\hparen\AuthSignRandomizer \typecolon \binaryrange{\ScalarLength},\\
\hparen\AuthSignPublic \typecolon \GroupJ,\\
\hparen\AuthSignPublic \typecolon \SpendAuthSigPublic,\\
\hparen\AuthProvePrivate \typecolon \binaryrange{\ScalarLength}\cparen$
\end{formulae}
\vspace{-1ex}