Update Pour statement for viewing keys.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2016-02-27 00:52:14 +00:00
parent a2d625f1b2
commit 98398f0385
1 changed files with 22 additions and 17 deletions

View File

@ -766,7 +766,8 @@ there exists a witness of \term{auxiliary input}:
\begin{itemize}
\item[] $(\treepath{1..\NOld}, \cOld{1..\NOld}, \AuthPrivateOld{\mathrm{1}..\NOld},
\changed{\DiscloseKeyOld{\mathrm{1}..\NOld}, \cpNew{1..\NNew},
\CoinAddressPreRand, \TransmitKey{1..\NNew}, \DerivedKey{1..\NOld}, \SharedKey{}})$
\CoinAddressPreRand, \TransmitKey{1..\NNew}, \DerivedKey{1..\NOld}, \SharedKey{},
\TransmitPublicNew{\mathrm{1}..\NNew}, \EphemeralPrivate})$
\end{itemize}
where:
@ -831,10 +832,28 @@ $\TransmitCiphertext{i} = \SymEncrypt{\TransmitKey{i}}(\TransmitPlaintext{i})$.
for each $i \in \{1..\NOld\}$:
$\DiscloseCiphertext{i} = \SymEncrypt{\DerivedKey{i}}(\SharedKey{})$
and $\DerivedKey{i} = \PRFdk{\DiscloseKeyOld{i}}(i, \hSig)$.
}
\subparagraph{$\SharedCiphertext$ integrity}
\subparagraph{\changed{$\SharedCiphertext$ integrity}}
$\SharedCiphertext = \SymEncrypt{\SharedKey{}}(\SharedPlaintext{})$.
\newsavebox{\sharedbox}
\begin{lrbox}{\sharedbox}
\setchanged
\begin{bytefield}[bitwidth=0.045em]{512}
\bitbox{256}{256 bit $\TransmitKey{\mathrm{1}}$} &
\bitbox{40}{...} &
\bitbox{256}{256 bit $\TransmitKey{\NNew}$} \\
\bitbox{256}{256 bit $\TransmitPublicNew{\mathrm{1}}$} &
\bitbox{40}{...} &
\bitbox{256}{256 bit $\TransmitPublicNew{\NNew}$} \\
\bitbox{256}{256 bit $\EphemeralPrivate$}
\end{bytefield}
\end{lrbox}
\changed{
$\SharedCiphertext = \SymEncrypt{\SharedKey{}}(\SharedPlaintext{})$
where $\SharedPlaintext{} = \Justthebox{\sharedbox}{-9.5ex}$
}
\section{In-band secret distribution}
@ -864,20 +883,6 @@ All of the resulting ciphertexts are combined to form a \coinsCiphertext.
\end{bytefield}
\end{lrbox}
\newsavebox{\sharedbox}
\begin{lrbox}{\sharedbox}
\setchanged
\begin{bytefield}[bitwidth=0.045em]{512}
\bitbox{256}{256 bit $\TransmitKey{\mathrm{1}}$} &
\bitbox{40}{...} &
\bitbox{256}{256 bit $\TransmitKey{\NNew}$} \\
\bitbox{256}{256 bit $\TransmitPublicNew{\mathrm{1}}$} &
\bitbox{40}{...} &
\bitbox{256}{256 bit $\TransmitPublicNew{\NNew}$} \\
\bitbox{256}{256 bit $\EphemeralPrivate$}
\end{bytefield}
\end{lrbox}
\subsection{Encryption}
\changed{