[freehaven-dev] PK_doc

[Wei Dai <weidai@eskimo.com>]

I'm confused about this section of the Free Haven paper:

[quote from http://freehaven.net/paper/node18.html]
When a share moves, it notifies its buddy. These notifications are signed
by the public key of the document, which is inside each share; it is for
this reason that we include PKdoc in each share and not simply a hash of
the public key. [end quote]

How can the notifications be signed by PK_doc, unless the signer knows the
corresponding SK_doc? Do you mean that SK_doc is included in each share?