From a04949caf30f745885a29bc48d33c46f7e8b9ce8 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Sun, 17 Dec 2017 00:11:38 +0000 Subject: [PATCH] Put zk-SNARK statements in a subsection to prepare for Sapling. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index d027201f..2e66bac9 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -264,6 +264,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg \newcommand{\SpendStatement}{\titleterm{Spend Statement}} \newcommand{\SpendProof}{\term{Spend proof}} \newcommand{\statement}{\term{statement}} +\newcommand{\ZkSNARKStatements}{\titleterm{Zk-SNARK Statements}} \newcommand{\zeroKnowledgeProof}{\term{zero-knowledge proof}} \newcommand{\provingSystem}{\term{proving system}} \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. \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}: @@ -2355,7 +2359,7 @@ For details of the form and encoding of proofs, see \crossref{phgr}. \sapling{ \introsection -\nsubsection{\Sapling \JoinSplitStatement} \label{saplingstatement} +\nsubsubsection{\Sapling \SpendStatement} \label{saplingstatement} A valid instance of $\ProofSaplingSpend$ assures that given a \term{primary input}: