“如果你增加更多的假设,具体来说,这要求观察者也积极监察共识,而不只是在事后下载输出,那么,你可以将容错率一直提高到99%。”
在一篇由EminGunSirer评论的高度技术性文章中,V神提出,这表明可以不要求50%以上的矿工或者权益质押者是诚实的,只需1%的人诚实即可。
因此,令人害怕的51%攻击在这种共识算法情况下,成为99%攻击,这也意味着攻击实际上变成不可能。
从高阶视角来看,它的运行方式,按照我们的理解,它是通过要求监听节点或独立观察者来运作。
你可能熟悉比特币中最先看到的规则。如果不熟悉,这是中本聪在2010年7月17日的解释,我们完整引用过来:
V神提出“秘密地址”以加强隐私保护:金色财经报道,以太坊联合创始人Vitalik Buterin周末发布了一篇新博客,寻求通过“隐形地址系统”加强对区块链用户的隐私保护。在他的文章中,V神指出,确保隐私仍然是生态系统面临的一大挑战,“改善这种状况是一个重要的问题”。隐形地址是由钱包生成的,并混淆公钥地址,以便以私密的方式进行交易。要访问这些私人交易,必须使用一个称为“消费密钥”的特殊密钥。鉴于区块链上的交易是公开的,隐私一直是以太坊生态系统的一个大问题。尽管已有一些隐私机制,例如Tornado Cash,但它只能隐藏“主流可替代资产,如ETH或主要的ERC-20代币”。隐形地址将提供一种机制,为NFT和ENS域名添加隐私保护。(Coindesk)[2023/1/24 11:27:24]
“我相信,对于一家支付处理公司来说,提供快速分发交易服务是可能的,并且能够在10秒甚至更短时间内完成足够充分的检查。”网络节点只接收他们收到的第一个交易版本,以便合并到他们试图生成的区块中。当你广播一个交易,如果其他人同时广播一个双花交易,这是关于谁先广播到大多数节点的竞赛。如果一个人稍微先行开始,通过网络进行几何扩散它会更快,并率先抵达大多数节点。
V神提议对以太坊未来的分片和历史访问进行预编译:Vitalik Buterin(V神)发文研究对未来的分片和历史访问进行预编译。V神在文章中表示,当前以太坊设计中的向后兼容性挑战之一是,历史访问需要在EVM中验证Merkle证明,该证明假设区块链将永远使用相同的格式和相同的密码。分片增加了这一点的重要性,因为用于rollups的欺诈证明和有效性证明需要指向分片数据的指针。V神提出了一种更加面向未来的方法:我们可以添加执行验证特定类型证明的抽象任务的预编译,而不是要求在EVM中验证历史和分片的证明。如果将来更改格式,预编译逻辑将自动更改。预编译甚至可以具有条件逻辑,用于验证转换前slots的一种证明和转换后slots的另一种证明。[2021/6/13 23:33:43]
一个粗略的示例:
ETH 2.0开发人员:Altair升级规格将于5月21日左右冻结,V神提案允许将质押委托为矿池:ETH 2.0开发人员Ben Edgington更新Eth2双周进展表示,Altair是计划在年中进行的相对较小的信标链更新。根据开发人员最近的电话,客户端团队在实施Altair规格方面进展相当顺利。目前暂定时间规划(未承诺):Altair规格冻结在5月21日左右;6月初短期上线测试网(仅是Altair规格,不是分叉转换);尝试在6月底之前将当前的测试网分叉;七月底八月初部署到信标链。此外,Altair升级会导致不能支付验证节点一个epoch的奖励,除非采取一次性修复。该修复增加了实现和测试的复杂性,但回报相对较少。
另外,V神Vitalik提案允许验证节点更改其签名密钥:提供了一种将质押委托给矿池的方法,同时保留一定程度的控制权,并对slashable行为负责。[2021/5/9 21:41:22]
这意味着,如果双花的交易必须等待即使只是一秒钟的时间,那么,它也有巨大的劣势。
V神提出新型的跨二层DEX交易方案,仅需接收方支持智能合约:以太坊创始人VitalikButerin在Ethresear.ch提出一种新型的跨二层DEX交易的解决方案,该方案仅需接收一方支持智能合约即可,这意味着发送一方仅需支持简单的代币发送Rollup或Plasma即可。[2021/3/5 18:17:05]
支付处理商跟很多节点有连接。当它收到交易,它就会将其大力扩散,同时监控网络的双花交易。如果它在任何一个监听节点上收到一笔双花交易,它就会警示该交易是坏的。如果没有其中的监听者听到,双花交易不会走太远。
双花交易将不得不等待,直到监听阶段结束,但到那个时候,支付处理商的广播已经抵达大多数节点,或者它在广播方面遥遥领先,双花交易没有任何希望能够超越。
Buterin提出类似的东西,但是针对区块的。Buterin后来澄清说,正如他在原始提案中明确指出的一样,他没有发明99%容错共识算法,是LeslieLamport发明的。Lamport是计算机科学家,曾因为其在分布式系统领域的贡献而获得图灵奖。
“我恰好写了一个解释器并将其改编为区块链语境”,Buterin说。在以太坊开发者ConradBarski的高级别解释中,他指出:
“Vitalik建议,如果网络流量的独立观察者观察实时发生的事情,并注意信息何时出现,他们可以监测到矿工发起的51%攻击的“犯规行为”,这可以提供额外的安全保障,可以防止这种攻击。”Buterin后来补充道:“另外一个用例是它可以用作检测51%审查攻击的工具,并协调使用少数软分叉来摆脱它们,而不需要靠太多人为驱动的社会协调工具,以在边缘情况下选择一个行为或其他。”
这听上去像欺诈证明,一些比特币核心开发者表示并不存在的这样的神秘生物。然而,中本聪的白皮书,提到这样的欺诈证明,以解释为什么不需要保留特定的数据,或为什么轻节点可以是非常安全的。
简单来说,顾名思义,欺诈证明是欺诈、或不当行为的证据,或未达成共识的证据。
如果你运行全节点,你在验证所有内容,因此节点会拒绝不当行为。但是,如果你不是验证所有内容,假说你使用的是智能手机,那么,在极少数情况下,你可能会接收到不正确的数据,而你无法知道它们是不正确的。
欺诈证明提供了这种方式,这里的建议是,如果我们理解非常好,似乎是因为独立观察者在监测,所以你可以知道数据是不正确的。
当然,所有这些都是由软件或代码本身完成的。如在代码中“知道”一些数据不正确,由此,它会自动拒绝它。Buterin说:
“如果5%的验证者是诚实的,那么,在512个随机选择的节点中没有一个是诚实的,这种概率大约只有万亿分之一。因此,只要网络延迟加上时钟偏差小于D/2,上述的算法就会有效,它能就某些单个最终值上正确地协调节点,即使在最终值上存在多个冲突也能正确解决。”这里的重点当然是Casper,这个提议似乎是建议将其纳入PoS。如果它在这种背景下有效,那么,以太坊区块链可能会变得更加安全。
本文作者Trustnodes,由蓝狐笔记社群“LS”翻译。
附录:Vitalik《99%容错共识指南》
https://vitalik.ca/general/2018/08/07/99_fault_tolerant.html
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。