波卡是一个以平行链跨链为主要特色的公链项目。在波卡生态中,一个被频繁提到的一点是:开发者可以根据自己的需要开发独立的平行链,而波卡的生态将为所有的平行链提供安全性。因为波卡是一条公链,所以波卡的安全性就是公链安全性。
所谓谎言重复一千遍就会成为真理。当所有人都在重复一个观点的时候,人们往往会选择相信这个观点,而不是自己去探寻思考波卡的安全性设计能否站住脚。波卡基于Validator的巡查制度,究竟能为平行链提供多高的安全性,其实是值得质疑的。
这一期,我们来讨论一下波卡共识协议中与安全相关的设计内容,以及不同角色的参与方应该如何应对。
几周前,烤仔曾经质疑了波卡的跨链延迟。在社区伙伴的帮助下,烤仔注意到了GavinWood在hackmd.io的博客中提到了跨链延迟,他是这么说的:
人民日报评论:理性看待当前的元宇宙热潮:11月18日消息,“人民日报评论”微信公众号针对元宇宙话题发文称,多元的声音不一而足,可以明确的一点是:虽然元宇宙似乎拥有广阔空间和多种可能,但目前还是一个尚未成型的新兴事物。每个人仍需理性看待当前的元宇宙热潮,警惕任何以科技和未来为名义的忽悠;是镜花水月还是触摸得到的未来,是资本炒作还是新的赛道,是新瓶装旧酒还是科技新突破,下结论前不妨“让子弹飞一会儿”。[2021/11/18 22:00:20]
Completefinalitymighttakeupto60secondsforaparachaintransaction,andafewsecondslessforaRelaychaintransaction.?
大意是说,波卡的确认时间在一分钟上下。烤仔对此是惊讶的,因为在波卡的Validator巡查制度中,同时验证一个平行链的Validator并不是很多。如果这少数的Validator作恶,就会把错误的账本状态通过中继链传染到其他的平行链上去,最终摧毁整个波卡的正确性和安全性。而为了缓解这种安全威胁,允许任何人提交错误证明、留出足够时间给错误证明,是波卡公链安全中重要的一环。
V神回复网友评论:不讨厌LINK:今日早间V神发推称,更多的人应该支持以太坊支付,因为可以免费获得对MKR、UNI、WBTC和每个稳定币的支持。有网友评论指出,V神忘了提及LINK。对此,V神刚刚回应称,的确不讨厌LINK,很抱歉疏忽了。[2020/10/1]
在以太坊的二层协议OptimisticRollup中,提交错误证明的时间窗口是以天计的。然而,这个时间窗口,在波卡中被设成了不到一分钟。GavinWood也解释了为何设计如此短的时间窗口:
Asofthemostrecentlypublisheddeisgn,fishermenarenolongerrequiredforourbaselinesecurityguaranteesaswehaveintroducedexplicitly-appointedsecondary-checkersfromthevalidatorset(seeSection4.4.2ValidityandAvailabilityinOverviewPaper).Fishermenarekeptsincetheyonlybolstersecuritywithnootherimplications.
声音 | 日经亚洲评论:政府应监管而非禁止加密货币:日经亚洲评论(Nikkei Asian Review)发布评论文章称,政府应监管而非禁止加密货币。文章提到,禁止加密货币实际上会增加对它们的滥用,这使得资金流入哈瓦拉(独立于传统银行金融渠道的非正统、非主流的汇款系统)体系,而不是常规的货币体系,没有任何书面记录。另一方面,如果加密资产受到监管,加密货币交易所和交易商将不得不保留详细的KYC文档。大多数交易将通过这些交易所进行。监管机构将能够访问加密货币在钱包和用户之间的流动,这些交易所将成为执法机构的情报和数据宝库。只有在禁令产生足够威慑的情况下,全面禁令才比监管更有效。即使法律严厉惩罚拥有加密货币的人,在他们已经置身于法律之外的情况下,也很难发现违法行为并提出诉讼。(日经亚洲评论)[2019/11/15]
大概意思是说,因为波卡引入了?secondary-checkers,所以原先“允许任何人提交错误证明”的设计就不需要了。如果fishermen能赶得上一分钟内的提交窗口,那它还可以提交错误证明,但波卡已经不关心它赶不赶得上了。
澎湃评论:政府部门只有积极迎接区块链技术,才能做到更好的监控:澎湃评论员发文称,区块链技术是一种颠覆性的存在,目前还存在局限,区块链并不能改变中心化的基本经济规律,要警惕借区块链之名的圈钱活动。文章也提到,政府部门只有积极迎接区块链技术,才能做到更好的监控,一味回避、禁止,最终可能会被技术拉下。[2018/2/27]
这个secondary-checkers是个啥,为什么可以取代fishermen的地位?白皮书4.4.2章节是这么说的。
Thethirdlevelofvaliditycheckingisexecutedbyafewrandomlyandprivatelyassignedvalidators.Wedeterminethenumberofvalidatorsinthethirdlevelofvaliditycheckingconsideringtheamountofinvalidityreportsgivenbyfishermenandunavailabilityreportsgivenbycollators.?
证券时报评论:比特币价格暴涨暴跌 注定不可能成为货币:证券时报10日刊文评论称,比特币及其他加密数字货币没有人或组织给它的信用担保,而成了少数人操纵及过度炒作的工具。加上目前区块链技术的缺陷,加密数字货币炒作所面临的风险会越来越大,甚至可能冲击现有金融市场。为防止风险失控,目前全球各市场监管机构对数字货币、虚拟资产形成围攻之势以加强管控,势在必行,刻不容缓。[2018/2/11]
这个设计在烤仔之前的文章中也提到过。波卡引入了秘密检查的Validator,有点类似于暗访调查组。暗访的Validator数量没有具体说明,只说是“afew”,具体的参数要根据fishermen(任何一个提交错误证明的人)和collator(侧链全节点)报告的异常数量来看。暗访调查组的设计能够防止攻击者与平行链当前的Validator合谋,因为你不知道暗访的Validator是谁。但这种设计无法阻止一个坏的Validator被选进暗访组.这个设计可以加强波卡生态的安全性、提升攻击难度,但不能完全取代fishermen,因为它无法排除暗访的Validator自身是恶意的情形。
但,波卡就是放弃了fishermen.?
波卡在白皮书中并没有讲他把错误证明窗口设成了极为激进的一分钟,也没有讲他们在安全设计中放弃了fishermen。在一篇和另一个公链项目对比性能时,GavinWood又抛出这个一分钟的参数来展示波卡的性能,而对安全性轻描淡写一笔带过。
跨链延迟一小时的波卡固然有它的局限性,但如果为了追求效率而放弃了提供安全性保障,那么波卡越繁荣,就越能吸引攻击,最终摧毁的是整个波卡的生态。如果波卡坚持这种不安全的方案,生态各方又应该如何应对呢?
对于波卡平行链的开发者,烤仔的建议是Don'tbeevil。上述讨论的所有安全性威胁,都需要平行链全节点参与合谋。即使其他平行链的作恶行为会通过中继链传染过来,但只要保证自己的平行链不首先出错,就足以问心无愧了。
对于波卡未来生态的用户,要谨慎地选择平行链。波卡的Validator机制不足以提供充足的安全性,但平行链的全节点可以弥补。选择节点足够多、足够分散的平行链,可以缓解这一安全性问题。但是,一个平行链被Validator操纵的后果是会随着中继链传染的。即使自己选择的平行链足够可靠,其他不可靠的平行链通过跨链消息发来的资产也会影响这一平行链的安全性。
对于DeFi合约的开发者,波卡跨链的故事虽然新颖,但波卡生态着实没有带来什么新东西。功能上,诸如零知卷叠、隐私计算等新功能均可以通过EVM合约或者二层网络设计来完成。性能上,波卡的技术架构注定了平行链单链性能只会比以太坊更差,波卡只能不断讲多链的总性能比以太坊单链好。
但是多链无法解决好跨链延迟和安全性之间的平衡,使得互操作性成为一种需要牺牲安全性才能做到的事情,这是在整个公有链领域独此一家的。而EVM生态的性能问题,也已经被各种新兴公链解决。
最后,波卡这个“放弃fishermen”的改动是一个定时炸弹,你永远不知道它什么时候会炸。在一个足够去中心化的、兼容EVM的、有用户和生态基础的、高性能的公有链上做开发,才是一个对产品发展和用户负责的选择。
最后,烤仔也提醒大家,警惕波卡不公开协议修订的安全风险。像“将fishermen从安全设计中排除”这种重大改动,波卡都是在和别人比性能时才透露的,而至今没有体现在白皮书里。波卡可以对此有自己的解释,毕竟fishermen并没有被完全去除,如果所有的fishermen都有比OptimisticRollup的错误提交者高几十倍的效率的话,波卡的安全性不会有任何影响。
对于这种解释,我想波卡的忠实信仰者们一定是会接受的。
END
根据Osasion白皮书,Osasion欧赛公链链上节点主要分为超级节点、区块同步节点以及普通节点.
1900/1/1 0:00:00还记得此前Twitter创始人JackDorsey拍卖第一条推文的事儿吗?最终价格出来了,这条人类史上第一条推文,通过NFT卖了将近300万美元的天价! 虽然这条推文的意义重大,可只是一句话.
1900/1/1 0:00:00据TheBlock3月30日报道,NFT市场SuperRare周二宣布,在A轮融资中筹集了900万美元.
1900/1/1 0:00:00证券日报专访北京大成律师事务所合伙人肖飒记者?李?冰犯罪又现新手段。近日,最高人民检察院、中国人民银行联合发布6起惩治犯罪典型案例。其中一起利用比特币跨境案,更是引起业内广泛关注.
1900/1/1 0:00:00特斯拉官网:我们目前只支持美国本土的客户使用比特币付款,将来会考虑开拓新的市场。特斯拉CEO埃隆·马斯克在推特确认,“现在可以用比特币购买特斯拉了.
1900/1/1 0:00:00DeFi周刊是金色财经推出的一档每周DeFi领域的总结栏目,内容涵盖本周重要的DeFi数据、DeFi项目动态等.
1900/1/1 0:00:00