Slides are here: https://drive.google.com/file/d/1Wpqv...
Peter Robinson described his thoughts on Decentralized Sequnecers, and why he thinks that BFT consensus algorithms are appropriate for this usage. He then does a deep dive on QBFT, for formally verified BFT consensus algorithm.