木星链 木星链
Ctrl+D收藏木星链

AND:那篇“怼”Algorand的论文说了啥?来听作者解释

作者:

时间:1900/1/1 0:00:00

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

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

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

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

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

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

吴杰庄:虚拟资产评级对行业发展有一定重要性,能提供第三方平台分析:金色财经报道,全国政协委员、香港特区立法会议员吴杰庄在社交媒体发文称,今天得悉香港的虚拟资产评级机构hongkongvac HKVAC公布虚拟资产指数编算方法。当中公布了30种币种,包括ripple_XRP1、litecoin、filcoin、cardano_cf、polygon等构成的虚拟资产评级指数。我认为虚拟资产评级对行业发展有一定重要性,能提供第三方平台分析。对于推动香港虚拟资产交易发展带来重要效益。欢迎全球的行业朋友对评级和指数给予意见,我会转达给相关机构。[2023/6/28 22:05:12]

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

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

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

比特币在阿根廷、委内瑞拉和黎巴嫩按当地货币计价的价格创历史新高:金色财经报道,比特币在阿根廷、委内瑞拉和黎巴嫩按当地货币计价的价格创下历史最高水平。对于这些国家来说,随着通货膨胀和宏观经济政策选择迅速削弱购买力,这一趋势在2023年持续。[2023/6/25 21:59:13]

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

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

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

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

巴塞罗那足球俱乐部和WhiteBIT达成合作协议:金色财经报道,巴塞罗那足球俱乐部与加密货币平台WhiteBIT签署了一项协议。在 2025 年 6 月之前,交易场所将作为团队的官方加密货币交易所合作伙伴。[2022/12/18 21:51:14]

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

首先,王永革认为Algorand提出的零分叉是不可能的。王永革表示,所有的PoS共识都存在无代价模拟攻击的问题。AndrewPoelstra在他2014年的文章“ATreatiseonAltcoins”中已经注意到了这个问题。王永革说,Algorand和别的采用PoS共识的公链一样,在理论上存在分叉的风险。

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

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

Pudgy Penguins计划融资1000万美元,其CEO否认该消息:11月4日消息,据外媒报道,据其获得的一份文件显示,NFT项目Pudgy Penguins正在与投资者商谈进行1000万美元种子轮融资,若融资完成,其估值将达到5000万美元。Pudgy Penguins首席执行官Luca Netz极力否认该融资消息。

The Block表示,该轮1000万美元融资将通过未来股权简单协议(SAFE)进行,并将附带Token权益。文件显示PudgyPenguins或于2024年4月发行Token。(TheBlock)[2022/11/4 12:16:23]

Algorand的共识机制在许可环境下和无需许可环境下都可以正常运行,在许可环境下只需要保证全网2/3的节点是诚实节点,在无需许可环境下需要保证全网2/3的资产掌握在诚实节点手中,在这两种情况下,Algorand网络产生分叉的概率将被降低到小于1/10^9。

在论文中,王永革认为,Algorand的这两种假设没法保证这种小概率的分叉特性。Algorand的文章认为,只要恶意节点控制的节点数不超过总结点数的1/3,恶意节点就没法恶意分叉。但是王永革举出了一个反例:恶意节点可以通过控制某些特定的不超过1/3的节点而轻易的分叉。

“Algorand的2017文章有一个定理:如果任何时候恶意节点总数小于总节点数的1/3,那么恶意节点是没法对Algorand发起分叉攻击的。这个定理是不对的。”王永革说道。

Cboe加入Pyth网络并将ErisX更名为Cboe Digital:金色财经报道,市场基础设施提供商Cboe已加入Pyth网络,它还将今年收购的数字资产交易所ErisX更名为Cboe Digital。通过在Pyth网络上提供一些实时定价,Cboe Global Markets正在涉足去中心化金融。根据公司发布的消息,Cboe将从第四季度开始发布10个符号的有限衍生股票市场数据。该网络建立在Solana区块链上,将市场数据提供给链上项目和协议。它利用了来自70多家值得信赖的供应商的数据,包括Jane Street、Virtu Financial和Two Sigma Securities。(the block)[2022/10/6 18:40:32]

王永革进一步解释,假如在区块链高度100的时候,Algorand链上所有的财产集中在两百个用户手中。这些用户可以表示为P1,P2,…,P200。在链增长的过程中,新的用户会加入,同时这两百个用户可能会把他们的Algorand财产全部出售。

此外假定在区块高度300的时候,链上已经有700个用户了。在这个时候,用户P1,P2,…,P200的数目已经小于总用户数的1/3了。根据Algorand的2017文章的数学模型和定理,如果这些用户P1,P2,…,P200在区块高度300的时候变为恶意的,他们是没法对Algorand的主链发起分叉攻击的。但事实是:如果这些用户在区块高度300之前,已经几乎售完了他们手上的Algorand财产,他们对Algorand的主链已经没兴趣了。

所以他们可以从区块高度100开始,生成一条新链。因为这些用户组成了区块高度100的所有用户。所以他们可以非常快速的生成一条假链。他们的这条假链可以很快的生成并很快超过主链的长度。到这个时候,新加入的用户,是没法辨别那个链是主链的。换句话说,在区块高度300的时候,不超过总节点数1/3的恶意节点P1,P2,…,P20可以分叉Algorand主链。这与Algorand的2017文章的定理是矛盾的。

王永革特别指出,他的以上攻击,是无代价模拟攻击对Algorand攻击的一个特例。所有的基于PoS共识的区块链是没法预防这种攻击的。要想防止无代价模拟攻击,我们必须引入别的机制。比如SperaX是用可信硬件来击败这种攻击的。

“大部分节点是诚实节点”,

这种假设是不切实际的

在Algorand网络里,所有参与共识投票的用户都是秘密地得知他们的身份,投票后他们的身份被暴露,虽然敌手可以马上腐蚀他们,但是他们发送的消息已经无法被撤回,另外在消息生成后,用于签名的临时秘钥会立刻被销毁,使得敌手在该轮无法再次生成任何合法消息。

Algorand假设全网超过2/3的节点是诚实的,而且,他们假设所有的诚实节点在完成任务之后都会销毁这个临时密钥。

王永革认为这种假设是不可行的,他认为在一个分布式网络中,尤其是在一个无需许可环境下,去假设一个节点足够诚实是不现实的。如果一个节点被给予足够多的好处,他是可以被“贿赂”的。一个原本诚实的节点最终也可能“叛变”,这就是“贿赂攻击”。

王永革分析道,虽然一个恶意攻击者没办法提前知道要去腐蚀哪个用户,但是它可以公开明码标价它收买一个区块提议者和区块验证者的协议。他会鼓励那些区块提议者和区块验证者在提出他们的区块建议之前或投票之前先和他这个恶意攻击者联系。通过这种方式,这些恶意节点就可以确认要去腐蚀的目标用户。这种情况下,区块提议人和区块验证者就会成为这些恶意节点的拥趸。

王永革认为Algorand这种假设大部分用户是诚实节点的设想在现实世界中是不切实际的。每一个在区块链网络中的节点都想把自己的利益最大化,被选中的区块提议者和区块验证者在得到足够多的“贿赂”的前提下是可以“叛变”的。而且,对于参与共识投票的用户来说,系统并没有给他们足够的经济激励来确保他们去销毁临时密钥,与直接销毁这个临时密钥相比,他们更倾向于把这个临时密钥卖掉。

Algorand中的拜占庭协议存在优化空间

Algorand通过「即时提议与确认」来形成共识。这是一种「超快速拜占庭协议」。拜占庭协议是普遍运用于区块链的通讯协议模式。Algorand的共识机制分成两个步骤,分别是提议和达成共识。

实用拜占庭容错算法是首个实用的在异步分布式网络中实现拜占庭容错的共识算法。算法应用于一个分布式文件拷贝系统。系统中共有3f1个复制节点,其中最多f个拜占庭错误节点。系统中的每个复制节点都运行一个有限状态机的副本,并且支持若干种操作。

PBFT算法包含一个三阶段的协议,分别是预准备、准备、确认。预准备和准备阶段是保证所有正常节点按照相同的顺序执行所有有效的用户请求,而BA*可以完成即时提议与确认。

王永革认为Algorand中的拜占庭协议过于复杂,实现成本过高,存在优化地空间。

王永革认为可以通过简单的方法达到相应的效果,假设在相同的网络环境下,就可以通过“多数票决:来达到同样的效果。

王永革称Algorand团队似乎也已经认识到一点了,在项目后来实践的过程中,Algorand并没有按照他们2017年文章提出的拜占庭协议进行。王永革表示这一点与Algorand的安全性无关,只是他给Algorand的一个建议。

参考资料:

《一文读懂Algorand算法,彻底消除区块链「不可能三角」》

《AnotherLookatALGORAND》

原创文章,转载/内容合作/寻求报道请联系;未经授权严禁转载,违规转载法律必究。

标签:ANDLGOALGORANnomadland币怎么回事PalGoldALGOBULL币Global Digital Trade Warrant

比特币价格热门资讯
TOK:TokenPocket 项目评级:B 展望稳定 | TokenInsight

近年来数字钱包行业认可度逐渐升高,全球区块链钱包用户数量持续稳定增长。对数字钱包的关注度多集中于大洋洲、北美洲与欧洲,亚洲一些国家与地区也位列前十.

1900/1/1 0:00:00
区块链:回顾 | 安鑫鑫:区块链带来的未来产业变革

2019年6月26日,我们邀请了金色财经合伙人&金色学院创始人安鑫鑫,为你带来《区块链带来未来产业变革》.

1900/1/1 0:00:00
TOOLS:ZG.TOP上线Launchpad项目——Tools Chain (Tools)

尊敬的ZG.TOP用户:ZG.TOP即将上线新的Launchpad项目——ToolsChain(Tools)。开启时间:7月16日12:00-14:00时段,两小时内有效下单同等对待.

1900/1/1 0:00:00
比特币:黄金 比特币与经济状况 | Fun Twitter

1.Chiefy:黄金的存在很荒唐。我们把它们从地下挖出来,还未精炼时就运送到别处,画很多钱进行精炼,再送去另外的地方...好让人们把它们好好埋在纽约市的地下金库,而且那些白痴还要交2%的年费让.

1900/1/1 0:00:00
加密货币:加密货币支持者 Lagarde被提名欧洲央行行长 利好?

长期以来,比特币和加密市场的投资者和支持者一直认为,当各国政府和央行开始对这种新兴技术表现出越来越友好的态度时,比特币最终才能实现全面普及.

1900/1/1 0:00:00
ANC:Binance延长使用BNB抵扣25%交易手续费的公告

亲爱的用户:值此Binance上线2周年之际,为感谢广大用户的支持,Binance将延长使用BNB抵扣25%交易手续费1年.

1900/1/1 0:00:00