Tezos通过Wolfram Blockchain Labs集成获得了新的先知

Wolfram Blockchain Labs是流行的计算引擎提供商Wolfram Alpha的以加密货币为中心的部门，正在其平台上增加对Tezos（XTZ）的支持，提供与Tezos区块链的双向接口。

周一宣布，该集成在Wolfram语言中增加了对Tezos区块链数据的支持，这使开发人员可以从区块链获取分析数据。 该语言专门用于分析智能合约活动的高级统计查询，而集成的主要目的是简化在Tezos上智能合约的部署。

此外，Wolfram区块链还为Tezos开发了一个Oracle，它将为其智能合约提供Wolfram Alpha提供的数据。 数据还包括资产定价，这是当今Oracle的主要用例之一。 这将使Wolfram成为继Tezos本地解决方案Chainlink和Harbinger之后的第三个网络上的oracle提供程序。

Wolfram区块链与Tezos的生态系统开发公司之一TQ Tezos合作进行了集成。 该公司表示，甲骨文合同已通过Nomadic Labs开发的Mi-Cho-Coq框架进行了正式验证。 形式验证可以创建数学证明，以确保某个程序的行为正确。 Tezos专门致力于简化此过程，并与Wolfram Blockchain支持的另一个项目Cardano分享了重点。

最近，Tezos采取了许多旨在吸引智能合约开发商和分散式金融项目的举措。 11月，网络升级将交易费用降低了75％。

Wolfram集成为智能合约开发人员的工具包添加了重要组件，从而简化了智能合约的分析。 尽管如此，集成仍处于早期阶段，并且具有一组相对基本的功能。 Wolfram区块链首席执行官Jon Woodard表示：

“我们计划在Tezos生态系统的几个关键领域扩展这些功能：分析，计算事实传递和区块链教育信息。”

Wolfram Blockchain Labs也正在探索成为Tezos Baker（涉众的术语）的可能性。 区块链是锁定权益中最大的资本之一。

—-

原文链接：https://cointelegraph.com/news/tezos-gets-new-oracle-through-wolfram-blockchain-labs-integration

原文作者：Cointelegraph By Andrey Shevchenko

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。