Add cross references from payment address and spending key encoding sections

to where the key components are specified.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>

protocol/protocol.tex

@@ -2466,8 +2466,9 @@ for both the production and test networks.
 
 A \paymentAddress consists of $\AuthPublic$ and $\TransmitPublic$.
 $\AuthPublic$ is a $\SHAName$ output.
-$\TransmitPublic$ is a \changed{Bern2006} public key, for use with the
-encryption scheme defined in \crossref{inband}.
+$\TransmitPublic$ is a $\KAPublic$ key (see \crossref{concretekeyagreement}),
+for use with the encryption scheme defined in \crossref{inband}. These
+components are derived from a \spendingKey as described in \crossref{keycomponents}.
 
 The raw encoding of a \paymentAddress consists of:
 
@@ -2503,7 +2504,8 @@ cause the first two characters of the Base58Check encoding to be fixed as
 
 \nsubsubsection{Spending Keys} \label{spendingkeyencoding}
 
-A \spendingKey consists of $\AuthPrivate$, which is a sequence of \changed{252} bits.
+A \spendingKey consists of $\AuthPrivate$, which is a sequence of \changed{252} bits
+(see \crossref{keycomponents}).
 
 The raw encoding of a \spendingKey consists of, in order:
 
@@ -3667,7 +3669,7 @@ Mike Perry, Isis Lovecruft, Leif Ryge, Andrew Miller, Zooko Wilcox,
 Samantha Hulsey, Jack Grigg, Simon Liu, Ariel Gabizon, jl777, Ben Blaxill,
 Alex Balducci, Jake Tarren, Solar Designer, Ling Ren, Alison Stevenson,
 John Tromp, Paige Peterson, Maureen Walsh, Jay Graber, Jack Gavigan,
-and no doubt others.
+Filippo Valsorda, Zaki Manian, and no doubt others.
 
 \Zcash has benefited from security audits performed by NCC Group and
 Coinspect.
@@ -3686,6 +3688,9 @@ The errors in the proof of Ledger Indistinguishability mentioned in
 
 \begin{itemize}
     \item Update the hashes of proving and verifying keys for the final Sprout parameters.
+    \item Add cross references from \paymentAddress and \spendingKey encoding
+          sections to where the key components are specified.
+    \item Add acknowledgements for Filippo Valsorda and Zaki Manian.
 \end{itemize}
 
 \subparagraph{2016.0-beta-1.11}