与Cardano整合仅几个月后，DLT项目Wolfram Blockchain Labs（WBL）就将其复制到了Tezos。 这意味着从事区块链分析和计算合同的开发人员现在可以使用Tezos网络。
WBL是分布式账本技术（DLT）解决方案的知名提供商，该解决方案有助于开发各种智能合约和去中心化应用程序（dApps）。 它是Wolfram Research的区块链部门，是Mathematica，Wolfram | Alpha和Wolfram语言的创建者。
该项目在最近的新闻发布中宣布，Tezos已成为最新的区块链，可以完全集成到WBL的DLT生态系统中。
除了帮助开发人员利用分析和计算合同来利用Tezos区块链之外，集成还触发了建立指定的Oracle，该Oracle将Wolfram Alpha数据提供给智能合约开发人员。
同时，Tezos使用Nomadic Lab的Mi-Cho-Coq正式验证框架来维护一致的oracle行为。
该新闻稿强调，经过正式验证，使用Tezos区块链的产品将更加安全。 该声明补充说，这是一个过程， “证明了智能合约属性的正确性，有助于减轻错误和其他漏洞的风险。”
WBL的首席技术官Johan Veerman对开发进行了评论，他说： “ Tezos是令人兴奋的第三代区块链，它具有多种服务和功能，将扩展我们的开发人员可用的功能。 我们很高兴与TQ Tezos合作，将WBL工具生态系统引入Tezos区块链。”
与Cardano的类似集成
2020年XNUMX月，WBL集成了另一个受欢迎的区块链项目Cardano，其工作方式与Tezos集成类似。
WBL开始将Cardano的DLT数据实施到Wolfram Alpha中，以帮助开发人员将外部数据集成到区块链项目的智能合约中。
其他计划包括开发dApp，以允许基于区块链的商业和商业模型转换，以及在WBL发布的教育课程材料中传播一些Cardano特定的内容。
您可以在这里购买加密货币： 买硬币
