Space and Time 为智能合约提供了一种查询语言。

上周，Space and Time 宣布了我们的分布式数据仓库和 DApp 开发者平台的 beta 版发布。与一支世界一流的团队合作，将我们的产品从构思到发布是一项令人兴奋的实验。我们创建 Space and Time 是因为我们相信，在大规模采用区块链技术时，该技术有潜力改变世界每个行业。但是我们也认识到那个潜力中的一个重要缺口：缺乏可扩展性、互操作性和企业兼容的基础设施。

这个问题在你考虑当前智能合约的状态时尤其明显。智能合约只是编写了包含交易的一条数据并将其写入区块链的代码业务逻辑。它们允许以无信任方式自动化商业过程。但是今天，智能合约只有少数存储和计算能力，因此远远不足以作为大规模商业自动化工具使用。如果我们希望看到智能合约被财富 500 强企业采用，我们必须找到让它们更智能的方法。

区块链存储的问题

区块链是一种不可篡改的账本，基本上就像一个大型的嵌套 JSON 表格。账本被复制数千次 (或在分散度较低L1 的情况下复制数十或上百次)，以确保它是不可篡改的。我认为，区块链的发明创造了第一个不可篡改的数据库。

问题是，它只是一张表格的数据库。即使在分散度较低的 L1链上，或像 Sui 这样的链，采用了非常高效的数据存储方法，也无法存储数百 GB(甚至数千 GB) 的数据。由于账本在网络中被复制数十到数千次，在链上存储大型企业规模的数据是完全不可接受的。现代商业应用已经处于 TB 级别，正在快速迈向 PB 级别。

智能合约和gas计算

就像部署它们的区块链一样，今天的智能合约效率低下。就像您的数据一样，您的智能合约在网络中被复制，这意味着每次运行时，计算都会被处理数千次。当你在以太坊上部署智能合约时，你不仅要为存储 gas 付费，还要为计算 gas 付费。为了真正高效，智能合约需要一种在链下运行计算的方法。

去中心化的预言机网络

去中心化的预言机网络，如 Chainlink，通过设计一种以防篡改方式将链下数据写入链中的方式，彻底改变了区块链的数据。借助 Chainlink，开发人员可以在链下数据库（如 PostgreSQL 或 MongoDB）中聚合数据，甚至可以在链下数据仓库（如 Snowflake 或 Spark）中运行可扩展分析，并将结果直接连接回他们的智能合约. 这允许合约执行更复杂的业务逻辑。

虽然区块链和去中心化的预言机网络不可篡改，但中心化的数据库却可以，有效地打破了区块链的零信任模型。如果一家公司正在为链上智能合约构建索引，但他们正在将数据汇总到一个中央数据库中，那么该公司的一名员工就可以操纵源数据并影响写入其他公司智能合约的结果，这可能是对于参与由此产生的交易的任何人来说，这完全是灾难性的。智能合约不仅需要访问去中心化的预言机网络来合并链下数据，它们还需要一种方法来验证通过预言机网络发送的数据在源头上没有被篡改。

Zk证明

Zk-proofs 提供了一种以加密方式保证链下计算并减少存储在区块链上的数据量的方法。下一代 zk-rollups，如 zkSync Era 或 Polygon zkEVM，将每几千笔交易汇总到以太坊，本质上，向以太坊支付费用以处理审查阻力并确保数据永远不会丢失。

但是可证明的数据已经不够了，Web3 正在朝着可证明计算的要求发展。如果您正在运行衍生品计算来计算美国通货膨胀的波动性以启用链上预测市场，您如何知道计算是否正确？通过预言机网络将经过 zk 证明的数据发送到链上是一回事，但对于像衍生品计算这样的复杂用例，您还需要一种方法来保证在数据之上进行任意计算。

Space and Time解决方案

Space and Time 是第一个以分散部署模型运行的防篡改混合数据库和数据仓库。SQL 证明是我们为保证 SQL 操作而开发的新颖的 zk 证明，允许开发人员在时空数据仓库中运行查询并将结果汇​​总到他们选择的链上的智能合约。Space and Time 中的数据存储始终是免费的，而且当您为计算付费时，它比为区块链 gas 付费更便宜，即使在像 Polygon 这样更实惠的 L2 上也是如此。

Space and Time 的目的不是要取代 L1 区块链，而是要增强它们。L1s 提供抗审查层；空间和时间使您能够决定实际需要存储在该层中的内容。您的游戏不需要在链上存储游戏内遥测数据，只需存储最终得分。零售商不需要在链上存储你所有的浏览历史，只需要你的最终购买。银行不需要在链上存储每一个期权计算，只需要存储某人进行交易时的价格。所有额外数据都可以存储在空间和时间中，并在准备好结果时直接从您的智能合约中查询。

SQL 证明是一种新颖的 zk-SNARK，它以加密方式证明在空间和时间中运行的每个 SQL 操作都是准确完成的，并且查询和底层数据都是可验证的防篡改。我们正在为智能合约提供一种查询语言，以询问有关加密保证的链下数据、我们自动索引的自己链上的数据，甚至其他链上的数据的问题。Space and Time 还提供了一种防篡改 Python 服务，以实现超出 SQL 所能完成的可验证计算。

跨链消息传递是不够的，简单地将链下数据连接到链上也是不够的。如今，从另一条链向您的智能合约写入数据并不是真正的去信任，从链下来源写入数据当然也不是。开发人员需要能够聚合实时和历史数据，对其进行任意计算，并以可验证的方式将结果连接回他们的智能合约……一种无需信任的方式。这就是空间和时间的用武之地。

从本质上讲，我们通过让智能合约访问可验证的链下计算来让它们变得更智能。借助 Space and Time，您的智能合约拥有高效的存储解决方案，可以处理数 TB 的粒度数据，并使用新颖的 zk 技术保护结果。您不再需要支付昂贵的汽油费来确保链上计算的安全。在空间和时间中运行复杂的 SQL 操作，您的智能合约可以在需要时访问这些操作。当智能合约以合理的价格（具有极高的性能和数据量支持）无需信任地访问大量链上和链下数据时，它们开辟了一组全新的用例，这在 Web3 中以前是不可能的。

空间和时间的智能合约用例

基础设施

您可以使用 Space and Time 构建其他基础设施，例如 Web3 身份验证、防篡改链下计算、分析、AI/ML、物联网、订单簿和其他真实世界数据。Space and Time 是您的低延迟 OLTP 和 PB 级 OLAP 数据库。我们使用内置的 Kafka 实例和数据湖上的分散式 SQL 查询来处理极高的流处理量。

安全

Space and Time 可以将 KYC 数据或 OFAC 合规列表等合规数据连接到您的智能合约，以确保您只促进安全合规的交易。您的智能合约可以查询空间和时间以在执行交易之前获取最新数据，例如钱包的风险评分。

社交媒体

您可以在 Space and Time 中针对您的社交媒体平台中的活动运行分析，并将结果连接到您的智能合约以支付链上的内容创建者。聚合和分析数 TB 的社交媒体数据，并仅将最重要的信息发送到您的智能合约。

DeFi/借贷

DeFi 协议的智能合约如何提出这样的问题：“显示所有在流动资金池 XYZ 中进行过交易且余额大于 1,000 美元的钱包？” Space and Time 允许智能合约询问有关链上活动的复杂问题，并将真实世界的数据与链上交易相结合，以启用新的链上金融工具。借助 Space and Time，您可以将真实世界的信用评分与链上交易相结合，为去中心化借贷平台创建新的 Web3 信用评分。

期权交易

Space and Time 让您可以使用实时价格信息运行复杂的交易模型，并向您的智能合约发送实时结果，通过 SQL 证明以加密方式保证其准确性。

传统金融的市场预测

如果您想在链上押注美元通货膨胀或房地产价格，您可以将所需的所有链下遥测数据聚合到空间和时间中的单个索引中，并直接从智能合约运行防篡改查询以告知您的赌注链上。

中心化金融

我们正在进一步采取储量证明。Space and Time 可让您为 CEX 创建完全自动化和透明的交换流程。您可以将匿名客户存款数据发送到智能合约以自动执行托管购买。不要只是证明你在做正确的事。建立一个你不能做错事的系统。 

数字资产托管

不要让自我托管成为采用您的游戏、交易所或银行的障碍。您可以在防篡改数据库 Space and Time 中保管用户的数字资产。然后，您的智能合约可以查询 Space 和 Time，以便在他们准备好保管时将他们的资产铸造给他们。

游戏

您的 Web3 游戏智能合约需要访问所有与玩家在链上获得奖励的方式和原因相关的元数据。您的游戏服务器可以流式传输实时游戏数据并在空间和时间中对其进行保护。然后在需要时，您的智能合约可以提出诸如“在最后一分钟，谁赢了，比分是多少？”之类的问题。为了适当地在链上奖励获胜者。

保险

如果你想促进链上参数保险，你需要链下数据。例如，如果您要为佛罗里达州的飓风破坏投保，您需要来自天气 API 的数据以了解是否发生了飓风。但你不能仅每小时查询一次这些 API，返回有关佛罗里达州当前天气的数 GB 数据，然后将其放在链上。相反，您可以将它存储在空间和时间中，并让您的智能合约在需要时查询它。存储数 TB 的原始颗粒数据，然后将其聚合为高级信息以放在链上。

结算系统和第三方审计

银行、CeFi 交易所和金融机构需要与审计人员以及彼此之间共享私人的、敏感的第三方信息。这些机构可以将该数据写入时空作为防篡改、不可变的分类账，并通过加密保证数据未被操纵，将访问权限委托给第三方。

忠诚度计划

如果信用卡公司或航空公司想要将忠诚度奖励放在链上，以允许他们的客户用忠诚度积分兑换加密货币或 NFT，他们需要一种方法将忠诚度数据与客户钱包的信息结合起来。Space and Time 允许他们将他们的忠诚度系统数据从中央数据库加载到我们的平台，以熟悉的 SQL 格式将其与链上数据结合起来。

现实资产代币化

如果您想将现实世界的资产（如门票、股票或房地产）放在链上，您需要某种方式将所有相关元数据连接到区块链——不仅是实时数据，还有数 TB 的历史数据. 你不能直接存储在链上，但是你可以将它存储在空间和时间中，并聚合最重要的信息发布在链上。智能合约可以在交易执行期间直接查询所有这些元数据，以便及时获得该时刻的准确数据点。

原文：