波卡是一个以平行链跨链为主要特色的公链项目。在波卡生态中，一个被频繁提到的一点是：开发者可以根据自己的需要开发独立的平行链，而波卡的生态将为所有的平行链提供安全性。因为波卡是一条公链，所以波卡的安全性就是公链安全性。
所谓谎言重复一千遍就会成为真理。当所有人都在重复一个观点的时候，人们往往会选择相信这个观点，而不是自己去探寻思考波卡的安全性设计能否站住脚。波卡基于Validator的巡查制度，究竟能为平行链提供多高的安全性，其实是值得质疑的。
这一期，我们来讨论一下波卡共识协议中与安全相关的设计内容，以及不同角色的参与方应该如何应对。
几周前，烤仔曾经质疑了波卡的跨链延迟。在社区伙伴的帮助下，烤仔注意到了GavinWood在hackmd.io的博客中提到了跨链延迟，他是这么说的：
评论：比特币能否成为全球性保值货币与其发展及监管政策变化等密切相关:21世纪经济报道刊文评论称，比特币尚不具备避险属性；但是，由于能行使部分一般等价物职能及数量相对稀缺，比特币的价格实际上隐含了成为全球性“保值货币”的预期，在主流央行“大放水”阶段往往大涨。中短期来看，伴随全球经济在疫苗支持下修复加快、主流央行政策退出预期抬升，比特币价格波动或将加大。长期而言，比特币能否真正成为全球性“保值货币”，与数字货币发展、监管政策变化等密切相关。[2021/5/21 22:27:44]
Completefinalitymighttakeupto60secondsforaparachaintransaction,andafewsecondslessforaRelaychaintransaction.?
大意是说，波卡的确认时间在一分钟上下。烤仔对此是惊讶的，因为在波卡的Validator巡查制度中，同时验证一个平行链的Validator并不是很多。如果这少数的Validator作恶，就会把错误的账本状态通过中继链传染到其他的平行链上去，最终摧毁整个波卡的正确性和安全性。而为了缓解这种安全威胁，允许任何人提交错误证明、留出足够时间给错误证明，是波卡公链安全中重要的一环。
经参头版评论：数字人民币优化我国货币支付体系:2月5日，经济参考报刊文“数字人民币优化我国货币支付体系”。文章表示，从国际形势看，有两个趋势是数字人民币必须面对的。 第一，形式多样的虚拟货币正在加速渗透，或将对我国货币体系构成冲击；第二，多个国家正在开展数字货币研究，或将抢占法定数字货币先机。数字人民币将在解构国内外诸多挑战的基础上，重构我国货币与支付体系。一是提供币值稳定、无限法偿的数字货币；二是增强货币与支付体系公平性和普惠性；三是更好地维护金融稳定和防范金融风险。此外，我国较早启动数字人民币研发工作，如果在法定数字货币方面开展国际合作，与世界各国及国际组织加强数字货币研发、监管等方面信息共享和经验交流，将有助于更好地推动数字货币服务全球，也有助于我国更好地参与国际金融治理。[2021/2/5 18:56:14]
在以太坊的二层协议OptimisticRollup中，提交错误证明的时间窗口是以天计的。然而，这个时间窗口，在波卡中被设成了不到一分钟。GavinWood也解释了为何设计如此短的时间窗口：
评论：央行数字货币推出有望引发新一轮的金融科技变革:10月30日消息，中国（上海）自贸区研究院金融研究室主任刘斌发文表示，央行数字货币的推出对整个金融体系以及经济发展具有重要影响，并有望引发新一轮的金融科技变革，值得广泛关注。央行数字货币的测试经过前期的试点之后，明显地表现出以下几个特点：一是选择多种不同场景进行测试，二是选择不同的合作对象，三是从内部封闭测试转向公开测试。
文中指出，未来央行数字货币推出会带来以下八个方面的影响：第一，推动金融科技新变革；第二，改变支付行业发展格局；第三，完善和统一金融交易数据；第四，促进无现金社会发展；第五，推动金融科技产业链升级；第六，为创新货币政策创造条件；第七，促进人民币国际化；第八，率先制定数字货币的国际标准。（21世纪经济报道）[2020/10/30 11:15:17]
Asofthemostrecentlypublisheddeisgn,fishermenarenolongerrequiredforourbaselinesecurityguaranteesaswehaveintroducedexplicitly-appointedsecondary-checkersfromthevalidatorset(seeSection4.4.2ValidityandAvailabilityinOverviewPaper).Fishermenarekeptsincetheyonlybolstersecuritywithnootherimplications.
V神回复网友评论：不讨厌LINK:今日早间V神发推称，更多的人应该支持以太坊支付，因为可以免费获得对MKR、UNI、WBTC和每个稳定币的支持。有网友评论指出，V神忘了提及LINK。对此，V神刚刚回应称，的确不讨厌LINK，很抱歉疏忽了。[2020/10/1]
大概意思是说，因为波卡引入了?secondary-checkers，所以原先“允许任何人提交错误证明”的设计就不需要了。如果fishermen能赶得上一分钟内的提交窗口，那它还可以提交错误证明，但波卡已经不关心它赶不赶得上了。
这个secondary-checkers是个啥，为什么可以取代fishermen的地位？白皮书4.4.2章节是这么说的。
Thethirdlevelofvaliditycheckingisexecutedbyafewrandomlyandprivatelyassignedvalidators.Wedeterminethenumberofvalidatorsinthethirdlevelofvaliditycheckingconsideringtheamountofinvalidityreportsgivenbyfishermenandunavailabilityreportsgivenbycollators.?
证券时报头版评论：人民币汇率弹性适度增强利于稳外需:证券时报头版评论文章表示，近日，离岸人民币对美元汇率一度跌破7.19关口。人民币走贬，已经引起了市场各方广泛关注。市场自发增强汇率的弹性和灵活度，可以增强外贸企业的竞争力，提升国际市场对于中国产品的相对购买力，缓解一部分因为海外疫情引发的外贸低迷，有助于稳住外贸主体。中国的外汇市场、股票市场、货币市场和债券市场都可能受到国际资本流动的影响。因此，在人民币汇率弹性提升的过程中，国内宏观审慎监管体系也应做到未雨绸缪，为市场提供更多的风险管理工具。[2020/5/29]
这个设计在烤仔之前的文章中也提到过。波卡引入了秘密检查的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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。