主题：中本共识协议及其DAG变种的安全性分析
嘉宾：王雪超 香港科技大学（广州） Assistant Professor
时间：2023年8月17日 上午10:30 – 11:30
地点：华中科技大学东五楼210学术报告厅
报告摘要：
中本聪发明了最长链协议（又称中本共识），并通过分析双花攻击来证明其安全性，即攻击者和诚实节点之间进行更长链的竞争。但是，这是否是攻击者能够进行的最糟糕的攻击呢？在本报告中，我将对这个问题给出肯定的回答，并针对不同共识模型设计的三种最长链协议进行安全性分析：1）中本聪提出的工作量证明（Proof-of-Work）协议；2）Ouroboros和SnowWhite所采用的权益证明（Proof-of-Stake）协议；3）Chia空间证明（Proof-of-Space）协议。最后得出结论：针对每个协议，我们都得出了作为平均出块时间与网络延迟的函数的最大容错能力的精确描述。这些协议的安全性分析是通过一种新的统一证明方法来进行的，即将所有可能的攻击都归结为攻击者和诚实节点之间的竞争。此外，我还将展示相同的证明技术可以应用于各种DAG变体的安全性分析，包括c-Nakamoto-PoS和Filecoin的共识机制。
报告人简介：
王雪超博士于2023年7月加入港科大（广州）社会枢纽金融科技学域，担任助理教授。他于2018年在清华大学电子工程系获得学士学位，并于2023年从伊利诺伊大学厄巴纳香槟分校获得电气与计算机工程博士学位。博士期间致力于区块链安全性和可扩展性的理论及系统研究，已在计算机安全领域顶会中发表多篇论文，其研究成果影响了多条公链的设计。
