关键要点

  • ZKThreads 是一个框架，可以使用零知识证明 (ZKP) 增强去中心化应用程序 (DApps) 的性能和可扩展性。

  • ZKThreads 可以通过改善用户体验、降低交易成本和增强安全性来提供益处。

  • ZKThreads 可用于各种应用程序，例如去中心化交易所 (DEX)、基于会话的游戏、zk 安全中间件和链上 AI 系统。

介绍

安全性、可组合性和互操作性是去中心化应用程序 (DApps) 高效运行的关键，但往往很难平衡。ZKThreads 为这一难题提出了一个潜在的解决方案。在本文中，我们将探讨什么是 ZKThreads、它们的工作原理、它们与其他 zk 解决方案的区别以及它们的一些优点和用例。

什么是 ZKThreads？

ZKThreads 是一个零知识框架，可增强 DApp 的性能和可扩展性。它们利用 Starknet 的功能创建标准化环境，用于在区块链上开发和运行可互操作的应用程序。

ZKThreads 如何工作？

1. 应用逻辑部署

该流程从将应用程序逻辑部署到 ZKThreads 的应用程序合约开始。这些合约本质上是管理应用程序如何运行的规则和程序。

2. 批量交易

ZKThreads 不会单独处理每个事务，而是将多个事务分组为一个批次。这使得处理大量事务更加高效。

3. 创建证明

然后，创建一个称为 STARK 证明的加密证明，以确保批次中的所有交易都是有效的并且已根据合约规则进行处理。

4. 验证

接下来，STARK 证明被发送到第 2 层排序器，在那里根据 DApp 的规范记录进行验证。规范记录是指应用程序的验证和接受状态。

Starknet 上的合约 ZKThread Verifier 会检查证明以确保其准确性。它会检查是否存在双重支付，确保所有交易都经过授权，并控制最终状态是否符合区块链规则。

如果证明有效，ZKThread 验证器将更新 DApp 的规范状态记录。如果证明无效，则拒绝更改，从而确保应用程序的完整性。

ZKThreads 与其他 ZK 解决方案的比较

数据处理

ZKThreads 旨在将状态和交易数据存储在链下，同时利用零知识证明（ZKP）来验证交易。这与许多传统的零知识汇总（zk-rollups）不同，后者将计算移到链下但仍将交易数据存储在链上。

通过将所有数据保留在链下，ZKThreads 可以显著减少主区块链上的数据负载，从而提高可扩展性并降低成本。相反，像 zkSync 这样的 zk-rollups 会定期在链上发布批量交易数据，确保基础层处理数​​据可用性。

互操作性

ZKThreads 优先考虑可互操作的应用程序，减少碎片化并确保不同的 DApp 可以在同一生态系统内无缝交互。相比之下，zkEVM 等其他解决方案更注重兼容性。

验证机制

ZKThreads 中的验证过程涉及创建 STARK 证明，以验证批量交易和状态更改的正确性。然后根据 DApp 的规范状态验证这些证明。相比之下，一些 zk-rollup（如 zkSync）使用 zk-SNARK 或 zk-STARK 来创建在链上验证的加密证明。

ZKThreads 的优势

改善用户体验

ZKThreads 允许不同 DApp 之间无缝交互，提升用户体验。用户无需切换网络即可访问多个应用程序。

降低成本

通过将交易分组并一次性处理，ZKThreads 减少了需要记录在主区块链上的交易数量。这降低了用户的交易费用，使 DApp 更加实惠。

此外，它们将状态和交易数据存储在链下，同时仍通过 ZKP 保持安全性和完整性。这减少了区块链上的数据负载，从而降低了 gas 费用。

增强安全性

ZKThreads 利用 ZKP 来增强安全性。ZKP 允许在不泄露底层数据的情况下验证交易，从而保护隐私。此外，它们还确保所有交易都按照预定义的规则进行处理，从而防止未经授权的活动。

ZKThreads 的用例

L2 去中心化交易所

ZKThreads 可以降低用户的交易费用，从而提高 Starknet 上的 DEX 效率。通常情况下，Starknet 上的 DEX 并不实用，因为用户必须为每笔交易支付费用。使用 ZKThreads，用户只需在提取资金时支付费用，从而降低交易的总成本，使 DEX 更加实用且经济实惠。

基于会话的游戏

在基于会话的游戏中，例如扑克和国际象棋，ZKThreads 可以帮助汇总费用。玩家无需为每一步收取费用，而是在游戏结束时（最终结果记录在 Starknet 上）仅支付一笔费用。这使开发人员可以创建更广泛的完全链上游戏，而不必担心高昂的交易成本。

Zk 安全中间件和共享流动性基础设施

ZKThreads 为中间件应用程序（例如预言机和桥接器）提供安全高效的框架。通过直接在 ZKThread 中构建功能，这些应用程序可以利用 ZKP 来确保安全性和互操作性。

链上人工智能

ZKThreads 提供在区块链上直接运行 AI 模型所需的计算能力。这意味着 AI 程序可以在 ZKThread 内进行管理，同时保持其核心数据和操作的一致性。然后，这些 AI 模型可供不同的应用程序使用，例如游戏、社交媒体平台和生产力工具。

结束语

ZKThreads 是一个使用 ZKP 构建可扩展且安全的 DApp 的框架。它们可用于 Starknet DEX、基于会话的游戏和中间件应用程序。与其他 zk 解决方案不同，ZKThreads 强调互操作性，将所有数据保留在链下，并使用不同的验证机制。展望未来，ZKThreads 有可能显著提高 DApp 的性能和可用性。

进一步阅读

  • 利用零知识证明提高加密透明度

  • 乐观汇总与零知识汇总：有什么区别？

  • 什么是区块链三难困境？

  • 区块链与人工智能的关系

免责声明：本内容按“原样”提供给您，仅供一般信息和教育目的，不作任何形式的陈述或保证。它不应被视为财务、法律或其他专业建议，也不旨在推荐购买任何特定产品或服务。您应该向适当的专业顾问寻求自己的建议。如果文章是由第三方贡献者提供的，请注意，这些观点属于第三方贡献者，并不一定反映币安学院的观点。请在此处阅读我们的完整免责声明以了解更多详情。数字资产价格可能会波动。您的投资价值可能会下跌或上涨，您可能无法收回投资金额。您对自己的投资决策负全部责任，币安学院对您可能遭受的任何损失概不负责。本材料不应被视为财务、法律或其他专业建议。有关更多信息，请参阅我们的使用条款和风险警告。