Split protocol into phases

[dbosk]

Split it into a setup phase, etc:

• Setup: issue keys with blind signatures.
• Organizing: write manifesto and publish.
• Joining: ask for manifesto, approve or reject (i.e. abort protocol).
• Participate: Compute $cid$ and proceed with the protocol in the figure.
• Verify: verify the validity of the proof shares and count the valid proofs.

[dbosk]

• Creating the proofs
• Storing them
• Verifying them

[dbosk]

Done.