https://app.spaceandtime.ai/

深度数据分析的首选工具：

我们引以为傲的第一个应用是 AI-powered data studio，这是一个功能强大的工具，为您提供深度数据分析的能力。在输入框中，只需简单地提出您感兴趣的问题，例如在 "Ask Any query" 中输入："Average vs. Max Transaction Fee on Ethereum"。

在短短几秒到几十秒内，系统将呈现出您所需的内容。这不仅非常便捷，而且您可以通过提出更多问题来深入挖掘数据。

数据查询的灵活性与强大功能：

接下来，我们进入 Space and Time 的 Queries 应用，打开 Query edit 页面。在这里，您可以灵活运用 SOL 语言或者自然语言进行查询。以 "Average vs. Max Transaction Fee on Ethereum" 为例，输入查询条件后点击 "RUN"。

系统将自动为您生成代码并呈现所需的数据，而更令人兴奋的是，它还会以可视化的方式展示数据结果。

这个功能不仅非常实用，而且拓展了您对数据分析的可能性。积极尝试并发现 Space and Time 提供的其他令人兴奋的功能，让数据分析变得更加深入、直观和有趣。

一些背景……

许多人的印象是加密货币对环境有害。比特币及其POW算法导致许多人建造整个仓库来开采比特币，这让人们认为区块链和加密货币作为一个整体正在破坏环境。尽管有许多区块链致力于改善环境影响并减少这种负面看法，但我们仍然有方法可以进一步改进。

目前，想要获取传统 Web2 数据并将其与区块链数据相结合的公司被迫通过多个网关和第三方，从而产生大量计算并减慢运行时间。这就产生了两个大问题：数据必须被复制并保存在区块链以及 Web2 服务器上，然后如上所述的第三方必须对新的区块链数据进行分析。您觉得这听起来很复杂并且需要大量资源吗？对我来说确实如此。另一方面，如果你想创建一个真正去中心化的应用程序，你必须将其所有数据存储在链上，这是计算成本高昂的。Space and Time 使开发人员能够分析来自链上和链下来源的数据，并且只将重要的结果放在链上，从而节省运行时间……和环境。没有重复的数据，只有可证明的结果。用一句古老的说法来说，SxT 就是一石二鸟。

一些例子…

如果您已经接触 Web3 领域一段时间，您可能听说过 Solana。Solana 使用POS而不是 POW，使其交易速度更快、效率更高。由于这种效率，Solana 链也是最环保的链之一。Solana 链每年产生的碳足迹为 10,007 吨二氧化碳。这个数字听起来很高，但与美国18家最大银行每年排放19.68亿吨二氧化碳相比，实际上是微不足道的。比较这两家银行可能会显得有些奇怪，当然最大的 18 家银行会产生大量排放。然而，如果我们进一步挖掘并查看这些银行的交易数量并将其与 Solana 进行比较，我们就会开始看到整体情况。2019年银行联合购买交易量约为396亿笔。与Solana 每年约 100 亿笔交易相比，我们发现 Solana 链产生的二氧化碳只是这些银行每年四分之一交易产生的二氧化碳的一小部分。作为参考，Solana 产生的二氧化碳约为银行排放量的 0.000508%。

让我们更深入地研究一下，如果我们想分析针对银行的区块链交易怎么办？或者，进一步停止将某些区块链数据存储在链上的要求？如上所述，加入 Web3 区块链数据和 Web2 银行数据将需要大量第三方程序和大量计算能力，除非您使用空间和时间。通过使用空间和时间，这些链外数据永远不必加载到链上，而是可以按原样处理数据。只有数据的聚合和分析结果才会加载到链上——所有这些都由 Space and Time 的 SQL 证明来证明。比以往更加高效且环保。

对于可持续发展的区块链的另一个例子，让我们看看现代和起亚基于 Hedera 网络构建的新监控系统。Hedera 已成功将其交易的能源效率比 Solana 高 170 倍。考虑到上面关于 Solana 的所有内容，这无疑是一个令人印象深刻的数字。然而，Hedera 是一个“标准”的 Web3 区块链；意味着网络中的数据必须全部连接到云端。除了存储在其他地方的 Web2 数据之外，区块链数据还必须全部存储在某个地方。借助空间和时间，这些数据可以全部存储在一个地方，这意味着更少的硬盘驱动器浪费，以及更少的数据所在磁盘的翻新。与我们的 Solana 示例类似，需要处理的数据越少，自然对环境的影响就越小。特别是像硬盘废物这样有害的东西，处理的影响包括：有毒化学物质和颗粒物的释放、稀土金属的损失以及工程部件的损失，这对环境和消费者来说极其有利。

还有气候行动数据信托的例子。CAD Trust 的目标是将所有主要碳信用登记数据联系起来以提高透明度。通过使用区块链，他们的目标是创建碳排放的去中心化记录。目前有三十个参与组织以及十一个国家政府。例如，新加坡政府承诺到 2030 年将排放量减少 36%，其数据目前存储在 CAD Trust 链上。CAD Trust 链本身如何更加环保？当然还有空间和时间。通过将区块链数据与政府和组织生成的链下数据相结合，CAD 可以识别和了解实现更好可持续性的机会……并以可持续的方式做到这一点。

结论

区块链在可持续发展方面名声不佳，但 Web3 正在努力解决这个问题。许多项目已改用 POS 算法或某种允许使用更少能源的变体。像 Solana 这样的区块链处理的交易量约为主要银行的 25%，同时产生的碳排放量却高达主要银行的 0.000508%。还有像 CAD Trust 这样的项目可以提高气候数据的整体透明度。有了空间和时间，这种效率和透明度只会增加，并带来更绿色的未来。总体而言，区块链具有与任何其他交易和数据存储方法一样或更环保的能力。这完全取决于如何使用区块链。通过使用空间和时间，这些区块链技术可以比以往更加环保。没有重复数据，没有第三方，没有不必要的链上天然气。

原文阅读

我们引以为豪的第一个应用是 AI-powered data studio，一个强大的工具，为您提供深度数据分析的能力。在输入框中，只需简单地提出您感兴趣的问题，例如在 "Ask Any query" 中输入："Average vs. Max Transaction Fee on Ethereum"。

在短短几秒到几十秒内，系统将呈现出您所需的内容。这不仅非常便捷，而且您可以通过提出更多问题来深入挖掘数据。

接下来，我们迈向 Space and Time 的 Queries 应用。

一旦进入 Query edit 页面，您可以灵活运用 SOL 语言或者自然语言进行查询。以 "Average vs. Max Transaction Fee on Ethereum" 为例，输入查询条件后点击 "RUN"。

系统将自动为您生成代码并呈现所需的数据，而更令人兴奋的是，它还会以可视化的方式展示数据结果。

系统将自动为您生成代码并呈现所需的数据，而更令人兴奋的是，它还会以可视化的方式展示数据结果。

这个功能不仅非常实用，而且拓展了您对数据分析的可能性。希望大家能够积极尝试并发现 @SpaceandTimeDB

一些背景……

许多人的印象是加密货币对环境有害。比特币及其POW算法导致许多人建造整个仓库来开采比特币，这让人们认为区块链和加密货币作为一个整体正在破坏环境。尽管有许多区块链致力于改善环境影响并减少这种负面看法，但我们仍然有方法可以进一步改进。

目前，想要获取传统 Web2 数据并将其与区块链数据相结合的公司被迫通过多个网关和第三方，从而产生大量计算并减慢运行时间。这就产生了两个大问题：数据必须被复制并保存在区块链以及 Web2 服务器上，然后如上所述的第三方必须对新的区块链数据进行分析。您觉得这听起来很复杂并且需要大量资源吗？对我来说确实如此。另一方面，如果你想创建一个真正去中心化的应用程序，你必须将其所有数据存储在链上，这是计算成本高昂的。Space and Time 使开发人员能够分析来自链上和链下来源的数据，并且只将重要的结果放在链上，从而节省运行时间……和环境。没有重复的数据，只有可证明的结果。用一句古老的说法来说，SxT 就是一石二鸟。

一些例子…

如果您已经接触 Web3 领域一段时间，您可能听说过 Solana。Solana 使用POS而不是 POW，使其交易速度更快、效率更高。由于这种效率，Solana 链也是最环保的链之一。Solana 链每年产生的碳足迹为 10,007 吨二氧化碳。这个数字听起来很高，但与美国18家最大银行每年排放19.68亿吨二氧化碳相比，实际上是微不足道的。比较这两家银行可能会显得有些奇怪，当然最大的 18 家银行会产生大量排放。然而，如果我们进一步挖掘并查看这些银行的交易数量并将其与 Solana 进行比较，我们就会开始看到整体情况。2019年银行联合购买交易量约为396亿笔。与Solana 每年约 100 亿笔交易相比，我们发现 Solana 链产生的二氧化碳只是这些银行每年四分之一交易产生的二氧化碳的一小部分。作为参考，Solana 产生的二氧化碳约为银行排放量的 0.000508%。

让我们更深入地研究一下，如果我们想分析针对银行的区块链交易怎么办？或者，进一步停止将某些区块链数据存储在链上的要求？如上所述，加入 Web3 区块链数据和 Web2 银行数据将需要大量第三方程序和大量计算能力，除非您使用空间和时间。通过使用空间和时间，这些链外数据永远不必加载到链上，而是可以按原样处理数据。只有数据的聚合和分析结果才会加载到链上——所有这些都由 Space and Time 的 SQL 证明来证明。比以往更加高效且环保。

对于可持续发展的区块链的另一个例子，让我们看看现代和起亚基于 Hedera 网络构建的新监控系统。Hedera 已成功将其交易的能源效率比 Solana 高 170 倍。考虑到上面关于 Solana 的所有内容，这无疑是一个令人印象深刻的数字。然而，Hedera 是一个“标准”的 Web3 区块链；意味着网络中的数据必须全部连接到云端。除了存储在其他地方的 Web2 数据之外，区块链数据还必须全部存储在某个地方。借助空间和时间，这些数据可以全部存储在一个地方，这意味着更少的硬盘驱动器浪费，以及更少的数据所在磁盘的翻新。与我们的 Solana 示例类似，需要处理的数据越少，自然对环境的影响就越小。特别是像硬盘废物这样有害的东西，处理的影响包括：有毒化学物质和颗粒物的释放、稀土金属的损失以及工程部件的损失，这对环境和消费者来说极其有利。

还有气候行动数据信托的例子。CAD Trust 的目标是将所有主要碳信用登记数据联系起来以提高透明度。通过使用区块链，他们的目标是创建碳排放的去中心化记录。目前有三十个参与组织以及十一个国家政府。例如，新加坡政府承诺到 2030 年将排放量减少 36%，其数据目前存储在 CAD Trust 链上。CAD Trust 链本身如何更加环保？当然还有空间和时间。通过将区块链数据与政府和组织生成的链下数据相结合，CAD 可以识别和了解实现更好可持续性的机会……并以可持续的方式做到这一点。

结论

区块链在可持续发展方面名声不佳，但 Web3 正在努力解决这个问题。许多项目已改用 POS 算法或某种允许使用更少能源的变体。像 Solana 这样的区块链处理的交易量约为主要银行的 25%，同时产生的碳排放量却高达主要银行的 0.000508%。还有像 CAD Trust 这样的项目可以提高气候数据的整体透明度。有了空间和时间，这种效率和透明度只会增加，并带来更绿色的未来。总体而言，区块链具有与任何其他交易和数据存储方法一样或更环保的能力。这完全取决于如何使用区块链。通过使用空间和时间，这些区块链技术可以比以往更加环保。没有重复数据，没有第三方，没有不必要的链上天然气。

原文阅读：

https://www.spaceandtime.io/blog/supporting-sustainability-in-web3

我们的第一个应用是 AI-powered data studio。在输入框中，只需输入您感兴趣的问题，例如在 "Ask Any query" 中输入："Average vs. Max Transaction Fee on Ethereum"。

在短短几秒到几十秒内，您所需的内容将显示出来。非常便捷，您可以尝试提出更多问题。

接下来，我们使用 Space and Time 的 Queries 应用。

打开 Query edit 后，同样可以输入 SOL 语言或自然语言。

例如，我们输入："Average vs. Max Transaction Fee on Ethereum"，然后点击 "RUN"。

系统将自动生成代码并显示您所需的数据。更有趣的是，它还会呈现可视化数据。

这是一个非常实用的功能，希望大家能够尝试并发现其他令人兴奋的功能。

去中心化应用程序（dapp）是在区块链网络上运行的应用程序。 dapp 于以太坊早期首次推出，与传统的 Web 应用程序不同，它们是去中心化的，这意味着它们不受任何单一实体的控制。这使得它们对审查、欺诈和其他类型的操纵具有很强的抵抗力。 Dapp 涵盖各种用例和行业，从CryptoKitties（一款用于收集和繁殖数字猫的基于区块链的游戏）到Uniswap（一种用于交易加密货币的去中心化交易所）。

应用程序与 dapp 架构

传统应用程序

传统应用程序由前端、后端和数据库组成：

• 前端，也称为客户端，负责用户界面和用户体验。前端通常使用 HTML、CSS 或 JavaScript 构建，并在 Web 浏览器或移动应用程序中呈现。

• 后端，也称为服务器端，负责处理逻辑、数据处理以及与数据库的通信。后端通常使用 Python、Java 或 Ruby 等编程语言构建，并使用 Ruby on Rails、Express.js 或 Django 等框架。

• 数据库是存储和检索数据（例如用户信息或应用程序内容）的系统。它可以是关系数据库，例如 MySQL 或 PostgreSQL，也可以是非关系数据库，例如 MongoDB 或 Cassandra。

所有这三层共同努力使应用程序正常运行。前端与用户交互，后端处理逻辑并与数据库通信，数据库存储和检索数据。

去中心化应用程序

Dapp 的想象有所不同。尽管 dapp 的前端与传统的 Web 应用程序类似，但 dapp 应该直接构建在区块链上，其逻辑由智能合约执行，而不是利用集中式服务器和数据库。

• 智能合约是一种自动执行的合约，协议条款直接写入代码行，充当 dapp 的后端——它负责逻辑和数据处理，并负责管理应用程序的状态区块链。

• 另一方面， 区块链充当数据库——它存储 dapp 的所有交易和数据。

dapp 真的是去中心化的吗？

或者，至少，这就是想法。事实上，智能合约和区块链还不够强大，无法满足现代应用程序的高吞吐量和复杂数据要求。相反，今天的 dapp 正在利用集中式后端和集中式数据库，就像传统的网络应用程序一样。

这意味着您最喜欢的去中心化应用程序并不是真正去中心化的。

为什么这很重要？集中式基础设施根本不适合与区块链集成。集中式后端和数据库由单一实体控制，因此会受到审查、数据泄露和其他形式的操纵。这破坏了去中心化应用程序的核心价值主张：创建一个无人控制数据和代码执行的去信任系统。

集中式后端和数据库也不透明且不可审计，这可能使用户难以验证存储的数据和执行的代码的完整性。任何一层的妥协都可能导致用户数据丢失，从而导致声誉受损和用户信任丧失。

新的 dapp 堆栈

Space and Time 正在为 dapp 开发人员引入一种新的解决方案：Web3 原生数据仓库，充当 dapp 的无服务器后端，并以真正去中心化的模型运行。 Space and Time在数据仓库内部开发了新颖的密码学（SQL证明），证明SQL操作是有效的，并且底层数据没有被篡改——允许智能合约直接运行查询。 Space and Time 还拥有内置 API 网关，允许直接在平台之上构建应用程序。

现在，作为 dapp 开发人员，您不再受到区块链的限制，也不必依赖集中式后端和集中式数据库。您所要做的就是构建一个前端并编写一个智能合约。空间和时间负责剩下的事情。

这为区块链技术开辟了大量强大的新用例和业务逻辑。 Dapp 有潜力为从金融到社交媒体的各种不同行业创建真正去中心化的开源平台。它们可以确保权力和资源的公平分配，并提高用户的安全性和隐私性。如果我们完全去中心化 dapp 堆栈，我们就可以改变我们与技术和互联网交互的方式。

原文链接；

在人工智能（AI）和数据驱动创新的时代，信息的准确性和可信性变得至关重要。可验证性，即检查数据有效性和真实性的能力，不再只是一个可有可无的功能。这是绝对必要的。展望未来十年及以后，可验证性的重要性只会继续增长。原因如下。

数据革命和人工智能：可验证性挑战

随着人工智能的出现，我们已经进入了决策日益自动化的阶段。人工智能算法从数据中学习，它们做出的决策取决于它们所输入的数据。如果输入数据有缺陷、有偏见或不完整，结果将反映出这些缺陷。

此外，随着人工智能系统变得更加复杂，其决策过程往往变得不那么透明，导致有时被称为“黑匣子”的人工智能。这种不透明性使得理解特定结果是如何达成的具有挑战性，凸显了对可验证数据和可解释人工智能模型的需求。

深度造假和错误信息的兴起

在数据泛滥的世界中，区分事实与虚构的能力变得至关重要。我们看到深度造假和错误信息活动的兴起，这些活动利用先进的人工智能技术来创建和传播难以区分真假的虚假信息。可验证性可以在应对这些威胁方面发挥至关重要的作用，有助于维护数字领域的真相和信任。

‍

解决方案：可验证的数据库

这就是空间和时间发挥作用的地方。作为一个可验证的数据库，时空确保数据不仅可靠、准确，而且可追溯、可审计。

空间和时间创建了一个分散的数据分类帐。通过这种方式，数据库提供了清晰的、不可更改的数据历史记录，确保了透明度和去信任性。

未来：人工智能时代的信任和透明度

随着我们的前进，对可验证数据的需求只会变得更加重要。随着人工智能和数据驱动决策的兴起，信任我们交互的信息的能力至关重要。像空间和时间这样的可验证数据库提供了一种在日益复杂的数字环境中确保信任、促进透明度和问责制的方法。

归根结底，可验证性不仅仅涉及数据完整性；还涉及数据完整性。这是为了建设一个我们可以自信地依赖人工智能系统的未来，因为我们知道它们的决策是基于准确、可靠的信息。这是为了创造一个在面对日益复杂的情况和潜在的错误信息时坚持真相和透明度的世界。这是为了确保当我们迈向未来时，我们对塑造世界的数据充满信心。

阅读原文：

https://www.spaceandtime.io/

第一步我们点击右上角的 Launch Studio进入我们的app页面

第二部使用钱包登录app

登录以后你也可以购买付费服务，但是我们可以免费体验，可以直接关闭它

然后我们在主页面的 Ask Any query中输入你想问的问题

在几秒钟后，你需要的答案就会显示出来

这是Space and time的基础功能，你可以尝试其他更多的功能，非常方便好用

How to Use Space and Time

To get started, visit https://app.spaceandtime.ai/ and click on "Sign In" in the top right corner.

You have the option to sign in using your linked wallet or through Microsoft or account number and password.

Once logged in, you can input your query in the "Ask any Query" section on the homepage.

For instance, let's search for "Aptos Transaction Count by Day Over the Last Week."

Hit enter, and the system will index the data for you. If the dataset is small, you'll have the required data within seconds. For larger datasets, it might take a bit longer, and the results will be displayed below.

The process is incredibly convenient, making data retrieval seamless.

Log in to sapce and time to experience

Introduction: Welcome to the technical guide that will empower you to master Web3 development using Space and Time (SxT). SxT is not just a platform; it's a revolutionary toolkit for building decentralized applications (DApps) with unparalleled ease. In this guide, we'll navigate through the key features and best practices to unleash the full potential of SxT.

Table of Contents:

1. Understanding the SxT Ecosystem:

   • Overview of the verifiable compute layer.

   • Introduction to the hybrid transactional/analytic processing (HTAP) data warehouse.

   • Indexed blockchain data and its significance.

2. Getting Started:

   • Setting up your development environment.

   • Deploying SxT on Google Cloud Marketplace.

3. Developing with SxT:

   • Exploring ZK developer tools.

   • Leveraging REST APIs for seamless data interaction.

   • Integrating SxT with Web3 oracles.

4. Advanced Data Analytics:

   • Optimizing queries with Proof of SQL.

   • Harnessing the power of the HTAP data warehouse for scalable analytics.

5. Decentralized Network Deployment:

   • Choosing between SxT network and private deployments.

   • Deploying on your Virtual Private Cloud (VPC).

6. Space and Time Studio:

   • Navigating the AI-powered frontend UI.

   • Real-world applications for app developers, business analysts, and data engineers.

Conclusion: Congratulations! You've just scratched the surface of what SxT has to offer in the Web3 development landscape. As you delve deeper into this guide, you'll find yourself equipped to build robust, decentralized applications that redefine the future of the internet.

Get ready to embark on a journey where innovation meets simplicity, and the possibilities of Web3 development are limitless with Space and Time.

https://www.spaceandtime.io/

作为一名密码学家，人们经常问我有关密码学的问题。有时，当问题确实很好时，它们会变成博客文章与世界其他地方分享。今天的问题是“什么是加密原语？” 但事实证明，这个太难了。相反，这篇文章将涵盖：

• 为什么这么难定义？

• 如此模糊的术语有何用处？

• 您能否提供一 (1) 个示例来说明如何在“空间和时间”中使用它？

它能有多难？

为什么很难？其他解释该术语的尝试列出了一堆原语。提供大量示例通常是好的，但除非您已经知道它们如何在更复杂的系统中使用，否则很难看出是什么让它们变得“原始”。维基百科采用自上而下的方法来定义它们：

加密原语是成熟的低级加密算法，经常用于构建计算机安全系统的加密协议。-加密原语 - 维基百科

所以现在问题已经成为焦点。加密原语是一种低级构建块，通常依赖于非常高级的“月球数学”。密码学家以某种方式解决了这个矛盾，然后这个术语就变得有用了。

我接触“加密原语”这个术语的次数越多，我对真正理解它的含义就越没有信心。是我个人这么认为，还是这个词没有通用的定义？或者这个术语是否具有我所缺少的上下文敏感性？- StackExchange 上最相关的帖子

打个比方

由于缺乏“加密原语”的真正定义，我将全力以赴地进行这个类比（所以我真的希望它能够实现）。

家具就像一个密码系统。“原始材料”是内六角扳手、销钉、L 型支架、木胶、金属支架、实木、胶合板、工程木材等。 - 引用我自己的强调

如果我必须对密码原语和密码系统（或家具和组件）之间的区别给出明确的答案，那么原语的设计并不是“内部”完成的。密码系统设计者对此不抱任何功劳。他们认为以一种新颖的方式将原语组合在一起以创建更复杂的系统。刨花板可能是别人设计的，但书架是家具公司设计的。同样，Space and Time 正在构建Proof of SQL™，但我们使用现有的库来构建多项式承诺等组件。

这并不是说创建加密原语不是一项创造性或困难的任务。恰恰相反。一个好的原语将在其开发人员无法预测的上下文中被反复使用。你知道，有点像螺丝刀（实际上需要大量的工程设计）。但是，一旦您获得了现代工程的奇迹，您就可以建造更宏伟的东西，例如电视柜。

与“工具”或“积木”相比，我更喜欢家具的比喻，因为它还让我们在概念上又进行了一次非常有用的跳跃。在解释加密协议时，对它们实际用途的解释常常与它们如何实现的方式纠缠在一起。实际上，它们是两个独立的轴，可以根据它们进行分组，但它们通常根据功能而不是结构进行分组。但是，根据原语对协议进行分类使我们能够做出广泛的陈述，例如“基于对称密钥原语的协议通常更快，并且似乎是后量子安全的”，而无需指定我们是在谈论加密、多方计算还是密码学有担保的投票计划。这有点像说“平板包装家具运输成本更便宜，但不太坚固”，但没有具体说明您是在谈论桌子还是椅子。

数据结构🤝 算法

关于研究报告的结构，有一个笑话是这样的：“第一部分是给所有人的，第二部分是给专家的，最后一部分是给演讲者的。” 我们已经进入了第二部分。如果您以前编写过程序，那么它会更有意义。

富有表现力的编程语言或查询语言将具有数据类型。因此，为了证明有关这些程序的任何内容，我们需要一种方法来在我们的证明系统中表示这些数据类型。正如我在之前的博客文章中提到的，这意味着我们将其转化为数学。

我们需要什么样的数据类型？嗯，大多数都可以分解为标量类型，这是一种牢不可破的原子（例如，布尔值、整数类型，可能是字符，具体取决于语言）和复合类型（如元组和数组），它们是构建起来的来自更简单的类型。处理标量数据类型相当简单；我们只是将它们编码为数字。1

与标量数据类型相比，复合数据类型是一种在某些地方有东西的东西。关于复合数据类型的问题是您想要查看它们的内部。我们将重点关注一个非常简单的、类似列表的一维数组示例。如果你有一个名为 `𝙲𝚞𝚜𝚝𝚘𝚖𝚎𝚛𝚜` 的数组，那么你想要用它做的最基本的事情就是对其进行索引。您调用“𝙲𝚞𝚜𝚝𝚘𝚖𝚎𝚛𝚜[𝚒]`，您将获得列表中的第 i个客户（当然是零索引）。

我们可以通过插值多项式来做到这一点。基本上，对于任何数组 `𝙰`，我们可以构造一个多项式ã(x)，这样将x代入i就可以得到条目 `𝙰[𝚒]`。2

交互式证明皇冠上的宝石/您一生中见过的最糟糕的 for 循环

数据结构和算法经常一起教授，因为它们协同工作。当有有效的算法来处理数据结构时，它们会更有用。我们刚刚描述了一种以我们的证明语言可以推理的方式表示通用复合数据类型的方法。但我们注意到，要查看数组中的一个特定位置，需要计算多项式，而这似乎不可扩展。我们可以使用什么样的算法呢？

答案是Lund、Fortnow、Karloff 和 Nisan 的和校验协议。自 20 世纪 90 年代以来，它一直是交互式证明的主要内容。这可能看起来有点做作，但它所做的是让证明者说服验证者超立方体 H 上的多变量多项式g的总和 = {0, 1} m（这都是由 0 和 1 组成的有序m元组） ）是，无论该值是什么。我们称之为y。

在我们尝试澄清一些技术定义之前，让我们先了解它的实际用途。第一步是检查动漫猫数学推特以获得一些见解。

（另外，请注意：sum-check 中的总和超过零和一，但如果我们将其读取为二进制，则范围只是 0 到 2 m -1。）因此，结合我们在数据结构速成课程中学到的知识对于证明系统和这条有用的推文，我们得到总和检查为我们提供了一种可证明地迭代数组的方法，但它在迭代过程中我们可以做的事情非常有限。因此，我们设计 Proof-of-SQL™️ 的任务是将其他更复杂的运算转化为求和。

这就是为什么和检查协议的定义令人困惑、做作且有点倒退的原因。当尝试应用该协议时，您不会问“我关心什么多项式？” 或者“这里的超立方体有什么特别之处？”。真正的技术挑战是选择或构造多项式以使该求和有意义。经过注释，sum-check 证明的语句看起来更像是这样：

例子

以下是如何使用它的一个示例。许多（所有？）语言都有映射功能，您可以在其中获取类似列表的东西（或其中几个）和一个函数，然后映射会将该函数应用于列表的每个元素并返回结果列表。

如果该函数（称为f）是一个多项式，并且多元多项式*a(x 1 , x 2 , … x m )表示一个数组，则组合f(a(x 1 , x 2 , … x m ))*也是一个多项式。事实上，将一个点代入该多项式就可以得到该点的地图结果！

由于我们还可以将结果数组表示为多项式，因此证明者可以运行求和检查来说服验证者他们计算出正确的结果。如果我们设置正确，只有当*r(x 1 , x 2 , … x m )实际上是将映射应用于a(x 1 , x 2 , … x m )*的结果时，我们才能使多项式为零。那么总和应该加上一堆零，整个结果就是零。

（好吧，对于一些随机权重和其他东西需要多加注意，但我保证，这几乎是我们在 SQL™ 证明中实际使用的东西。）

概括

感谢您阅读本文。这非常深入地探讨了细节，所以我想缩小范围并涵盖主要内容。希望读完本文后，您可以参加下一次区块链/加密货币会议，并与密码学研究人员进行闲聊。您可以说，“嘿，您听说过 Space and Time 的 SQL™ 证明吗？它就像 SNARK，但它们的主要加密原语是和检查。” 密码学家会说：“哦，这很聪明。这样证明者就可以避免进行 FFT。” 然后你会抬起头，微笑，并交换一个会意的眼神，就像两个木匠欣赏做得很好的燕尾榫接头（并且知道一旦木胶干燥，它甚至不需要钉子或螺丝）。您会意识到，了解加密原语的超级技术和精确定义并不重要。重要的是知道你交了一个朋友。

‍

脚注

[1] 具体来说，一切都会变成 𝔽 p的元素，这是一种奇特的说法，表示一切都是整数 mod p，其中p是素数。

[2] 这促使我们选择继续研究 𝔽 p。通过选择p为素数，我们得到了一个非常有用的属性，这正是我们从实数中所期望的：除了零之外的所有值都有乘法逆元。这最终会产生深远的影响，例如 𝔽 p上插值多项式的存在。不幸的是，大多数关于多项式插值的可用文献（这里有一个资源）都涉及实数或有时是复数，但由于注意到了很好的属性（用数学术语来说，𝔽 p是一个域），很多理论都经过了必要的修改。经必要修改。

查看原文链接：

https://www.spaceandtime.io/blog/cryptographic-primitives-mostly-sum-check

Welcome to the Space and Time (SxT) decentralized application (DApp). This user-friendly guide is crafted to usher you through the immersive world of SxT, ensuring a smooth and rewarding experience as you explore its innovative features. Whether you're a seasoned developer or a newcomer to Web3, this guide will empower you to leverage SxT's capabilities for your specific needs.

Table of Contents:

1. Getting Started:

   • An introduction to SxT and how it fits into the Web3 landscape. Guidance on accessing the DApp via your preferred platform.

2. User Interface Tour:

   • A comprehensive walkthrough of the SxT DApp interface. Understanding key elements and navigation to facilitate efficient use.

3. Creating an Account:

   • Step-by-step instructions on how to create an account within the SxT DApp. Ensuring a secure and personalized experience.

4. Deploying SxT on Google Cloud:

   • Guidance for developers on deploying SxT on Google Cloud Marketplace. Seamless integration for enhanced development environments.

5. Utilizing the Hybrid Data Warehouse:

   • Exploring the core functionality of SxT—the Hybrid Transactional/Analytic (HTAP) data warehouse. Performing low-latency transactions and scalable analytics.

6. Space and Time Studio:

   • A deep dive into SxT Studio, the AI-powered frontend UI. Learn how to publish tamperproof query results, power real-time analytics, and generate automatic pipelines.

7. Indexed Blockchain Data Integration:

   • How to index major blockchains with SxT and join offchain datasets. Creating a unified data landscape for insightful analytics.

8. REST APIs and Streaming:

   • Harnessing the power of SxT's REST APIs for data-driven applications. Integrating streaming capabilities through built-in Kafka instances.

9. Verification with Proof of SQL:

   • A guide on using Proof of SQL to verify queries within the SxT data warehouse. Ensure the integrity of your data-driven processes.

10. Deployment Options:

    • Exploring deployment choices, whether on the Space and Time network or within private Virtual Private Clouds (VPCs).

Conclusion:

This guide is your companion in navigating the Space and Time DApp. As you embark on your journey, feel confident in exploring the rich features and tools that SxT offers. Whether you're developing decentralized applications or conducting data analytics, SxT is designed to elevate your experience in the Web3 universe. Happy exploring! 🌐🚀

Space and Time 很高兴地宣布推出一种新的定价模式，让您只需为运行的查询付费。除了已经提供的计算订阅模型之外，按计算付费的引入将使开发人员、分析师和 Web3 爱好者能够更灵活地在 Space and Time 上构建应用程序和仪表板。按计算付费现已推出测试版。

新模型将使开发人员能够更轻松、更经济地在 Web3 中进行构建。

您今天就可以使用钱包登录Space and Time Studio开始使用。无需电子邮件注册。

它是什么以及我们为何构建它

Web3 中的数据层高度分散，如今开发人员正在付费购买和组装用于索引、存储、OLTP、OLAP、API、流和 ZK 计算的单独工具。Space and Time 将一整套开发人员工具打包在一个分散的部署中。与几乎所有其他数据库解决方案不同的是，当您使用空间和时间时，您所支付的只是计算费用。

自 4 月份 Space and Time 推出测试版以来，开发人员已经能够通过订阅 Azure 市场上的计算来访问数据仓库。基于订阅的定价非常适合具有大量计算需求并希望以固定费率访问所有空间和时间服务的项目。我们的定价结构生态系统令人兴奋不已，因为价格比流行的云数据仓库低 50%。

但 Space and Time 不仅是为具有大量计算需求的大型项目而构建的……它也是为首次智能合约开发人员、入门级数据分析师和休闲 Web3 爱好者而构建的。空间和时间是为社区而建的。我们引入了按计算付费，以便您可以根据需要灵活地构建 dapp 和仪表板。您不必担心固定订阅的承诺或利用不足；您可以立即开始，无需任何开销。

怎么运行的

从今天开始，任何人都可以前往 Space and Time Studio（无需电子邮件注册）并开始运行查询、构建仪表板等，而无需计算订阅。只需导航到Studio，只需点击几下即可使用您的钱包登录。

Access 每月提供 30 次免费查询。除此之外，系统会提示您选择订阅类型。选择“基于使用情况”选项并连接您的付款方式。

我会被收取什么费用？

无论您选择哪种定价模型，您只需支付计算费用。存储、索引区块链数据、Space and Time Studio、API 网关等始终包含在内。当您选择按计算付费时，您只需为成功执行的查询付费。计算成本是使用类似 Gas 的模型计算的，其中每个空间和时间单位 (STU) 的成本为 1 美元。

STU 是如何计算的？

每个查询的 STU 成本是使用类似于 Gas 的模型根据执行查询所需的计算量来计算的。如今，每个 STU 的价格为 1 美元。请记住，按计算付费仍处于测试阶段，该数字可能会随着时间的推移而变化。您可以随时查看时空工作室以获取最新价格。

每个 STU 可以运行多少个查询？

每个 STU 可以运行的查询数量取决于每个查询使用的计算量。例如，小型查找查询比大型分析查询使用更少的计算。

当我输入付款方式时，我会立即被扣款吗？

您不会立即被收取费用。每月 5 日，您的付款方式将仅针对成功完成的查询请求收取费用。

它能实现什么

社区仪表板

Space and Time 预加载了来自主要链的索引数据，因此您可以立即开始使用区块链数据构建仪表板。跟踪不同 DeFi 协议的代币流动性、交易量和收益耕种统计数据，可视化最热门的 NFT 集合，或检查交易速度、区块大小和验证时间。

灵活的 dapp 开发

按计算付费不仅适用于 Studio 用户，您还可以通过我们的 REST API 访问它。直接在空间和时间上构建数据驱动的 dapp，具有完全的灵活性。更快地进行原型设计、随时随地进行迭代，并在准备就绪时进行部署。

成本效率和可扩展性

根据项目要求进行扩展或缩小从未如此简单。无论您是刚入门的独立开发人员，还是构建下一个大型平台的经验丰富的企业，按计算付费模型都能确保您获得最佳价值。只需为您使用的内容付费。

‍

我们很高兴能够通过这种新的灵活定价模型向所有开发者、生态系统合作伙伴和社区成员开放 Space and Time Studio，我们迫不及待地想看看您在 Space and Time 上构建的内容。

link:

https://www.spaceandtime.io/blog/pay-per-compute