SOL:微軟宣布推出企業級元宇宙技術解決方案

鏈捕手消息，據“微軟科技”視頻號消息，近期在微軟全球合作伙伴大會Inspire上，微軟公司董事長兼首席執行官SatyaNadella宣布了微軟EnterpriseMataverse企業元宇宙技術解決方案，即通過微軟HoloLens、Mesh、Azure云、AzureDigitalTwins等幫助企業客戶實現數字世界與現實世界融為一體。

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

SatyaNadella介紹稱：“隨著數字世界和物理世界的融合而創建的基礎設施堆棧的新層，企業元宇宙這個平臺層匯集了物聯網、數字孿生和混合現實。使用我們的元宇宙堆棧，你可以從數字孿生開始，建立一個豐富的物理或邏輯數字模型。”

微軟Bing禁止比特幣和其他數字貨幣廣告:據mspoweruser消息，微軟聲明Bing瀏覽器將禁止比特幣和其他數字貨幣廣告，此規定于6月份在全球范圍內生效，6月下旬至7月上旬執行。微軟表示，由于數字貨幣和相關產品不受監管，可能會給用戶帶來可能的高風險，并有可能導致不法分子借機侵害客戶權益。[2018/5/15]

據SatyaNadella稱，瑪氏、埃森哲已在使用微軟的元宇宙堆棧，“通過復雜的數字模擬實現供應鏈數字化和優化生產”。此外，法國公共部門也在使用相關數據分析服務。

微軟申明并未與IOTA合作之后 IOTA價格跌了15%:微軟申明并未與IOTA合作之，IOTA價格跌了15%。[2017/12/14]

Tags：VERSOLZURAZUFanversesol幣為什么一直漲Mazuri GameFiAzus

以太坊交易