【英文】引介 Boundless：基于新一代零知识证明的可验证计算层

通过利用零知识证明的力量，Boundless 使区块链能够验证计算的正确性而无需重新执行。这种突破性的功能称为可验证计算，允许网络中单个节点执行的操作由每个节点以低成本进行验证。在 Boundless 上，开发人员可以获得：1）无限执行：以极低的成本进行无限计算，绕过传统的链上执行限制；2）全球可组合性：跨不同区块链生态系统的资产和信息无缝交互；3）按需可扩展性：弹性扩展，不影响性能，直接满足实际需求；4）不妥协的安全性：继承目标链的完整安全保障。 Boundless 建立在最新一代零知识证明的基础上，能够以比以前低几个数量级的计算量实现更大数量级的计算。Boundless 的核心是强大的零知识堆栈，这是实现可验证计算的关键。Boundless 堆栈的每个组件如何实现这一点： 1）使用熟悉的语言进行构建：创建任何基于区块链的解决方案（从 L2 和 L1 到 dApp 等），无需应对 ZK 复杂性或不熟悉的语言。在编码时利用 ZK 的可验证性，就像在现代软件开发中一样。 2）精简的 ZK 集成：一套强大的组件，包括 Steel、Blobstream Zero 和 Zeth。这一层简化了开发人员体验，简化了 ZK 技术与现有和新基础设施和合约的集成，加快了产品上市时间。 3）按需去中心化证明：一种按需、去中心化的证明者网络，由一种新型激励机制（ZK 挖矿）支持，可动态扩展。凭借内置的有效性保证和抗审查能力，可确保应用程序始终具有必要的证明能力。 4）高效证明聚合：来自不同系统的批量证明，允许共享链上验证成本并提高效率。随着证明需求的增长，链上成本大幅降低，使 ZK 解决方案在规模上更具经济效率。 5）通用证明验证：支持跨任何区块链进行证明验证，允许开发人员继承其首选结算层的安全性。这为跨链可组合性奠定了基础，同时使开发人员能够灵活地选择他们的信任假设。 6）全球可组合性和执行： Boundless 利用 ZKP 实现跨多个区块链应用程序之间的无缝、原生交互。这使得 Boundless 应用程序不仅可以跨链交互，还可以使用来自任何区块链的数据进行安全计算，而无需牺牲信任或安全性。【原文为英文】\n原文链接