专访 | 那篇“怼”Algorand的论文说了啥？来听作者解释

市场上 Algorand 争议太多，就连笑来老师都出来送瓜了。

编者按：本文来自36氪战略合作区块链媒体“Odaily星球日报”（公众号ID：o-daily，APP下载）

Odaily星球日报出品

作者 | 王也

6月24日，知名比特币投资人李笑来在微博上发文“我是真不知道Algorand是什么，也看不懂他们都在说什么...谁给我讲讲？”

李笑来还配了几张微信聊天截图，截图的内容大概就是刚刚进行过荷兰拍卖的，由图灵奖得主创办的明星公链Algorand被一位来自美国大学的教授质疑Algorand存在严重的、基础性错误。

人红是非多。6月18日，Algorand刚刚进行完第一轮荷兰拍卖，但是上线二级市场后币价暴跌，还被很多人diss为“图灵奖级别资金盘”。市场上Algorand争议太多，就连笑来老师都出来送瓜了。

质疑Algorand的论文作者是来自美国北卡罗来纳大学夏洛特分校（UNC Charlotte）计算机与信息学院王永革教授，同时也是公链项目SperaX的联合创始人兼首席科学家，王永?教授提出的RLCE后量?算法成为美国标准技术研究院NIST的候选标准。

近日，Odaily星球日报就其发布的论文独家采访了王永革，王永革向我们详细分析了论文中提到的对Algorand的质疑之处。

王永革表示，早在今年5月份，他就已经发布了这篇题目为“Another Look at ALGORAND”的论文，王永革对Odaily星球日报称，从没想到过自己的论文会被拿出来做恶意解读，这完全曲解了自己对Algorand的正面观点和改进意见。

6月26日，王永革通过媒体对外声明，“最近网络上以各种方式传播的所谓“由王永革教授撰写的一篇论文提出了Algorand项目严重的、基础性错误”的说法，是对他该篇论文的误读和炒作。”

王永革称，他在2019年5月正式公布了题目为“Another Look at ALGORAND”的论文，从学术角度对Algorand项目提出了几点商榷意见，包括理论上存在分叉可能，以及Algorand中的拜占庭协议过于复杂，有优化空间等，不过，“该论文内容被广泛误读”。

王永革向Odaily星球日报重申自己并非对Algorand这个项目有意见，恰恰相反，他对Algorand十分欣赏，并认为Algorand是当前最优秀的公链项目之一。之所以发表文章，也是因为当初对Algorand提出的抵抗分叉机制感到好奇，并认为有进一步优化的可能性，所以纯粹出于学术讨论的立场发表的该文章。

王永革解释称，其论文中提出的Algorand在理论上存在分叉可能，实际是PoS共识普遍存在的无代价模拟攻击（costless simulation attack）问题。任何采用PoS共识的公链在理论上均存在这样的风险；至于Algorand中的拜占庭协议过于复杂的问题，已经注意到Algorand团队从最初设计到最终实现的过程中，进行了很多改进，作出了优化。王永革教授表示，称该论文“提出了Algorand项目严重的、基础性错误”的说法，“显然是对该论文的误读和炒作”，并对这样的行为感到很气愤。

王永革称自己在推特上公开发布这个论文之前就已经给Algorand创立者，也是图灵奖得主Silvio Micali教授以及Algorand首席科学家陈婧女士发送过这份论文，遵守了学术界的规矩，但是后来却没有得到对方的回应。

后来在接受我们的采访中，王永革声明，他从未说过Algorand系统是完全错误的，而他的论文也是针对Algorand 2017年发布在arXiv的文章做出探讨。

王永革这篇论文对Algorand质疑的地方主要分为三点：

一、Algorand理论上存在分叉的可能性

首先，王永革认为Algorand提出的零分叉是不可能的。王永革表示，所有的PoS共识都存在无代价模拟攻击（“costless simulation attack” or “nothing at stake attack”）的问题。Andrew Poelstra在他2014年的文章“A Treatise on Altcoins”中已经注意到了这个问题。王永革说，Algorand和别的采用PoS共识的公链一样，在理论上存在分叉的风险。

Algorand 声称自己解决了区块链中的分叉问题，使其成为一个可以持续「进化」的公链。由于区块链的去中心化设计，每个节点都必须保持一致，这使得单纯的系统升级在区块链上很难做到，每当改变规则，很容易导致系统分叉。但 Algorand 却是几乎不会出现分叉的分布式账本，因为其分叉的概率低至1/10^18 ，这相当于如果每一秒出一个块，那么从宇宙大爆炸到现在 Algorand 只会分叉一次。交易能在几秒钟内得到确认，通过 Algorand 的转账资金立即可用。

对于网络不在强同步的情况下（即两个区域因网络延迟问题提议了两个区块），Algorand 网络将会出现分叉。白皮书中提到这不影响 Algorand 的安全性，但会影响 Algorand 网络内的活跃度。在给定的 S 时间内，因为不同分叉区块上的委员会成员将拥有不同的区块信息，也就意味着他们不会计算彼此对区块公证时的投票数，因此没有足够的票数将达到人数阀值，BA*将无法在更多的分叉区块上达到共识。而此时 Algorand 将会提出一个所有用户都统一的分支，并且运用 BA*共识来使用户确认是否应该切换到此分支。在全网弱同步的情况下，若时间超过 S，Algorand 网络就完成不可逆的分叉，不能恢复。这里的 S 只是一个系数，具体参数并未提及。