共识技术分析系列二:Conflux共识算法

  • A+
所属分类:技术

一、Conflux 简介

Conflux是一个融合了DAG技术和POW共识机制。和比特币或以太坊相比,矿工节点是可以并行出块的,而不用担心合法的区块被淘汰或失效,扩展了交易并发度和系统吞吐量。其论文下载地址为:https://arxiv.org/pdf/1805.03870v3.pdf

该论文的作者之一包含清华大学的姚期智(图灵奖获得者),根据 Conflux官方信息,姚期智将担任创始首席科学家(Founder Chief Scientist),并将带领整个Conflux 协议的理论设计工作。

2018年12月4日 宣布获得 3500 万美元融资,估值超过 4 亿美元,在币圈大熊市的情况下,能获得这样大额投资是非常难得的。 Conflux共识机制借鉴了2015年的 GHOST规则,使用DAG数据结构组织区块,用子节点最多的算法来确定主链(Pivot Chain)并用POW来生成区块。

宣称在云服务器(Amazon EC2)上部署模拟节点实验数据吞吐量能可达到5.78GB/s,确认时间4.5-7.4分钟,交易速度4000-6000TPS。

 共识技术分析系列二:Conflux共识算法

二、Conflux探讨

1. 共识算法论文的问题

很多人读了Conflux的“论文”,都发现算法大部分都来自以色列人Yonatan Sompolinsky 和 Aviv Zohar 的 GHOST,原创性很少,仅仅把“最大子树” 改为“最多子节点”,并末尾还攻讦了dagLabs团队的Phantom,而事实上dagLabs 是全世界研究区块链 DAG 技术最早和做的最资深的团队(只融了200万美元并且没有发币,倒是技术被别人用来圈钱发币,一个是韩国的Fantom,一个就是中国的Conflux),他们先发明了用“最大子树”,而不是“最长子链”作为规则的PoW主链选择算法,然后发现非主链上的区块也可以被包括进来,而不是丢弃掉,这样网络的实际 TPS 就可以提高很多。于是他们又先后发明了Spectre 和 Phantom 两个算法。Spectre 里区块间加入了偏序关系,Phantom里加入了全序关系。这个全序关系很重要,为什么呢,因为有了全序就可以支持图灵完备的智能合约。

Conflux所依赖的共识基础论文至今为止还没有在任何学术会议,期刊等等渠道,经过同行审议之后发表。它第一次投稿是今年五月份的OSDI,第二次是今年底的NSDI,前者和SOSP并列是计算机系统领域的最顶级会议,每双数年是OSDI,单数年是SOSP。MIT的图灵奖得主Silvio Micali的Algorand就是在2017年的SOSP发表的。但是 Conflux 投稿 OSDI 2018 被拒了,今年底的一个比 OSDI 低一档的会,NSDI,Conflux投稿,又被拒了。因此 Phantom 和 Conflux 究竟谁优谁劣,还不能下定论。

2. 使用名教授进行宣传的问题

Conflux 在期初各种宣传中都大篇幅强调姚期智的角色,强调项目是姚期智创立的,然后最近官方开始收敛甚至开始否认说以前的文章都不是他们写的,是媒体的编撰,姚期智教授只是受邀担任首席科学家,有种牛皮吹大了往回收的意思。

同时值得注意的是,被用来比较的MIT大学Silvio Micali教授的Algorand项目,Micali经常主动参加各种活动宣传 Algorand,但是姚期智从来没有主动承认过自己跟Confux的关系,也从没有主动讲过Conflux,更多就像挂了名占了个台。

3. 区块的确认时长问题

官方资料确认时间是4.5-7.4分钟,这么长的确认时间,如果不出现分叉则必然会丢弃大量的有效交易,具体丢弃多少官方没有数据,官方号称可达到4000-6000的TPS,但是我个人觉得在这么长的确认时间下谈任何高的TPS都是没有实际应用价值的,可以想象一下我们使用银行卡(或支付宝)付账要等6分钟才能确认的情况下商家和用户双方的焦虑程度。

4. DAG并发提高TPS的虚伪

所有基于DAG的链几乎都提到了可以并发出块的问题,这好像是他们的特别优势,在不需要最终确认或智能合约并允许大量重复交易的情况下,确实可以并行出块,但是这样的块是无任何价值的,如果需要最终确认或智能合约,必然需要一个确定的全序关系,而要形成这样的全序关系就只能乖乖地做关键共识的线性计算。

因此大量的DAG项目并没有带来高TPS,有的甚至比普通PBFT还低很多(如Byteball)。而项目在立项的时候大多鼓吹并发并高TPS来实现圈钱目的。

5. 主链的选择问题

Conflux 通过Ghost规则时间轴+最多子节点来选择主链得到一个全序关系,这使得有效交易丢弃变得十分的严重并且交易时长无法确定,确认时间长就给作恶者留下了时间空间,使得这个过程更容伪造,理论上,如果有足够的算力,足够的出块速度,产生一条更长又更多节点的隐藏链,就可以把之前的区块推翻。

  • 我的微信
  • 这是我的微信扫一扫
  • weinxin
  • 我的微信公众号
  • 我的微信公众号扫一扫
  • weinxin
漫兮

发表评论

:?::razz::sad::evil::!::smile::oops::grin::eek::shock::???::cool::lol::mad::twisted::roll::wink::idea::arrow::neutral::cry::mrgreen: