鏈捕手消息,據“微軟科技”視頻號消息,近期在微軟全球合作伙伴大會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]
鏈捕手消息,威爾士加密保險公司Coincover今日宣布獲得920萬美元A輪融資。ElementVentures領投,DRWVentureCapital、CMTDigital、AvonVentu.
1900/1/1 0:00:00本文來自于Mechanism?Capital,作者是MarcWeinstein,并由鏈聞翻譯。YieldGuildGames?(YGG)是一個去中心化自治組織(DAO),由數以萬計、且人數不斷增.
1900/1/1 0:00:00本文來源于區塊律動BlockBeats,作者為0x13。NFT圈越來越像兩個月前的幣圈,在區塊鏈上開起了「動物園」,而且你真的能在這一次的「動物園」里看到各種各樣的「動物」.
1900/1/1 0:00:00鏈捕手消息,據去中心化應用數據服務平臺DappRader顯示,加密元素旗下的NFT綜合交易市場Element數據在過去七天內交易量增長760%,日活增長366%.
1900/1/1 0:00:00鏈捕手消息,據官方透露,CelercBridgev1.0版本正式主網上線。cBridge是一個支持高速低成本的跨鏈支付網絡,用戶可以立即使用cBridge在Ethereum、Arbitrum、B.
1900/1/1 0:00:00鏈捕手消息,跨鏈橋項目Chainswap宣布與另一跨鏈橋項目達成合作,以加快跨鏈解決方案的全行業研發進程,并使得ChainSwap能夠更輕松地從最近的漏洞攻擊事件中恢復.
1900/1/1 0:00:00