关于零知识线程（ZKThreads）的关键点

ZKThreads 是一个框架，通过使用零知识证明（ZKPs）来增强去中心化应用（DApps）的性能和可扩展性。它能带来更好的用户体验、降低交易成本和提高安全性。ZKThreads 适用于多种应用场景，如去中心化交易所（DEXes）、基于会话的游戏、zk-安全中间件和链上 AI 系统。

引言

在构建去中心化应用（DApps）时，安全性、组合性和互操作性是关键，但平衡这些因素往往是个挑战。ZKThreads 提出了一种可能的解决方案。本文将探讨什么是 ZKThreads，它们如何运作，与其他 zk 解决方案有何不同，以及它们的优势和应用场景。

什么是 ZKThreads？

ZKThreads 是一个零知识框架，旨在提升 DApps 的性能和可扩展性。它们利用 Starknet 的能力，创建了一个标准化环境，用于在区块链上开发和运行可互操作的应用。

ZKThreads 是如何工作的？

1. 应用逻辑部署

首先，将应用逻辑部署到 ZKThreads 的应用合约中。这些合约定义了应用的运行规则和流程。

2. 批量处理交易

接着，ZKThreads 将多个交易批量处理，而不是逐个处理，这样可以提高效率。

3. 创建证明

然后，生成一个称为 STARK 证明的加密证明，以确保批量交易的有效性及符合合约规则。

4. 验证

最后，STARK 证明被发送到 Layer 2 协调器进行验证，检查是否存在双重支付、所有交易是否获得授权，以及最终状态是否与区块链规则一致。如果证明有效，则更新 DApp 的规范状态记录；否则，拒绝更改，确保应用的完整性。

ZKThreads 与其他 ZK 解决方案的区别

数据处理

ZKThreads 设计为将状态和交易数据存储在链下，同时利用零知识证明（ZKPs）来验证交易。这与许多传统的零知识汇总（zk-rollups）不同，后者虽然将计算转移到链下，但仍将交易数据存储在链上。通过将所有数据存储在链下，ZKThreads 显著减少了主区块链的数据负载，从而增强了可扩展性并降低了成本。相比之下，zk-rollups 如 zkSync 会定期将批量交易数据发布到链上，确保基础层处理数据可用性。

互操作性

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

验证机制

ZKThreads 的验证过程涉及生成 STARK 证明，以验证批量交易和状态更改的正确性。这些证明随后与 DApp 的规范状态进行验证。相比之下，一些 zk-rollups 如 zkSync 使用 zk-SNARKs 或 zk-STARKs 来生成加密证明，并在链上进行验证。

ZKThreads 的优势

提升用户体验

ZKThreads 通过允许不同 DApps 之间无缝交互，提升了用户体验。用户可以无需切换网络即可访问多个应用。

降低成本

通过将交易批量处理，ZKThreads 减少了需要记录在主区块链上的交易数量，从而降低了用户的交易费用。此外，它们将状态和交易数据存储在链下，同时通过 ZKPs 保持安全性和完整性，这进一步降低了 Gas 费用。

增强安全性

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

ZKThreads 的应用场景

Layer 2 去中心化交易所

ZKThreads 可以通过降低用户的交易费用，使 Starknet 上的 DEX 更高效。通常，Starknet 上的 DEX 会因为每次交易都需要支付费用而变得不实用。使用 ZKThreads，用户只需在提取资金时支付费用，降低了总交易成本，使 DEX 更实用且更具成本效益。

基于会话的游戏

在基于会话的游戏（如扑克和象棋）中，ZKThreads 可以帮助聚合费用。玩家不是为每一步都支付费用，而是在游戏结束时一次性支付费用，当最终结果记录在 Starknet 上时。这种方法使开发者能够创建更广泛的完全链上游戏，而无需担心高昂的交易成本。

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

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

链上 AI

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

结语

ZKThreads 是一个利用 ZKPs 构建可扩展且安全的 DApps 的框架。它可用于 Starknet DEX、基于会话的游戏和中间件应用。与其他 zk 解决方案不同，ZKThreads 强调互操作性，将所有数据存储在链下，并使用不同的验证机制。展望未来，ZKThreads 有潜力显著提升 DApps 的性能和可用性，为构建更强大、更具扩展性和更安全的去中心化生态系统提供了新的可能。