前些天看到报道说Space and Time获得微软M12基金的投资（2022年领投2000万美元，2024年参与2000万美元A轮），那么，为什么微软M12基金会投资Space and Time？如何简单理解Space and Time这个项目？它到底是做什么的？在加密领域存在的意义是什么？为了简写，下面将Space and Time（@SpaceandTimeDB ）简称为SXT链。 1.SXT链想要解决什么问题？ SXT链主要聚焦于智能合约发展受限的重要问题之一：如何解除智能合约数据处理方面的限制。那么，这些限制主要体现在哪些方面？ 一是数据访问方面的限制。目前智能合约大多只能访问钱包余额、当前交易数据、内部状态等。而关于跨链数据、链下数据以及历史数据等，往往需要依赖外部系统；二是缺乏原生查询引擎，无法处理复杂数据查询，限制了dApp的使用场景；三是，当前ZK方案还存在局限，比如需要专用语言或硬件支持，在大规模数据集上速度慢；最后是解决方案不够去中心化，目前的预言机方案大多引入了信任假设，还算不上去中心化。 也就是说，目前这些限制，不利于dApp扩大到更多的使用场景，SXT链目的在于通过解决这些数据处理方面的限制，推动dApp应用的更大发展。 2.SXT链如何解决这些数据处理受限的问题 要解决上述的几个问题，必须满足几个方面，支持复杂数据查询、查询结果的正确和完整、查询速度足够快、去中心化等。为此，SXT链提出了其核心解决方案：Proof of SQL。 在理解Proof of SQL协议之前，可以先来看看SXT链的架构，它是一个去中心化的网络，节点有如下几种角色：索引节点、证明节点、验证者。 *索引节点（Indexer），主要负责从主流区块链（比如以太坊等）提取区块数据，包括交易、余额状态、合约事件日志等，这些会被转化为SQL兼容格式，并执行提取、转换以及加载等操作。这些转换后的数据会被作为插入交易提交到SXT链，存储到防篡改表中。需质押资产，根据查询数据正确及完整性与否来获得奖励或遭受惩罚。 *证明节点（Prover），主要负责处理来自客户端（如智能合约）的ZK验证SQL查询请求，生产证明来验证查询计算的正确性以及数据的完整性。这里最重要的一点不仅是证明本身，更是性能，没有性能，就不存在可扩展性。SXT链采用了GPU加速，支持亚秒级生成证明，假如真能实现，会比现有zkVM快一个数量级。 *验证者（Validator），主要负责维护网络完整性，更新链上加密承诺，保证防篡改表能反映最新数据状态。它主要通过BFT（拜占庭容错）共识机制来对新承诺进行阀值签名，是实现去中心化的安全验证。 大概的流程是，客户端（智能合约）向SXT链验证者合约发送查询请求并支付，进而启动查询、证明生成等；证明节点会监听链上事件，并执行Proof of SQL，最终生成ZK证明及查询结果。验证者会验证证明，并将结果返回给客户端（智能合约）。 从上述可以看出，这些的核心是基于去中心化的查询可验证性。这就是SXT链推出Proof of SQL协议的核心原因。 SXT链的Proof of SQL协议 Proof of SQL是一种ZK协议，支持对SQL查询的可验证性，它在链下执行，主要步骤包括数据消化、查询请求、证明等。 其中，数据消化主要是：dAPP或智能合约等数据源将数据发送给验证者，生成加密承诺，验证者存储承诺，数据路由并存储到数据库）。 查询请求主要是：发送到证明节点、证明节点解析查询、计算结果并生成ZK证明、验证者使用承诺验证证明和结果的正确性）。 证明部分：将SQL查询解析为抽象语法树、生成ZK电路，执行查询并构建证明、使用多线性求和检查协议生成证明、通过承诺方案验证数据列。 其关键子协议包括平等协议（Equality Protocol）和分组协议（Group by Protocol），前者通过见证列证明结果正确性；后者处理聚合查询，使用随机挑战确保见证列不可篡改。 从SXT链的整体技术方案来看，它由几个方面可以关注：一是链上验证，通过ZK证明实现EVM内验证，基本兼容当前主要的区块链；二是，生成证明的速度，这是落地的关键环节之一，它支持100GB级别查询，以及亚秒级响应，；三是，数据的全面覆盖，存储了完整数据源，包括交易、区块、日志、时间等，也支持跨链查询。四是，SQL查询方面的优化，优化电路设计，专注SQL操作，以实现高效ZK电路，降低计算开销，此外，还将区块链数据分解为关系表（钱包、区块、交易等），以适配SQL查询。五是，使用ZK证明可以实现无须信任，减少对许可节点依赖，提高可扩展性。最后，目前Proof of SQL已在GitHub上线，同时已经集成到Google BigQuery，感兴趣的小伙伴可以自行去关注。 这些技术方案正是应对解决开头所说的数据查询方面的各种限制和不足。另外，如果跟做索引的The Graph和做预言机的Chainlink比较，SXT链主打SQL查询和ZK验证的去中心化数据库方面。 3.解锁更多使用场景 SXT链的方案最重要的不是解决了数据处理的局限，而是它是否可以解锁更多使用场景。通过它，可以支持更多应用场景。