mirror of https://github.com/zcash/zips.git
Put zk-SNARK statements in a subsection to prepare for Sapling.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
8f3da545ea
commit
a04949caf3
|
@ -264,6 +264,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
|
||||||
\newcommand{\SpendStatement}{\titleterm{Spend Statement}}
|
\newcommand{\SpendStatement}{\titleterm{Spend Statement}}
|
||||||
\newcommand{\SpendProof}{\term{Spend proof}}
|
\newcommand{\SpendProof}{\term{Spend proof}}
|
||||||
\newcommand{\statement}{\term{statement}}
|
\newcommand{\statement}{\term{statement}}
|
||||||
|
\newcommand{\ZkSNARKStatements}{\titleterm{Zk-SNARK Statements}}
|
||||||
\newcommand{\zeroKnowledgeProof}{\term{zero-knowledge proof}}
|
\newcommand{\zeroKnowledgeProof}{\term{zero-knowledge proof}}
|
||||||
\newcommand{\provingSystem}{\term{proving system}}
|
\newcommand{\provingSystem}{\term{proving system}}
|
||||||
\newcommand{\provingSystems}{\term{proving systems}}
|
\newcommand{\provingSystems}{\term{proving systems}}
|
||||||
|
@ -2266,7 +2267,10 @@ into the \blockchain, appends to the \noteCommitmentTree with all constituent
|
||||||
attempts to add a \nullifier to the \nullifierSet that already exists in the set.
|
attempts to add a \nullifier to the \nullifierSet that already exists in the set.
|
||||||
|
|
||||||
\introsection
|
\introsection
|
||||||
\nsubsection{\Sprout \JoinSplitStatement} \label{sproutstatement}
|
|
||||||
|
\nsubsection{\ZkSNARKStatements} \label{snarkstatements}
|
||||||
|
|
||||||
|
\nsubsubsection{\Sprout \JoinSplitStatement} \label{sproutstatement}
|
||||||
|
|
||||||
A valid instance of $\ProofSproutJoinSplit$ assures that given a \term{primary input}:
|
A valid instance of $\ProofSproutJoinSplit$ assures that given a \term{primary input}:
|
||||||
|
|
||||||
|
@ -2355,7 +2359,7 @@ For details of the form and encoding of proofs, see \crossref{phgr}.
|
||||||
|
|
||||||
\sapling{
|
\sapling{
|
||||||
\introsection
|
\introsection
|
||||||
\nsubsection{\Sapling \JoinSplitStatement} \label{saplingstatement}
|
\nsubsubsection{\Sapling \SpendStatement} \label{saplingstatement}
|
||||||
|
|
||||||
A valid instance of $\ProofSaplingSpend$ assures that given a \term{primary input}:
|
A valid instance of $\ProofSaplingSpend$ assures that given a \term{primary input}:
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue