智能合约的可验证链下计算

metaman
2024-01-14 03:03
发布于 Mirror

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

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

区块链存储的问题

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

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

智能合约和计算气体

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

去中心化预言机网络

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

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

Zk 证明

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 中是不可能的。

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

基础设施

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

安全

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

社交媒体

您可以对时空社交媒体平台中的活动进行分析,并将结果连接到您的智能合约,以向链上内容创建者付款。聚合和分析数 TB 的社交媒体数据,并仅将最重要的信息发送到您的智能合约。

去中心化金融/借贷

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

期权交易

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

TradFi 预测市场

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

光纤网络

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

托管数字资产

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

赌博

您的 Web3 游戏智能合约需要访问与玩家应如何以及为何在链上获得奖励相关的所有元数据。您的游戏服务器可以传输实时游戏数据并在空间和时间中保护其安全。然后,在需要时,您的智能合约可以提出诸如“最后一分钟,谁赢了,得分是多少?”之类的问题。为了给获胜者适当地在链上铸造奖励。

保险

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

结算系统和第三方审核

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

忠诚度计划

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

现实世界资产的代币化

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

0
粉丝
0
获赞
23
精选
数据来源区块链,不构成投资建议!
网站只展示作者的精选文章
2022 Tagge. With ❤️ from Lambda