zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Generalize PRF^expand to accept an arbitrary-length input. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-06-22 17:16:18 +01:00
parent 0334dde7a2
commit f480f351b7
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
protocol/protocol.tex
View File

@ -1016,7 +1016,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
\newcommand{\PRFOutputNfSapling}{\bitseq{\PRFOutputLengthNfSapling}}
\newcommand{\PRFOutputLengthExpand}{\mathsf{\ell_{PRFexpand}}}
\newcommand{\PRFOutputExpand}{\byteseq{\PRFOutputLengthExpand/8}}
\newcommand{\PRFInputExpand}{\byteseq{\barerange{1}{2}}}
\newcommand{\PRFInputExpand}{\byteseqs}
% Commitments
@ -9166,6 +9166,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\item Correct or improve the types of $\GroupJHash{}$, $\FindGroupJHash$, $\ExtractJ$, $\PRFexpand{}$, and $\CRHivk$.
\item Ensure that \Sprout functions and values are given \Sprout-specific types where appropriate.
\item Improve cross-referencing.
\item Generalize $\PRFexpand{}$ to accept an arbitrary-length input. (This specification does not
use that generalization, but \cite{ZIP-32} does.)
\item Change the notation for a multiplication constraint in \crossref{circuitdesign} to avoid
potential confusion with cartesian product.
\item Clarify the wording of the abstract.