mirror of https://github.com/zcash/zips.git
The JoinSplit proof is more precisely of type ZK_JoinSplit.Proof, not ZK.Proof.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
6dbda8500f
commit
11a2fe08c5
|
@ -529,6 +529,7 @@
|
||||||
\newcommand{\ZKJoinSplit}{\mathsf{ZK}_{\JoinSplit}}
|
\newcommand{\ZKJoinSplit}{\mathsf{ZK}_{\JoinSplit}}
|
||||||
\newcommand{\ZKJoinSplitVerify}{\ZKJoinSplit\mathsf{.Verify}}
|
\newcommand{\ZKJoinSplitVerify}{\ZKJoinSplit\mathsf{.Verify}}
|
||||||
\newcommand{\ZKJoinSplitProve}{\ZKJoinSplit\mathsf{.Prove}}
|
\newcommand{\ZKJoinSplitProve}{\ZKJoinSplit\mathsf{.Prove}}
|
||||||
|
\newcommand{\ZKJoinSplitProof}{\ZKJoinSplit\mathsf{.Proof}}
|
||||||
\newcommand{\Proof}{\pi}
|
\newcommand{\Proof}{\pi}
|
||||||
\newcommand{\JoinSplitProof}{\Proof_{\JoinSplit}}
|
\newcommand{\JoinSplitProof}{\Proof_{\JoinSplit}}
|
||||||
\newcommand{\zkproof}{\mathtt{zkproof}}
|
\newcommand{\zkproof}{\mathtt{zkproof}}
|
||||||
|
@ -1365,7 +1366,7 @@ where
|
||||||
\item $\h{\allOld} \typecolon (\PRFOutput)^{\NOld}$ is
|
\item $\h{\allOld} \typecolon (\PRFOutput)^{\NOld}$ is
|
||||||
a sequence of tags that bind $\hSig$ to each
|
a sequence of tags that bind $\hSig$ to each
|
||||||
$\AuthPrivate$ of the input \notes;
|
$\AuthPrivate$ of the input \notes;
|
||||||
\item $\JoinSplitProof \typecolon \ZKProof$ is
|
\item $\JoinSplitProof \typecolon \ZKJoinSplitProof$ is
|
||||||
the \zeroKnowledgeProof for the \joinSplitStatement;
|
the \zeroKnowledgeProof for the \joinSplitStatement;
|
||||||
\item $\TransmitCiphertext{\allNew} \typecolon (\Ciphertext)^{\NNew}$ is
|
\item $\TransmitCiphertext{\allNew} \typecolon (\Ciphertext)^{\NNew}$ is
|
||||||
a sequence of ciphertext components for the encrypted output \notes.
|
a sequence of ciphertext components for the encrypted output \notes.
|
||||||
|
|
Loading…
Reference in New Issue