上周，时空宣布了我们的去中心化数据仓库和 dapp 开发者平台的测试版。与世界一流的团队合作，将我们的产品从设计到推出，这是一次激动人心的实验。我们创建了 Space and Time，因为我们相信，当大规模采用时，区块链技术有潜力改变世界上每个行业。但我们也认识到这一潜力的一个关键差距：缺乏可扩展、可互操作、企业兼容的基础设施。

当你考虑智能合约的当前状态时，这个问题就变得更加明显。智能合约只是用代码编写的业务逻辑，将一行数据写入包含交易的区块链，允许业务流程以无需信任的方式实现自动化。但如今，智能合约只能访问很少的存储和计算，因此其功能过于有限，无法用作大规模业务自动化的工具。如果我们希望看到财富 500 强企业采用智能合约，我们就必须找到一种方法让它们变得更加智能。

区块链是一个不可变的分类账，其功能本质上就像一个巨大的嵌套 JSON 表。账本被复制数千次（或者在去中心化程度较低的 L1 的情况下复制数十或数百次）以确保其防篡改。我认为，区块链的发明创造了第一个防篡改数据库。

问题是它只是一个只有一张表的数据库。即使在去中心化程度较低的链上，或者像 Sui 这样采用非常有效的数据存储方法的链上，也没有足够的存储空间来存储 TB（甚至 GB）的数据。由于账本在网络上被复制数十到数千次，因此在链上存储企业规模的数据量是完全站不住脚的。现代商业应用程序已经达到 TB 级规模，并且正在快速向 PB 级规模加速。

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

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

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

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

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

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

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

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

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

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

上周，时空宣布了我们的去中心化数据仓库和 dapp 开发者平台的测试版。与世界一流的团队合作，将我们的产品从设计到推出，这是一次激动人心的实验。我们创建了 Space and Time，因为我们相信，当大规模采用时，区块链技术有潜力改变世界上每个行业。但我们也认识到这一潜力的一个关键差距：缺乏可扩展、可互操作、企业兼容的基础设施。

当你考虑智能合约的当前状态时，这个问题就变得更加明显。智能合约只是用代码编写的业务逻辑，将一行数据写入包含交易的区块链，允许业务流程以无需信任的方式实现自动化。但如今，智能合约只能访问很少的存储和计算，因此其功能过于有限，无法用作大规模业务自动化的工具。如果我们希望看到财富 500 强企业采用智能合约，我们就必须找到一种方法让它们变得更加智能。

区块链是一个不可变的分类账，其功能本质上就像一个巨大的嵌套 JSON 表。账本被复制数千次（或者在去中心化程度较低的 L1 的情况下复制数十或数百次）以确保其防篡改。我认为，区块链的发明创造了第一个防篡改数据库。

问题是它只是一个只有一张表的数据库。即使在去中心化程度较低的链上，或者像 Sui 这样采用非常有效的数据存储方法的链上，也没有足够的存储空间来存储 TB（甚至 GB）的数据。由于账本在网络上被复制数十到数千次，因此在链上存储企业规模的数据量是完全站不住脚的。现代商业应用程序已经达到 TB 级规模，并且正在快速向 PB 级规模加速。

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

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

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

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

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

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

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

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

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

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