Formal Verification of QBFT Consensus Protocol
Details
Online event: https://consensys.zoom.us/j/94749391426
Roberto Saltini will explain the QBFT consensus protocol and describe how the protocol has been formally verified.
Related topics
Engineering