关键要点:
- 了解 Polygon Technology 首创的聚合区块链的前提以及它们如何改善分散的互联网体验。
- 找出现有机制为何会阻碍这种聚合区块链生态系统的有效性。
- 探索悲观证明如何增强涉及众多网络的复杂区块链系统的安全性。
自从区块链的概念成为现实以来,多年来,区块链的发展方向各不相同,导致生态系统支离破碎,难以引起全球关注。事实上,据估计,全球只有 6.8% 的人口持有加密货币,这让我们不禁想知道,为什么这项技术还没有得到广泛普及。然而,Polygon Technology 的聚合区块链概念为统一分裂的生态系统打开了机会。虽然进展缓慢而稳定,但一些问题已经凸显出来,导致人们产生了悲观的证据,我们将在本博客中详细探讨这些问题。
回顾聚合区块链的概念
Polygon 于 2024 年初推出,作为其 聚合层聚合区块链旨在为用户提供最好的一切——用户体验、统一的流动性、可扩展性和可定制性。这种技术解决方案是传统单片和模块化区块链的替代方案,后者牺牲了其中的一些方面来满足其他方面。
- 值得注意的是,Polygon 的 AggLayer 充当了各种第 1 层和第 2 层区块链之间的统一桥梁,使这一概念成为现实。其开发人员表示,导致其开发的问题是人们需要在多个区块链之间进行简单的交易,这损害了 Web3 中的用户体验。
- 当前的区块链生态系统也非常分散,用户发现进行代币交易非常困难,因为交易通常需要使用多个原生桥。这种情况也增加了安全隐患,降低了可扩展性,最终导致性能下降。
- 这些聚合区块链解决方案利用零知识证明 (ZKP) 或乐观证明来证明交易并将其注册到主区块链上。如果区块链与以太坊虚拟机兼容或具有 EVM 的衍生产品,则可以使用统一桥(即 AggLayer)来连接网络,而无需任何实际麻烦。
为什么现有机制对于聚合区块链来说是一个问题?
正如我们在上一节中看到的,聚合区块链解决方案使用零知识证明和乐观证明来证明主链上交易的存在。但是,随着越来越多的区块链成为统一桥接机制的一部分,出现了一个新问题,即这些机制中的每一个都倾向于阻碍解决方案的预期功能。
- 在乐观证明的情况下,一笔交易可能需要长达七天的时间才能完全成为区块链的一部分。虽然这个时间间隔在小规模系统中听起来不错,但将其纳入聚合区块链解决方案会妨碍交易流程,从而削弱用户体验。
- 虽然现有的 ZKP 解决方案目前似乎适用于聚合区块链解决方案,但网络数量的增加可能会带来新的问题。由于统一桥必须与具有多种共识机制和出处解决方案的网络进行交互,因此交易可靠性降低的可能性会大幅增加。
- 如果没有足够的备份来确保统一桥的安全(或依赖参与区块链的安全性),来自一条链的恶意行为者危及整个聚合网络运行的可能性就会增加。这种可能性令人担忧,因为尽管需要付出大量技术努力,但并非不可能。
悲观的证明如何解决这个问题?
顾名思义,悲观证明假设所有参与者(或聚合解决方案中的区块链)都是恶意的。他们使用独特的方法来确保统一桥接解决方案的安全,从而提高整个网络的安全性,从而增强用户体验。这里的主要原则是,参与者区块链提取的金额不能超过其在桥接合约中存入的金额。
- 通常,悲观证明的创建涉及检查决定结果的三个重要信息:
- 更新在参与者区块链上正确执行
- 参与者网络正确执行内部会计
- 所有参与区块链均正确开展所有会计活动
- 这样,统一聚合层就可以检查每个参与者网络的可信度。这可以确保除了存入的金额外,没有尝试从桥中提取额外金额。如果检查失败,网络只会对自己构成威胁,而不会对桥或其他网络构成威胁,从而有效地将聚合从数字灾难中拯救出来。
- 从技术上讲,统一桥需要三个输入来生成悲观证明:
- 参与者区块链的本地退出树(表示提款)截至上一次迭代
- 本次更新将包含的新提款列表
- 区块链预计的新本地退出根
- 该机制根据前两个输入计算网络新的出口根,并与第三个输入进行比较,如果匹配,则生成悲观证明,保证局部出口根正确更新。
- 该机制还会在继续新的全局退出根之前计算参与者区块链的加密代币余额。如果提款余额大于存款余额,则更新无效,并且无法在第 1 层网络上验证其状态。
结论
因此,我们探索了悲观证明这一开创性概念,以及它们如何增强聚合区块链解决方案的安全性。随着越来越多的第 2 层网络在以太坊上建立,在使用统一桥接解决方案时,对此类来源机制的需求可以增强所有参与者网络的安全性。虽然 Polygon Technology 的开发人员已经构建了支持其 AggLayer 的机制,但鉴于其革命性的吸引力,该概念已准备好占领全球区块链。虽然此解决方案可能不直接适用于 Web3 dApp 项目,但那些在其原生区块链基础设施上工作的人(尤其是在以太坊上构建 L2 的人)可以利用该机制成为全球网络的一部分。立即与我们的专家联系,探索可能性,并使用 Polygon 坚实的基础设施在您的 L2 解决方案中实施悲观证明。