在Cardano之后，Wolfram区块链实验室与Tezos合作，WolframResearch的区块链子公司已与Tezos合作，以更安全的方式促进智能合约的开发。在Cardano整合后的几个月，DLT项目WolframBlockchainLabs（WBL）对Tezos也做了同样的事情。结果，从事区块链分析和计算合同的开发人员将能够使用Tezos网络。
一、WBL集成了Tezos
WBL是分布式账本技术（DLT）解决方案的提供商，该解决方案支持各种智能合约和去中心化应用程序的开发。它是WolframResearch的区块链子公司–Mathematica，Wolfram|Alpha和Wolfram语言的创建者。
该项目在与CryptoPotato分享的新闻稿中宣布了其最新的区块链合作伙伴关系。它告知广受欢迎的区块链项目Tezos已成为最新的，完全集成到WBL的DLT生态系统中的项目。
除了使从事分析和计算合同的开发人员能够利用Tezos区块链之外，该合作伙伴关系还导致建立了指定的Oracle，向智能合同开发人员提供WolframAlpha数据。
此外，Tezos利用NomadicLabs的Mi-Cho-Coq形式验证框架来确保oracle每次都显示相同的可预测行为。
该声明还强调，由于正式验证，采用Tezos区块链的产品将“更加安全”。这个过程“证明了智能合约属性的正确性，有助于减轻错误和其他漏洞的风险。”
“Tezos是令人兴奋的第三代区块链，具有许多服务和功能，将扩展我们的开发人员可用的功能。我们很高兴与TQTezos合作，将WBL工具生态系统引入Tezos区块链。”–评论了WBL首席技术官JohanVeerman。
二、跟随卡尔达诺的脚步
在Tezos集成之前，WBL与另一个受欢迎的区块链项目Cardano合作。早在2020年12月下旬，两党就宣布了合作，合作方式有些相似。
WBL开始将Cardano的DLT数据实施到WolframAlpha中，从而使开发人员可以将外部数据集成到CharlesHoskinson创建的项目的智能合约中。
进一步的计划包括开发dApp，以实现基于区块链的商业和商业模型转换，并在WBL发布的教育课程材料中使用Cardano特定的内容。
