Formal verification of BFT consensus algorithms

Name: Formal verification of BFT consensus algorithms
Duration: 46 min 43 s
Description: Formal verification of BFT consensus algorithms — a Positive Hack Days (PHDays) security conference talk on crypto (46:43 min). Watch the full video, indexed free on the Breach Arc Archive.

Positive Hack Days (PHDays) · 46:43

▶

Formal verification of BFT consensus algorithms — a Positive Hack Days (PHDays) security conference talk on crypto (46:43 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive