diff --git a/protocol/protocol.pdf b/protocol/protocol.pdf index 1c602e9d..652abed2 100644 Binary files a/protocol/protocol.pdf and b/protocol/protocol.pdf differ diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 3fb8ebc7..7b2a9de7 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -231,7 +231,7 @@ The underlying $\Value$ and $\SpendAuthorityPublic$ are blinded with $\BucketRan \subparagraph{Serials} -A serial number (denoted $\sn$) equals $\PRFsn{\SpendAuthorityPrivate}(\BucketAddressRand)$. Buckets are spent by proving knowledge of $\BucketAddressRand$ or $\SpendAuthorityPrivate$ in zero-knowledge while disclosing $\sn$, allowing $\sn$ to be used to prevent double-spending. +A serial number (denoted $\sn$) equals $\PRFsn{\SpendAuthorityPrivate}(\BucketAddressRand)$. Buckets are spent by proving knowledge of $\BucketAddressRand$ and $\SpendAuthorityPrivate$ in zero-knowledge while disclosing $\sn$, allowing $\sn$ to be used to prevent double-spending. \subsection{Bucket Commitment Tree}