Disclaimer : This publication is a community translation made by a member of the Fuel Community. Careful checks are made to provide accurate translations, but they may be subject to errors or omissions. Fuel Labs is not responsible for the accuracy, reliability or timeliness of the translated information.

[https://fuel-labs.ghost.io/introducing-hybrid-proving/]: Introducing Hybrid Proving 免责声明 本出版物是由 Fuel 社区成员制作的社区翻译。虽然会有仔细地核查来确保提供准确的翻译，但仍然可能会出现错误或遗漏。 Fuel Labs 对翻译信息的准确性、可靠性或及时性不承担任何责任。 <**原刊**>[https://fuel-labs.ghost.io/introducing-hybrid-proving/]：Introducing Hybrid Proving Fuel V1 在2020 年底作为以太坊上第2层 (L2) 可扩展性技术进行部署。这是以太坊主网上第一个乐观汇总，开创了欺诈证明。从那时起，Fuel 项目在通往 Fuel V2（我们下一代汇总架构）的道路上取得了显着发展，目前已经拥有 40 多个生态项目-这些项目都以在以太坊上构建下一个时代的去中心化应用为目标。 在这篇博文中，我们介绍了Fuel证明者和混合证明 - 我们相信这是一项关键技术，可以提供之前从未有过的裨益。 问题 第2层空间目前主要由两种(技术)路径主导：乐观汇总 (ORU) 和零知识 (ZK) 汇总。虽然两者都展现了希望，但各自都有取舍权衡。像 Fuel V1、Arbitrum 和 Optimism 这样的 ORU 在乐观情况下要简单得多，且不需要额外的成本来验证链上证明，但受较长提款周期和复杂交互验证博弈(IVG)流程的约束，所以依赖欺诈证明来验证确保安全。另一方面，ZK证明提供即时执行验证和更好的数据压缩技术，但证明生成和链上验证缓慢且昂贵。 ZK 最终将成为区块链验证的未来，但对于数千TPS的汇总架构来说，证明生成效率尚未达标。 Fuel 的目标是支持数千TPS，因此今天将 Fuel 转变为完整的ZK汇总并不适宜。 Fuel证明者 FuelProver 简介：混合解决方案 (现在我们)隆重推出 Fuel证明者(FuelProver )- 一个乐观/ZK证明的混合体。意识到 Fuel V1 引入的单轮欺诈证明模型的优势，也认识到ZK证明的潜力，我们设想了一个最能结合两者优势 的中间场域。FuelProver 将跨平台(agnostic)支持ZK证明架构，这意味着它可以支持所有最新的通用证明者。 FuelProver 将确保一个灵活且适应性强的，可以随着ZK技术的最新进步而发展的系统。 FuelProver 的混合方法还可以减少提现窗口并实现高吞吐量，且无需为发送给用户的每个区块进行昂贵的证明。 这是由于我们有更可预测的时间来证明单个区块的有效性。在乐观(汇总)的满意路径(happy path)中，我们可以将提款时间从乐观汇总中典型的 7 天减少到约 8 小时（请注意，一切仍处于积极研发中，数字为近似值且可能变动）。 通过融合两种证明范式的优势，FuelProver 成为迈向注定到来的ZK未来的奠基石，同时也可避免任何锁定，实实在在确保向开发人员提供灵活且最优化的解决方案。 混合证明和最终性 混合证明 的概念源自欺诈证明和ZK证明的融合。它代表了一种新的可扩展性解决方案，跨越了乐观汇总和ZK汇总之间的界限。 Fuel证明者(FuelProver) 是这一创新理念的实现。 混合证明可以进一步定义为一种技术：它不是利用一个，而是可能利用多个ZK证明者来验证正确性，因此证明正确性不依赖于单个ZK系统，而是多个ZK系统。这类似于其它乐观汇总的欺诈证明模型，他们的目标是采用各种类型的欺诈证明系统来减少错误表面并确保正确性。 FuelProver 最初将使用一个目标是发展为多证明者模型来增强正确性的(单一)证明者。这是与此想法的其它实现的关键区别和改进_(请参阅ZKFPs 和 Hybrid Rollups)。与以太坊以不同语言实现多个客户端类似，这种多证明者模型为 Fuel 的安全模型引入了多样性和鲁棒性。这就是说，我们相信混合证明技术可以应用于以太坊汇总生态系统中的任何地方。 通过乐观汇总，(获得)信任最小化可操作链上的最终性通常需要7 天。这意味着将数字资产通过信任最小化跨链桥转接回基础层也可能需要一周或更长时间才能完成，具体取决于欺诈挑战博弈期间可能出现的延迟。由于欺诈证明博弈的轮数减少，混合证明 能体验更快的链上可操作最终性。 ORU乐观汇总系统需要等待一段时间，让各方有足够的时间进行交互来避免审查。由于只有一轮，混合证明模型不需要在多轮交互过程中等待很长时间。理论上，混合证明博弈应该能够击败多轮欺诈证明博弈，因为欺诈证明博弈每轮都需要多个小时的等待来确保抗审查性。 一种跨平台方法 Fuel是一个采用跨平台方法的区块链操作系统，其目标是支持许多流行的底层架构。这让开发人员和项目能够更好地利用现成的通用架构，同时获得 Fuel 虚拟机、工具和并行交易执行的优势。这种灵活性还使得将来可以更平稳地过渡到更先进、基于ZK的系统，而不会影响当前的可扩展性需求。 FuelProver 会支持多种证明机制，包括 Risc Zero、*zkSync*)、Powdr 等。虽然混合证明有许多前途光明的好处，但 FuelProver 还将支持一个完全乐观(汇总)的选项-它基于我们完全欺诈可证明的虚拟机构建。 展望未来，这为 Fuel 堆栈最终实现完整的ZK汇总并在几分钟内实现近乎即时的最终性提供了一条未来可期的道路。在多个ZK团队已提供的支持下，这种新的混合方法是一种强大的近期解决方案，它提供了结合两者嘴有点的解决方案，并且为伴随ZK蓝图一同进化铺好了道路-一切会变得更加有效率和更能经受考验。 探索以太坊的新范式 FuelProver 标志着Fuel进化和ETH第2层可扩展性解决方案中一个令人兴奋的里程碑。凭借其混合证明模型，Fuel 采用了跨平台和附加方法，为区块链领域的开发人员和用户释放了新的可能性。 伴随Fuel切入这一互连区块链的新范式，FuelProver 作为一个强大的工具，实现了效率、可扩展性和安全性的无缝融合。 FuelProver 以 Fuel V1 的基础，与其引入的Optimistic Rollup乐观汇总为基础，进一步释放去中心化应用的巨大潜力。 超越单片链 加入Fuel社区 Twitter Discord LinkedIn YouTube 职位 Explore our current job openings 学习用Sway在Fuel上构建 Learn Sway to build applications on Fuel