智能合约 101
智能合约是建立在区块链之上的一组自执行指令，可自动执行和执行各方之间的协议条款。智能合约是各种应用和行业中越来越受欢迎的工具，包括供应链管理、房地产所有权转让、保险理赔处理、金融衍生品交易等。一旦部署了智能合约，就无法更改或修改，确保协议条款按照书面规定执行。
智能合约的用例
供应链管理
智能合约可用于在货物通过供应链时自动跟踪和验证货物。例如，公司可以使用智能合约来验证货物是否已在特定地点收到，或者在货物收到并检查后自动向供应商付款。
房地产
一旦卖方完成约定的付款，智能合约可用于自动转移财产所有权。
保险理赔
智能合约可用于自动处理保险索赔。例如，智能合约可用于自动验证索赔的有效性、计算支付金额并将资金发放给保单持有人。
金融衍生品
智能合约可用于自动化金融衍生品交易，例如期权和期货。例如，智能合约可用于在满足特定条件（例如标的资产价格达到特定水平）时自动执行交易。
智能合约的局限性
但智能合约存在一个主要问题：它们可以访问的链上数据极其有限，因此它们可以提出的问题类型和可以编程到其中的逻辑也非常有限。这意味着即使是关于链上信息的基本查询，例如“向我展示这个钱包的购买历史记录”，也无法通过智能合约执行，更不用说生成洞察力的更复杂的分析查询了。
要将这些见解连接到智能合约，您必须在链下数据仓库中运行查询。但是今天的数据仓库都是集中的和可篡改的，如果智能合约需要您信任用于编写它的数据，那么它并不是真正的无信任。
去中心化数据仓库
这一切都随着去中心化数据仓库而改变，这就是 Space and Time 的用武之地。Space and Time 允许您针对链上和链下数据运行任何查询工作负载，并将结果连接回具有加密保证的智能合约。您甚至可以在单个查询中连接链上和链下数据。
SQL™ 证明是一种新颖的加密协议，可证明在空间和时间中运行的查询是准确的，并且底层数据未被篡改。这意味着您不必相信您的智能合约正在获取正确的数据——它有密码保证。
有了 Space and Time，智能合约变得更加强大。它们从无法执行基本业务逻辑到能够运行整个基于区块链的社交媒体。Space and Time 让智能合约变得更智能，它也可以解决您的用例。
英文原文链接：https://www.spaceandtime.io/blog/the-problem-with-smart-contracts
