saltiniroberto
commented
5 years ago - Renamed the protocol to EBFT
- Split protocol description (overview) from protocol specification (detailed description)
- Created Data Structures Encoding section which explains how abstract data structures used in the protocol specification are represented in binary format.
- Moved some of the old sections, like Messages, Header Modifications and Header Validation, inside the newly created Data Structures Encoding section
- Removed justifications from the Improvements as they refer to the analysis section of the Gray Paper which is currently not reported in the specs.