與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特定的內容。
您可以在這裡購買加密貨幣： 買硬幣
