币圈信息网 区块链动态 在Cardano之后,Wolfram区块链实验室与Tezos合作

在Cardano之后,Wolfram区块链实验室与Tezos合作

在Cardano之后,Wolfram区块链实验室与Tezos合作,WolframResearch的区块链子公司…

在Cardano之后,Wolfram区块链实验室与Tezos合作,WolframResearch的区块链子公司已与Tezos合作,以更安全的方式促进智能合约的开发。在Cardano整合后的几个月,DLT项目WolframBlockchainLabs(WBL)对Tezos也做了同样的事情。结果,从事区块链分析和计算合同的开发人员将能够使用Tezos网络。

在Cardano之后,Wolfram区块链实验室与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特定的内容。

本文来自网络,不代表币圈信息网立场,转载请注明出处。

作者: bqxxw

联系我们

联系我们

微信号:904800

在线咨询: QQ交谈

邮箱: 微信号:904800

行情分析 专业指导 老师微信号:904800
关注微信
微信扫一扫关注我们

微信扫一扫关注我们

返回顶部