ZKThreads：零知识证明赋能DApp爆发
关键要点
ZKThreads 是一个框架，可以使用零知识证明 (ZKP) 增强去中心化应用程序 (DApp) 的性能和可扩展性。
ZKThreads 可以提供改进的用户体验、更低的交易成本和增强的安全性等好处。
ZKThreads 可用于各种应用程序，例如去中心化交易所 (DEX)、基于会话的游戏、zk 安全中间件和链上 AI 系统。
引言
安全性、可组合性和互操作性是去中心化应用程序 (DApp) 高效性能的关键，但通常难以平衡。ZKThreads 为这个难题提出了一个可能的解决方案。在本文中，我们将探讨什么是 ZKThreads、它们的工作原理、它们与其他 zk 解决方案的区别、它们的一些好处和用例。
什么是 ZKThreads？
ZKThreads 是一个零知识框架，可增强 DApp 的性能和可扩展性。它们利用 Starknet 的功能为在区块链上开发和运行可互操作的应用程序创建一个标准化环境。
ZKThreads 如何工作？
1. 应用程序逻辑部署
该过程首先将应用程序逻辑部署到 ZKThreads 的应用程序合约中。这些合约本质上是管理应用程序运行方式的规则和程序。
2. 批量交易
ZKThreads 不是单独处理每笔交易，而是将多笔交易组合成一个批次。这使得以大量数字处理它们更有效率。
3. 创建证明
然后，创建一个称为 STARK 证明的密码学证明，以确保批次中的所有交易都有效，并且已按照合约规则进行处理。
4. 验证
接下来，STARK 证明被发送到 Layer 2 排序器，在那里针对 DApp 的规范记录进行验证。规范记录是指应用程序经过验证和接受的状态。
ZKThread 验证器（Starknet 上的一个合约）检查证明以确保其准确性。它检查双重支付，确保所有交易都经过授权，并控制结果状态是否与区块链的规则一致。
如果证明有效，则 ZKThread 验证器会更新 DApp 的规范状态记录。如果证明无效，则会拒绝更改，从而确保应用程序的完整性。
ZKThreads 与其他 ZK 解决方案
数据处理
ZKThreads 旨在链下存储状态和交易数据，同时利用零知识证明 (ZKP) 来验证交易。这与许多传统的零知识汇总 (zk-rollups) 不同，后者将计算转移到链下，但仍将交易数据存储在链上。
通过将所有数据保存在链下，ZKThreads 可以显著减少主区块链上的数据负载，从而提高可扩展性并降低成本。相反，zkSync 等 zk-rollups 会定期将批量交易数据发布到链上，以确保基础层处理数据可用性。
互操作性
ZKThreads 优先考虑可互操作的应用程序，减少碎片化，并确保不同的 DApp 可以在同一生态系统中无缝交互。相比之下，zkEVM 等其他解决方案更侧重于兼容性。
验证机制
ZKThreads 中的验证过程涉及创建 STARK 证明，以验证批量交易和状态更改的正确性。然后，针对 DApp 的规范状态验证这些证明。相比之下，zkSync 等一些 zk-rollups 使用 zk-SNARKs 或 zk-STARKs 来创建在链上验证的密码学证明。
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 来确保安全性和互操作性。
链上 AI
ZKThreads 提供了必要的计算能力，可以直接在区块链上运行 AI 模型。这意味着可以在 ZKThread 中管理 AI 程序，使其核心数据和操作保持一致。然后，这些 AI 模型可以被不同的应用程序使用，例如游戏、社交媒体平台和生产力工具。
结束语
ZKThreads 是一个使用 ZKP 构建可扩展和安全 DApp 的框架。它们可用于 Starknet DEX、基于会话的游戏和中间件应用程序。与其他 zk 解决方案不同，ZKThreads 强调互操作性，将所有数据保存在链下，并利用不同的验证机制。展望未来，ZKThreads 有潜力显著提升 DApp 的性能和可用性。
