Review and polish draft protocol design

[joebebel]

The crypto protocol draft should be reviewed for errors, details added as necessary, TODOs resolved, etc. Ideally the crypto side of the protocol should be well documented and clearly comparable to both the written code and also to the original papers.

The cryptoeconomics discussion may be added to the same document or a separate document later.