Formal protocol specification
Written for FileStore by Jason Gerard DeRose on 2013-01-28
As a step toward finalizing the version 1 Dmedia hashing protocol, we're preparing a more formal specification:
http://
Thanks to Robert von Burg, we're already aware of a number of shortcomings in the specification, but we'd love feedback on our work-in-progress.
