zk技术是否会接管模块化区块链架构？

本文由Hannes Huitula撰写，出自Equilibrium，并由火星财经（Lynn 编译）翻译。感谢Dino(Fluent/Modular Media)、Lisa(Aztec)及Celestia团队，以及Joakim、Olli和Vesa-Ville(Equilibrium Labs)和Mika、Chris(Equilibrium Ventures)等人在早期讨论中提供的宝贵意见和反馈。

区块链：超越传统的计算范式

区块链作为一种分布式协调机器，让人们无需第三方介入就能在全球范围内开展协作。计算机原本设计用于三项基本功能：数据存储、计算和通信，而区块链则新增了一个维度：即对这些功能的预定方式进行保证，从而实现了去中心化的陌生人协作。这个保证既包含了经济层面的信任机制（博弈论和激励机制），也融合了加密层面的信任（数学保证）。当前的Web3时代更强调"读、写、验证"，而非单纯的所有权，因为在公共区块链中，保证计算正确性和便捷验证是核心优势。所有权只是有保障计算的一种应用案例，但许多区块链用例并不直接涉及所有权。

zk与模块化：双向发展趋势

区块链虽然带来了诸多革新，但其去中心化模型也引入了额外的开销和效率低下问题，如P2P消息传递和共识机制。当前多数区块链依然依赖重新执行来验证状态转移的正确性，造成资源浪费。然而，模块化与零知识证明（zk）技术有望改变这一状况，二者协同提升效率和扩展性，并拓宽表现力边界：

表现力：涉及可扩展性、隐私性（信息流管理）、可编程性和可组合性等多个方面。

硬度：涵盖安全性、去中心化以及用户和代码安全等因素。

zk在模块化区块链中的渗透与应用

当前模块化区块链架构中，zk 技术已在多个层面有所应用，如用户操作抽象（如账户抽象、链抽象和意图解析）、交易排序（如验证内存池加密）、执行层（zkVM实现缩放写入）和数据查询（缩放读取）等。此外，zk 也在证明、数据发布和长期状态存储等领域发挥重要作用，并与共识和结算环节相结合，提升了整体的安全性和效率。然而，当前仍有很多问题有待zk技术解决，如最佳执行路径的验证、隐私状态的高效查询以及跨链通信的即时确认等问题。

综上所述，zk技术和模块化区块链正在互相推动，共同发展。然而，要充分实现这一潜力，我们必须首先理解2024年模块化区块链的最新态势，并探讨zk技术已融入哪些部分，以及可以解决哪些开放性问题。