微軟與Meta達成合作，將元宇宙相關產品Microsoft Teams與Workplace平臺集成

11月11日消息，微軟正與Meta（前Facebook）合作，將其元宇宙相關產品Microsoft Teams集成到Meta旗下的Work place平臺。Microsoft Teams與Workplace的集成將支持用戶通過Teams中的應用程序使用Work place的相關服務，此外Work place已經集成到微軟旗下的Share Point、One Drive和Office365套件、Azure Active Directory中。注，具有數字虛擬形象功能的Microsoft Teams聊天和會議應用版本是微軟首個元宇宙相關產品，目前正在測試中，計劃于2022年上半年推出。（The Verge）

微軟數字商店Azure出現兩個有關IOTA DLT的應用程序:微軟數字商店Azure已經出現兩個有關IOTA去中心化賬本技術（DLT）的應用程序，一個允許IOTA愛好者運行完整的DLT節點，而第二個則將對Pollen進行實驗。（U.Today）[2021/1/19 16:28:34]

ConsenSys的PegaSys Ethereum套件即將進入微軟Azure市場:ConsenSys今天宣布，其PegaSys Ethereum套件即將進入微軟Azure市場。該工具套件具有面向企業的開源以太坊客戶端Hyperledger Besu，面向商業用戶的PegaSys Plus和用于管理以太坊上從賬戶到智能合約的所有內容的PegaSys Orchestrate。PegaSys Ethereum套件將與另一個ConsenSys產品Truffle一起進入市場。此外，用于以太坊的微軟區塊鏈開發套件（用于在網絡上啟動智能合約的擴展）現在包含了Hyperledger Besu。ConsenSys發言人表示，這些產品將幫助開發人員通過瀏覽器，監控器和儀表板部署多節點網絡，以運行管理成熟的企業以太坊網絡所需的工具。（Decrypt）[2020/5/8]

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