區塊鏈生物技術公司Genomes.io獲GEM Digital 2000萬美元投資承諾

金色財經報道，專注于基因組數據安全、私密和可審計貨幣化的區塊鏈生物技術公司Genomes.io宣布獲得巴哈馬數字資產投資公司GEM Digital 2000萬美元投資承諾，目前該公司正在與AMD和ConsenSys等合作伙伴構建Web3基礎設施，以確保基因組數據的安全存儲、查詢和管理。

其它快訊：

Animoca Brands聯創：區塊鏈游戲投資將在2023年底進入市場:金色財經報道，Animoca Brands聯合創始人Yat Siu預計，到2023年底，該公司的一些區塊鏈游戲投資將進入市場。Animoca仍然看好區塊鏈游戲，等待虛擬世界基金INTERVIEW的許可。

Animoca Brands最初在2022年11月為一只擬議中的虛擬現實基金撥出了高達20億美元的資金，該基金打算投資各種構建虛擬現實產品和體驗的中后期初創公司。根據2023年的報告，該公司被迫縮減了最初的投資目標，1月份將投資金額降至10億美元。今年3月，有報道援引未具名消息人士的話說，由于影響加密貨幣領域的波動性，該基金將進一步減少至8億美元。[2023/7/6 22:22:08]

報告：區塊鏈等技術深入應用為在線娛樂帶來發展機遇:7月30日，中國音像與數字出版協會游戲出版工作委員會和中國游戲產業研究院聯合發布《2020年1-6月中國游戲產業報告》，報告稱，5G、云計算、虛擬化技術、編碼技術、人工智能、區塊鏈、數據中心等一系列互聯網新技術的深入應用，將為在線娛樂和云端經濟帶來新的發展機遇。這些新技術將加快云游戲及 AR、VR等多終端游戲的發展和升級迭代，能有效提升用戶體驗。（界面）[2020/7/30]

動態 | Hedera Hashgraph區塊鏈技術獲得Coq系統驗證:據bitcoin exchange guide報道，公共分布式分類賬平臺Hedera Hashgraph最近宣布hashgraph consensus算法已被驗證為異步拜占庭容錯（BFT）算法。這是通過使用Coq系統的計算機檢查的數學證明完成的。這證明了哈希圖報告中的聲明。據稱哈希圖在數學上是分布式系統的最高安全級別。Coq是一種正式的驗證，它提供了一種形式語言來編寫可執行的數學定義和算法。它還可以用于編寫定理和機器檢查證明的半交互開發環境。Coq通常用于驗證程序、編程語言和數學的屬性。與數學證明不同的是，Coq證明是通過計算機進行檢查的。這有助于避免人類在閱讀證明時可能犯的錯誤。[2018/10/21]