在分布式系统中,信任仍然是极其二元的。要么网络在每个交易中经历缓慢、昂贵但非常确定的彻底共识,要么它在遭遇对抗性攻击时采取乐观假设。这种冲突自一开始就定义了区块链设计领域:速度和安全之间的权衡似乎是一个基本问题,就像去中心化系统的热力学法则。Boundless Network似乎在暗示这种权衡仅仅是一个设计选择,而不是一个不可更改的限制。

乐观的脆弱性

乐观汇总通过推迟验证增强了以太坊的可扩展性 - 交易被假定为正确,只有在存在挑战时才进行验证。虽然这种模型在理论上是完美的,但它存在一个显著的内在缺陷:挑战期变成了强制性的候诊室。资源被锁定数天,桥在官僚僵局中停滞不前,用户体验因谨慎的需要而受到严重限制。系统用确定性取代了时间,希望在达到终点之前能够发现不诚实。

这段等待时间不仅不方便。它分割了组合性 - DeFi协议无法基于未最终确定的状态进行构建。它还创造了流动性沙漠,在挑战窗口期间资本变得不活跃。此外,它将每一次跨链交互变成了耐心的考验,这与区块链原本应该是的完全相反:可编程的货币,以验证的速度流动。

重新质押作为基础

无界通过重新质押的安全性改变了这一设计 - 以太坊验证者将其承诺扩展到L1之外,从而将经济保证直接放入聚合层。网络通过绑定的证明,在挑战可能永远不会到来的情况下,提前增加安全性。验证者因此在最终确定之前就将其声誉和资金置于交易正确性的风险中,而不是之后。

这种逆转将挑战期从几天缩短到几分钟。当一笔交易从一开始就得到可被斩罚的ETH的支持时,乐观变为验证。系统不假设验证者是诚实的,也不等待相反的证明;相反,它通过验证者的激励保持一致,立即获得证明。不诚实的验证者将立即失去其押注 - 不是通过治理或争议解决,而是通过其不诚实的密码学证明。

这一机制打开了传统乐观汇总无法实现的可能性:对于快速的最终性不需要信任假设。过去需要一周的等待时间的桥,现在可以在几分钟内完成。DeFi协议可以像在以太坊内部那样,相互建立跨不同链的信任。用户可以在不需要等待倒计时的情况下进行提款,并且可以将汇总视为L1的扩展,而不是不同的安全领域。

复合能力

这个架构基础为公司的系统优势提供了支持。例如,考虑跨链消息传递的问题:大多数桥依赖于外部的验证者,它们有自己的安全预算,这又导致了安全性和性能的碎片化。 @Boundless 正使用与以太坊相同的一组验证者 - 即通过相同的经济参与者维护的主网安全性是保障每一条消息的安全。安装在一个无界链上的应用程序可以在另一个链上无信任地调用程序,几乎没有延迟(区块时间而不是挑战期)。

对于正在进行评估的区块链基础设施机构,这一事实至关重要。监管框架越来越多地要求可审计性以及接近即时的可撤销性。目睹由重新质押的以太坊验证者验证的交易的合规官,不再看到一种有风险的实验性技术,而是一个扩展的以太坊网络 - 经过验证、流动且具有显著经济价值。当安全性不伴随新的信任假设时,从试点项目到生产部署的过程变得更短。

开发者同样获得了同样有价值的东西,即组合性的可预测性。人们可以在无界环境中创建,产品可以在各处部署。智能合约可以在不需要预言机的情况下访问不同链的状态。代币标准能够保留其特性,而无需包裹资产。网络变成一个单一的计算表面,而不是一个各自拥有独特安全特征和集成成本的独立领域的群岛。

持久的基础设施

大多数汇总解决方案在很大程度上是面向交易吞吐量的,即它们以每秒交易数量来衡量成功。另一方面,无界非常关注安全继承 - 一个汇总能够在不减弱的情况下声称以太坊的经济保证的程度。后者被证明是更可持续的。虽然吞吐量可以通过并行化和分片来扩展,以应对交易需求的增加,但安全性的问题仍然是二元的。一个由1000万美元的押注保障的链,不能突然获得价值400亿美元的以太坊安全性。无界自动处理该继承。

这一立场是对区块链成熟的准备。那些率先采用的人愿意在速度与风险之间做出一些妥协。机构希望看到这些系统能够在不失败的情况下承受对抗性压力。随着越来越多的价值在线转移,安全性的问题变得比吞吐量更为重要。无界不是在这两个优先事项之间做出选择;相反,它将安全性视为显著吞吐量的前提条件。

资本的重量

作为这一结果发展的基础设施,更像是以太坊的循环系统 - 分布式执行,由集中安全性支持。开发者继续使用熟悉的EVM工具。验证者在增加经济活动的同时不失去专注。用户享受多个高度专业化链的优势,而无需处理跨链转移的复杂性。

网络实际上正在改变时间本身 - 交易与最终性之间的周期 - 从风险管理工具变为仅仅是延迟。通过这样做,它使信任变得可计算,而不是哲学性的。问题不再是是否信任,而是有多少押注支持该信任。至于交易是否会最终确定,问题不再是是否,而是何时。导致当前调查的问题 - 在速度与确定性之间的二元选择 - 最终溶解为一种经济上有保障的执行光谱。

结果证明,保证不需要等待,而需要对齐。 #Boundless 提供了将这种对齐嵌入每笔交易的框架,从而将安全性从一个稍后验证的承诺转变为现在验证的财产。

$ZKC