微軟和螞蟻數科將參與香港金管局數字貨幣項目

金色財經報道，據《南華早報》，香港金融管理局（金管局）宣布展開批發型央行數字貨幣（wCBDC）項目試點，這是全球首個針對代幣化存款、代幣化資產和央行數字貨幣結算的平臺。它還將組建一個架構社區來制定通用標準。

據知情人士透露，微軟和螞蟻數科等公司將加入該社區。公開資料顯示，螞蟻數科在 2023 年推出面向香港及海外市場的 Web3 科技品牌 ZAN，為合規機構提供 Web3 技術服務，其產品可幫助開發者降低開發成本和技術風險。

其它快訊：

微軟CEO納德拉：對元宇宙十分感興趣，將把握新的發展機遇:11月19日消息，微軟CEO薩提亞·納德拉(Satya Nadella)在“2021紅杉數字科技全球領袖峰會”上表示，對元宇宙十分感興趣，將繼續沿用全棧思維把握像元宇宙這樣的新發展機遇。

納德拉表示，元宇宙跨越了物理和數字世界將人、物、場在商業和消費互聯網中融于一處，不該被看做是單獨的消費市場或企業級市場的現象，因為融合可能才是必需的。且在某種意義上看，疫情中的視頻會議的普及已經讓我們多少體驗到了一個2D的元宇宙。超越時空的3D元宇宙無疑是一個重要的發展方向。[11/19/2021 11:13:31 PM]

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

微軟：監管機構應與行業配合處理區塊鏈安全問題:微軟本周發布了一份白皮書，其中為處理區塊鏈安全問題提供了政策建議，微軟認為監管機構和行業應該相互配合，以更好地了解風險并調整激勵措施以改善風險。該文件主張在美國國家標準與技術網絡安全框架研究所的基礎上，采用修改后的網絡安全框架，以促進創建經過許可的區塊鏈。[3/10/2018 12:00:00 AM]