Formalization

Main goal here is to formalize particular aspects of the protocol as precise as possible. Current overview of the formalization process is available as the part of the documentation.

Also take a look on related questions, which will be targeted for formalization in the future.