|胖协议概念四年后,学院派公链兴起( 二 )


比起学术成就 , 雪崩协议更加亮眼的成绩是仅仅只用了 4.5 个小时便募资 4200 万美元 。 当然 , 在公募之前 , 雪崩协议已经获得了来自 a16z、Initialized Capital、Polychain Capital、银河数码、比特大陆、Initialized Capital 等机构的 1800 万融资 。
加州大学伯克利分校的代表人物则是宋晓冬教授 。 宋晓冬 , 麦克阿瑟天才奖 MacArthur Fellow 获得者 , 指导学生完成的论文「污点分析法 Dynamic Taint Analysis」是计算机安全领域被引用数量最高的论文并且引领了计算机安全领域商用趋势的发展 。 同时 , 宋晓冬还是 IC3 的发起人之一 。
虽然 , 王永革、Emin Gün Sirer、宋晓冬三位教授都被认为是学院派公链的代表人物 , 但是三者在研究上的方向却略有不同 。 Sperax 和雪崩协议都试图跨过共识 2.0 , 成为共识 3.0 的标杆 。
Sperax 和雪崩协议的共识 3.0
雪崩协议的首席协议架构师尹茂帆曾在直播时表示 , 雪崩协议将要成为共识 3.0 , 在这一点上 , Sperax 和雪崩协议走了一条相似而又不同的道路 。
共识 1.0、2.0、3.0 的本质是通过三种本质上不同的方式来实现共识 。 共识 1.0 是众所周知的 PoW , 其优缺点都很明显:去中心化、网络更安全但是网络性能低、算力过于集中化;共识 2.0 通常指使用拜占庭容错共识(PBFT) 。
拜占庭将军问题是指在不可靠信道上试图通过消息传递方式达到一致性是不可能的 。 为解决该问题 , Miguel Castro 和 Barbara Liskov 在 1999 年提出了 PBFT , 并解决了原始拜占庭容错算法效率不高的问题 。 PBFT 优势很明显:网络规模小时网络处理速度快 , 永远安全而非概率安全、有大量的科研资料 。
|胖协议概念四年后,学院派公链兴起
本文插图

PBFT 算法流程
但是实用拜占庭容错共识也存在很明显的缺点 , 通信复杂度过高 O(n^2) , 可扩展性低难以扩容、网络不稳定时延迟过高、随着网络规模扩大(节点增加)网络性能下降严重 。
【|胖协议概念四年后,学院派公链兴起】|胖协议概念四年后,学院派公链兴起
本文插图

节点增多之后 PBFT 通信数量
为此 , 尹茂帆推出了「HotStuff」算法用于解决网络性能问题 。
Facebook 在 Libra 白皮书和相关技术文档中表示 , Libra 采用的是「LibraBFT」共识算法 , 而 LibraBFT 是 HotStuff 的变种 。
|胖协议概念四年后,学院派公链兴起
本文插图

HotStuff 流程
在尹茂帆看来 , HotStuff 只能算是共识 2.0 的升级版 , 还称不上共识 3.0 , 真正的共识 3.0 是雪崩协议 。 雪崩协议是受传染病模型(epidemic model)启发 , 并结合了非拜占庭共识算法和中本聪共识算法的特征 。
Sperax 团队在 C.Dwork、N.Lynch 和 L.Stockmeyer 开发的 DLS 协议基础上推出了自主研发的共识 3.0「BDLS」 。 BDLS 极大地提升了网络安全性和通讯效率 。 最重要的是 , BDLS 第一次真正解决了部分异步网络 (partially asynchronous network) 下区块链协议可能陷入锁死状态的安全性问题 , 可以说是目前性能(安全性+效率)最佳的区块链拜占庭容错协议 。
|胖协议概念四年后,学院派公链兴起
本文插图

PBFT 演变历史
BDLS 通过降低回合复杂度和降低通信复杂度达成了共识:
|胖协议概念四年后,学院派公链兴起
本文插图

BDLS 和基于 PBFT 协议通信复杂度比较(律动注:通信复杂度越低越好)


推荐阅读