Tezos完成Wolfram区块链实验室整合，建立双向区块链接口

据报道，Wolfram Blockchain Labs是计算引擎提供商Wolfram Alpha的以加密为重点的分支。该公司已经发布了Tezos的便利功能，提供了与区块链的双向接口。

具体来说，据报道，该集成将为Wolfram语言中的Tezos区块链数据提供支持功能，从而使工程师能够从区块链中保护分析数据。

据报道，该语言专注于高级统计查询，该查询可对智能合约活动进行分析，并且集成的主要目标是简化基于Tezos的智能合约的部署。

此外，据报道，Wolfram Blockchain还为Tezos设计了一个Oracle，它将为其智能合约配备从Wolfram Alpha中提取的数据。

数据进一步涵盖了资产的定价-目前是Oracle的主要用例之一。 这将使Wolfram成为Tezos本地解决方案Chainlink和Harbinger的足迹，成为网络上的第三个Oracle提供程序。

据报道，Wolfram Blockchain与Tezos的生态系统开发公司之一TQ Tezos合作完成了整合。 据报道，该公司声称，甲骨文合同的正式验证是通过Nomadic Labs建立的Mi-Cho-Coq框架进行的。

据报道，正式验证可以创建数学证明，从而确保特定程序的正确运行。 Tezos致力于简化此过程，并与Cardano共享了重点，而Cardano是Wolfram Blockchain支持的另一项举措。

最近，据报道，Tezos已经开展了许多旨在吸引智能合约开发商和分散式金融计划的计划。

—-

原文链接：https://thecryptosight.com/tezos-finalized-wolfram-blockchain-labs-integration-establishing-two-way-blockchain-interface/

原文作者：Katelyn James

编译者/作者：wanbizu AI

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