Write Spec

[ebuchman]

We need a clear specification of how this works, most importantly how data is serialized and hashes are computed.

A secondary concern is how it's cached and persisted on disk.

[liamsi]

Cool, I'll work on this. Might be a good way to fully familiarize myself with the implementation. I might have some questions though.

[liamsi]

From the last libs call: @jaekwon suggested that this is a post-launch requirement. @jlandrews started a document a while ago. We will update it when #92 is merged but finalize it later.

[tac0turtle]

@AdityaSripal can we close this because of #167 or do you still have things you would like to accomplish?

[AdityaSripal]

Yes, we can close this because of #167 and I'll writeup a more specific issue for writing up proof spec