Roberto Saltini will explain the QBFT consensus protocol and describe how the protocol has been formally verified.
Ethereum Engineering Group
ConsenSys is bring you this meet-up.
This meet-up is for software engineers, computer scientists, researchers, and technologists who want to understand the Ethereum platform and associated technologies. The meet-up runs each fortnight, on Wednesday lunch time.
The slack channel for this meet-up group is eth-eng-group. To join it, click on this link: