Hedera主網已達成170億筆交易，創建賬戶超300萬

金色財經報道，權益證明網絡Hedera在社交媒體表示，Hedera主網已達成17,011,669,665筆交易，主網已創建賬戶達3,109,071。

Hashed聯創Alex Shin和資深投資者Sandeep Ramesh將加入Mysten Labs CEO的新基金:金色財經報道，籌款文件顯示，Hashed聯合創始人Alex Shin和資深對沖基金投資者Sandeep Ramesh將加入Mysten Labs首席執行官Evan Cheng的新風險基金，Shin和Ramesh都將作為普通合伙人加入。

據此前消息，Cheng正在尋求為其Web3基金籌集超過1億美元的資金。消息人士稱，Cheng將繼續擔任Mysten Labs的首席執行官，他目前正在與新基金的潛在普通合伙人和有限合伙人進行對話。Cheng隨后在The Scoop播客上證實，他正在尋求改進Web3風險投資的運作方式。[2023/3/2 12:37:18]

聲音 | Cinnobe前加密貨幣主管：Hedera高速交易以犧牲去中心化為代價:總部位于美國的區塊鏈公司Hedera Hashgraph于周一發布了其主網。盡管得到了一些大公司的支持，但持懷疑態度的人士表示，該區塊鏈版本缺乏確保去中心化的關鍵功能。Hedera聲稱其每秒處理大約10,000筆交易，DAG技術和aBFT共識確保了交易的高速。然而，根據Cinnobe的前加密貨幣主管Eric Wall的說法，Hedera的表現是以犧牲真正的去中心化為代價的。（Bitcoinist）[2019/9/19]

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