据报道，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已经开展了很多旨在吸引智能合约开拓商和分手式金融打算的打算。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
