WBL将Tezos集成到Wolfram语言和Wolfram | Alpha中

资料来源：Akarat Phasura-Shutterstock

在与CNF分享的新闻稿中，Wolfram Blockchain Labs（WBL）宣布将Tezos集成到其分布式账本技术（DLT）平台中。 WBL与TQ Tezos合作，已将Tezos与Wolfram语言和Wolfram | Alpha完全集成，从而为从事区块链分析和计算合同的开发人员提供了轻松的编程访问方式。

该合作伙伴关系还旨在为Tezos提供一个预言机，WBL开发了该预言机，以利用Wolfram Alpha数据提供基于Tezos的智能合约。 它与Nomadic Labs开发的Mi-Cho-Coq验证框架结合使用。 这样，智能合约每次执行时都会具有“可预测的行为”。

WBL通过Tezos扩展了功能

著名的斯蒂芬·沃尔夫拉姆（Stephen Wolfram）公司还宣布将托管Tezos节点。 因此，集成将与Wolfram的Cloud中的编程语言以及称为Mathematica的计算系统直接相关。

WBL以提供基于DLT的生态系统来创建具有智能合约的应用程序而闻名。 通过集成Tezos，可以更轻松地促进正式验证，从而使这些智能合约更加安全

[This] 证明智能合约属性的正确性，有助于减轻错误和其他漏洞的风险。 WBL与TQ Tezos合作，为高级功能建立了WolframLanguage支持，使Tezos集成成为Wolfram系统中简单而直观的一部分。

目标是为使用Tezos区块链的开发人员提供简化的智能合约部署路径。 此外，Wolfram广泛的知识库和算法库（为Wolfram | Alpha提供支持）可以可靠地为Tezos上的Oracle提供计算事实。 这开辟了一系列新的安全功能，可以轻松地将其整合到区块链应用中。 Wolfram Blockchain Labs的首席技术官Johan Veerman对整合发表了以下看法：

Tezos是令人兴奋的第三代区块链，具有许多服务和功能，这些功能将扩展我们的开发人员可以使用的功能。 我们很高兴与TQ Tezos合作，将WBL工具生态系统引入了Tezos区块链。

据CNF报道，Tezos最近发布了其最重要的更新之一，即Edo。 由Nomadics Labs，Marigold，DaiLambda和Metastate开发的Edo的区块高度为1,343,489。 该更新引入了Sapling协议，以通过Zcash也使用的受屏蔽交易库来实现更多增强隐私的交易。

—-

原文链接：https://www.crypto-news-flash.com/wbl-integrates-tezos-into-wolfram-language-and-wolframalpha/?utm_source=rss&utm_medium=rss&utm_campaign=wbl-integrates-tezos-into-wolfram-language-and-wolframalpha

原文作者：Reynaldo

编译者/作者：wanbizu AI

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