Formal Verification of QBFT Consensus Protocol 🔍
Explore the formal verification of the QBFT consensus protocol with insights from Roberto Saltini. Slides available here.
Ethereum Engineering Group
1.2K views • Feb 9, 2022
About this video
Slides are here: https://drive.google.com/file/d/1KmDrqxxFlbQGjyzsD_QTTPgONDtg7euB/view?usp=sharing
Roberto Saltini described the QBFT consensus protocol and his teams efforts for formally verify the protocol.
Roberto Saltini described the QBFT consensus protocol and his teams efforts for formally verify the protocol.
Video Information
Views
1.2K
Likes
37
Duration
01:09:51
Published
Feb 9, 2022
User Reviews
4.5
(1) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now