Formal Verification of QBFT Consensus Protocol

preview_player
Показать описание

Roberto Saltini described the QBFT consensus protocol and his teams efforts for formally verify the protocol.
  1. Ethereum Engineering Group
Рекомендации по теме
Formal Verification of 1:09:51

Formal Verification of QBFT Consensus Protocol

Formal Verification of 0:10:24

Formal Verification of Secure Forwarding Protocols

Decentralized Sequencers & 0:40:03

Decentralized Sequencers & QBFT

Distributed Protocol Verification 0:56:54

Distributed Protocol Verification - NUS Fintech Month 2022 Crystal Centre Workshop

Byzantine Fault Tolerance 0:06:48

Byzantine Fault Tolerance in Blockchain | Classic Generals Problem & its Solutions: PBFT & F...

Compiling Distributed System 0:52:31

Compiling Distributed System Models into Implementations with PGo - Hackett et al.

6.826 Fall 2020 1:10:33

6.826 Fall 2020 Lecture 18: Protocol verification, I4

The 8th BIU 1:12:10

The 8th BIU Winter School: Automated Symbolic Protocol Verification - Karthik Bhargavan

Formal Methods | 0:05:50

Formal Methods | Software Foundations in Coq | LF | Preface

Jack Vanlightly — 1:11:32

Jack Vanlightly — Distributed systems showdown — TLA + vs real code

Synthetic Undecidability and 0:21:22

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq (ITP'21)

Formally Verified Credentials 0:29:52

Formally Verified Credentials Management for Industrial Control Systems

MEV Attacks and 0:48:43

MEV Attacks and how you could mitigate them with Hyperledger Besu

Distributed Validator Technology_Aditya 0:11:04

Distributed Validator Technology_Aditya Asgaonkar

Coq Intensive Lecture 1:32:20

Coq Intensive Lecture 2 (2018)

IPDPS 2020 - 0:24:27

IPDPS 2020 - CycLedger: A Scalable and Secure Parallel Protocol for Distributed Ledger via Sharding

QBFT One on 0:00:27

QBFT One on One training

CDL- 4/15/22 - 0:55:23

CDL- 4/15/22 - Designing Quantum Resistant Key Exchange Protocols with CPSA

Create a private 0:11:58

Create a private POA Ethereum network with Hyperledger Besu

Security Analysis of 0:16:00

Security Analysis of the Ethereum Fork Choice specification

EDCON2019--Roberto Saltini (Lead 0:22:35

EDCON2019--Roberto Saltini (Lead Consensus Protocol Researcher, PegaSys)

Analysis of US$600M 0:47:24

Analysis of US$600M Poly Network Hack

[LATTE 22] #2: 0:10:24

[LATTE 22] #2: HLS from PyTorch to System Verilog with MLIR and CIRCT

Introducing ConsenSys Quorum 0:48:22

Introducing ConsenSys Quorum

Комментарии
Автор

Tengo la impresión que una red con este consenso no ofrece una buena resiliencia, un atacante solo necesitaría dejar fuera de servicio a 1/3 + 1 de los validadores para dejar la red inutilizable.

alexandervidaurrearroyo