微軟宣布支持 Astar 孵化計劃

3月10日消息，據波卡平行鏈 Astar Network 發布的文章，微軟將通過 Astar 孵化計劃支持 Astar Network 構建和實施 Web3 未來。作為此次合作的一部分，微軟和 Astar Network 將在 Astar 孵化計劃上展開合作，具體來說，微軟將為 Astar 孵化計劃中選定的初創公司提供資源，包括營銷支持和指導網絡。

微軟收購動視暴雪獲美國法院同意:金色財經報道，美國舊金山聯邦法院法官杰奎琳·斯科特·科利裁定微軟可推進對動視暴雪收購案，駁回美國聯邦貿易委員會（FTC）提出的初步禁令動議。隨著法院做出上述裁決，在7月18日的最后期限前，微軟可在除英國以外的任何市場尋求完成與動視暴雪的合并。今年5月，英國監管機構否決了這宗交易。[2023/7/12 10:49:20]

菲律賓聯合銀行UnionBank已與微軟合作在Azure上進行區塊鏈試驗:9月3日消息，菲律賓聯合銀行 (UnionBank) 在推行一個three-point plan，旨在通過數字技術轉變其運營方式，建立數字銀行。作為計劃的一部分，UnionBank已與微軟合作在Azure上成功進行了區塊鏈試驗。

Azure是一個開放、靈活和可擴展的平臺，支持數量快速增長的分布式賬本技術，Microsoft的數據和AI解決方案提供了鏈下數據管理和分析功能。UnionBank正在通過其創新和領導文化來擁抱數字化轉型，是菲律賓第一家進行區塊鏈試驗的銀行。（adobotech）[2021/9/3 22:58:02]

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