Karak 通过将 Space and Time 作为 ZK 协处理器解决方案，为 Karak 分布式安全服务 (DSS) 提供无需信任的切割和激励，很高兴能够进一步实现其普遍安全的目标。Space and Time (SxT) 是一个可验证的计算层，通过在分散式数据仓库上扩展零知识证明，实现对智能合约、LLM 和公司的无需信任的数据处理。Space and Time 将链下数据集与来自主要链的索引区块链数据相结合。Space and Time 开发了 SQL 证明，这是一种独特的 ZK 证明，可保证大规模防篡改计算并证明查询结果未被更改。此外，Space and Time 正在为 Karak 上的 ZK 兼容索引开发 DSS。

分布式安全服务 (DSS) 是一种基于 Karak 的去中心化服务，利用重新质押的资产作为其所提供服务的通用安全性。由于其内在的灵活性、可扩展性和可伸缩性，DSS 框架可用于广泛的应用，从简单的实用程序（如计算器）到复杂的网络（如 DA 市场和 ZK 协处理器）。作为 DSS，Karak 需要的最重要的信息之一是如何在链上证明削减。空间和时间可以更快地定义削减逻辑，从而可以更快地构建和启动 DSS。

SxT 还在为其区块链索引服务开发 DSS，让社区成员能够轻松地在 SxT 网络内操作索引节点。开发 DSS 与空间和时间完美契合，尤其适用于需要最高安全性、去中心化和激励协调的去中心化数据索引等用例。

此次战略整合加速了我们实现普遍安全的目标，因为 Space and Time 现在可以索引更多 DSS 的数据。随着我们继续在效率和安全性方面突破极限，我们期待在未来几个月分享更多信息。

去中心化可验证计算网络

任何智能合约都可以通过时空网络获取并验证来自各种主流区块链的区块链数据。智能合约可以使用SQL语句查询区块链数据，这些查询可以通过零知识（ZK）证明在链上进行验证。

建筑学

流动

  • 需要验证的 SQL 语句由 Karak 削减合约调用到空间和时间中继器合约。查询任务信息包含在空间和时间中继器合约发出的事件中。

  • 空间和时间网络运营商使用 ZK 兼容索引节点检测源链上的查询任务发射（此服务也作为 DSS 实现）。

  • 空间和时间网络在事件验证后将任务分配给空间和时间证明者网络中可用的操作员。除了执行查询之外，操作员还会对请求的数据生成 ZK 证明和加密承诺。然后，操作员使用中继交易将这些部分返回到源链上的空间和时间中继者合约。

  • 通过回调函数，空间和时间中继合约确认查询结果并将其发送给原始 Karak 削减合约。

  • 查询结果被 Karak 的削减合约用来计算对某个 DSS 削减多少。

參與者

  • 中继合约：获取SQL查询请求，发出空间和时间网络事件，并验证并返回查询结果。

  • 空间和时间网络（操作符）：索引链上 DSS 活动（例如已完成的任务）并跟踪查询作业事件，并将其发送给空间和时间网络的可用证明者操作符。

  • 空间和时间网络（证明者）：运行查询，生成 ZK 证明，并将结果返回给中继者合约。

结论

开发人员为开发人员创建了 Karak。通过将空间和时间结合到 Karak，为全球所有开发人员提供经过验证的通用安全性的目标得以加速实现。如果您想扩展空间和时间 DSS、正在考虑扩展 DSS 或已经在 Karak 上开发 DSS，请与我们联系！