微軟成立“工業元宇宙”新團隊Industrial Metaverse Core_區塊鏈

金色財經報道，微軟希望利用元宇宙來改變工業工作的體驗。這家科技巨頭上周在內部透露了一個新團隊IndustrialMetaverseCore。該團隊旨在創建沉浸式軟件界面，以使用為發電廠、工業機器人和交通網絡等應用供電的工業控制系統。報告稱，工業產品將包括Bonsai構建的技術，這是微軟于2018年收購的低代碼人工智能開發平臺。在收購時，微軟公司副總裁兼自主系統負責人GurdeepPall表示，Bonsai將部署在公司的Azure公共云之上。微軟設想將使用以工業工作為中心的虛擬世界來監控機器或工廠環境。飛機機械師可能會使用它在模擬軟件環境中檢查噴氣發動機，使用人工現實或虛擬現實耳機來評估機械。隨著Azure服務的開發，工業工程師可以使用它來將人工智能與工業設備和流程相結合，而無需軟件開發經驗。

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]

Adents與微軟合作 開發基于區塊鏈的產品追蹤平臺:Adents與微軟合作，利用區塊鏈和人工智能技術，開發了一個新的單元級產品追蹤平臺。[2018/6/14]

微軟進軍區塊鏈 推出去中心化身份識別公有鏈:微軟公司已經在其官方博客中宣部，將會在旗下微軟身份驗證（Microsoft Authenticator）應用程序內整合基于區塊鏈的去中心化ID驗證技術。微軟公司還計劃將去中心化身份識別功能添加到旗下微軟身份驗證（Microsoft Authenticator）應用程序之中，以便更好地管理身份數據和加密密鑰。據悉，微軟公司是在2016年8月推出的身份驗證應用程序，目前已經被數百萬人使用了。[2018/2/14]

Tags：區塊鏈VERSOLENT泰達幣區塊鏈交易查詢VER價格SOL幣創始人Transparent Token

火幣網下載官方app