零知识证明奇点即将到来

mutourend

于 2024-10-02 22:31:02 发布

阅读量484

点赞数 10

分类专栏：零知识证明文章标签：零知识证明

本文链接：https://blog.csdn.net/mutourend/article/details/142685978

版权

零知识证明专栏收录该内容

344 篇文章 145 订阅

订阅专栏

1. 引言

零知识证明奇点将为更加互联互通、可扩展的 Web3 生态系统铺平道路。

慢慢地，然后突然地。

变革性突破的历程通常遵循这种熟悉的模式，而2024年9月可能会被铭记为加速区块链实时证明交易有效性的转折点。

2024年9月10日，Polygon Labs 公开宣布花费500万美金购买了 Fabric Cryptography 的专用芯片——可验证处理单元 (verifiable processing units，VPU)，宣称其在零知识 (ZK) 证明能力方面取得了重大飞跃。
2024年9月10日，Succinct Labs 与领先的 Layer-2 区块链 Optimism 合作，单独推出了一个框架——OP Succinct，用于将OP Stack中的 Optimism Rollup 链升级为 ZK Rollup，整个过程只需一小时。用户将能够在 Rollup 或一批交易记录在链上后更快地提取资金，因为 Optimism Rollup 所需的争议解决期已被 ZK 证明提供的确定性所取代。
2024年9月16日，RiscZero计划成为所有区块链的分布式可验证计算层。

总的来说，这一系列公告表明 ZK 领域正在加速实现真正的可扩展性，并具有更好的证明速度和成本。

Fabric 的 VPU 有望实现显著提升，这要归功于其定制架构和密码学计算能力。不过，硬件加速只是克服更广泛、更复杂挑战的一个组成部分：

实现区块链的实时证明，即证明奇点。

证明奇点是区块链技术发展过程中的一个重要里程碑，因为：

它有望消除阻碍区块链网络可扩展性、隐私性和互操作性的瓶颈。
通过实现实时证明，应用程序可以安全地执行复杂的计算而不会暴露敏感数据，从而为私人交易、机密智能合约和高效rollup等用例打开大门。
- 这种转变不仅会通过显著减少延迟来增强用户体验，还会通过使零知识技术适用于从去中心化金融到企业区块链解决方案的实际应用来推动更广泛的采用。

证明奇点的广泛影响超越了单个区块链网络，因为它为更加互联互通和可扩展的 Web3 生态系统铺平了道路。随着 ZK 证明变得更快、更高效，跨链通信和互操作性可以得到极大改善，从而实现各种区块链协议之间的无缝、安全交互。这可能导致范式转变，数据隐私和安全固有地内置于基础设施中，从而促进需要严格数据保护标准的行业（如医疗保健、金融和供应链管理）的信任和合规性。

最终，证明奇点有可能重新定义区块链技术的基本原则，以前所未有的方式融合性能、安全性和隐私，从而推动下一波区块链创新浪潮。

2. 硬件加速：必要但非充分

在这个雄心勃勃的背景下，与传统 GPU 相比，Fabric 的 VPU 可将大整数运算性能提高 900%。Polygon 的投资彰显了其对优化证明生成的承诺，押注 VPU 来增强 Polygon zkEVM（以太坊虚拟机的零知识版本）等应用程序。然而，虽然这些数字很棒，但端到端实时证明仍然存在许多技术障碍，因为大整数运算只是端到端证明时长内的一部分。

经验表明：

真正的实时 ZK 证明不能仅通过硬件实现。
行业的方法必须超越原始的计算能力，而应专注于硬件和软件的全栈集成，以解决阻碍无缝实时 ZK 应用的一系列挑战。

3. 完全垂直整合的方法

完全垂直整合的方法有：

更好的 zkVM 架构：让人们从头开始重新思考 zkVM 架构：
- 当前的 zkVM 受到许多顺序组件的限制。
- 需要重新架构 zkVM，以便 zkVM 执行和证明可以从头到尾并行完成。
实时证明聚合：通过整合此功能，行业可以解决经常被忽视的关键瓶颈——验证成本和延迟。
- 实时证明聚合允许以最低的延迟在链上以低成本验证证明。
硬件/软件协同设计：实时验证需要利用不同类型的硬件，如 CPU、GPU、VPU 和现场可编程门阵列 (field programmable gate arrays，FPGA)，因为每种硬件在性能和能效之间都有不同的权衡。为了充分发挥硬件的威力，需要将硬件与软件协同设计，这样就不会出现性能泄漏或栈不同层之间的泄漏。