Hedgehog Markets將在公鏈Solana啟動

官方消息，去中心化預測市場Hedgehog Markets將在公鏈Solana啟動，預計將于4月推出測試網。

英國航空技術公司Neuron利用Hedera網絡進行無人機追蹤試驗:1月7日消息，Hedera Hashgraph與總部位于倫敦的航空技術公司Neuron Innovations合作，嘗試商業、軍事和政府無人機安全共享遠程空域。

Neuron已經實現一個“航空監視即服務”系統，允許無人機無縫加入現有的空中交通。該公司隨后利用Hedera Network的Hedera共識服務（Hedera Consensus Service）來“收集、存儲和訂購”無人機數據。

多架無人機試驗于2021年4月和10月在蘇格蘭蒙特羅斯港和貝德福德郡的克蘭菲爾德大學舉行。Neuron傳感器記錄關于無人機位置和方向的數據點，而Hedera共識服務將從每架無人機收集的數據記錄并加蓋時間戳，并記錄在其去中心化公共分類賬中。

這項實驗得到英國商業、能源和工業戰略部的支持，是其一系列無人機相關測試之一。這項研究的主要發現是，可以在無人駕駛飛機離開視野后對其進行跟蹤。（Cointelegraph）[2022/1/7 8:33:13]

動態 | 區塊鏈公司Hedera Hashgraph推出Composer Chrome擴展程序:據CryptoNinjas今日消息，總部位于美國的分布式賬本技術平臺Hedera Hashgraph已推出其Composer Chrome擴展程序，該擴展程序用于在客戶端訪問中啟用Hedera的Dapps。[2019/9/26]

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