Top Page | English | 简体中文 | 繁體中文 | 한국어 | 日本語
ACN Newswire能提供全方位的服務。對於希望向媒體、業界和金融市場披露和傳播資訊的公司和組織,我們能為您安排即時的新聞發佈。ACN Newswire的新聞稿包括英文、簡體中文、繁體中文、韓文和日文等多種語言版本。
Tuesday, 30 October 2018, 14:00 HKT/SGT
Share:

來源 Hedera
由卡耐基梅隆大學教授完成的Coq證明證實Hashgraph Consensus算法是異步拜占庭容錯算法
異步拜占庭容錯 (aBFT) 是分佈式系統安全性的“黃金標準”

得克薩斯州達拉斯, 2018年10月30日 - (亞太商訊)  - Hedera18開發人員會議 -- 具有高度分佈式治理的下一代分佈式公共總賬Hedera Hashgraph日前宣布,通過使用Coq系統計算機對算法證明進行檢查,hashgraph consensus算法已被證實是異步拜占庭容錯 (aBFT)。這證明了hashgraph技術報告中提出的聲明,即hashgraph是aBFT -算術上分佈式系統可能獲得的最高安全性級別。今天,Dr. Leemon Baird將在首次hashgraph開發人員會議——Hedera18上舉辦正式方法的講習會。感興趣的參與者可以免費觀看直播流,網址是 http://learn.hederahashgraph.com/livestream

Coq是正式證明驗證系統。 Coq提供了一種形式化語言,用於編寫數學定義、可執行算法和定理。以及用於機器校驗證明的半交互式開發環境。它經常被用於驗證程序、編程語言和數學的屬性。與大多數由人檢查的數學證明不同,Coq證明實際上由計算機來檢查。這避免了人類在閱讀證據時所犯的一些錯誤。

驗證由Coq Proof Assistant執行,這會檢查證明是否正確,同時由卡內基梅隆大學計算機科學副教授Karl Crary完成。可在以下找到更多信息,網址是:https:/hedera.com/platform#security。

“這只是個開始,”Hedera首席科學家Dr. Leemon Baird說。 “對於安全和信任非常關鍵的軟件來說,類似這些經計算機驗證了正確性的數學證明的形式化方法是它們的未來。”

Hedera計劃繼續創建額外的Coq系統證明,以證明額外效率改進的正確性,並最終確保實施算法的軟件也是正確的。

異步拜占庭容錯
30多年來,拜占庭容錯 (BFT) 一直是分佈式系統安全的標準。拜占庭容錯意味著,即使惡意成員(拜占庭節點)試圖阻止這種共識,或欺騙他們得出不同的結論,網絡中的誠實成員也可以保證就共同的共識達成一致。如果能夠保證在某個時刻所有節點都同意共識,並且知道它們已經達成共識,並且總是一致的共識,則係統是BFT。

BFT意味著,即使在允許大量錯誤或攻擊的情況下也能做到這一點。拜占庭錯誤包括說謊、串通、選擇性不參與等行為。顯然,在這種類型的錯誤下,一組節點很難達成有效的共識,而在更簡單的情況下,節點可能會崩潰。

BFT最強的形式是異步。aBFT系統允許誠實成員之間的一些消息可能被任意地延遲很長的時間,或者根本就沒有發送給預期的收件人。對手甚至可能控製網絡本身,至少部分控制。這是分佈式共識的黃金標準。一個真正安全的分佈式總賬技術 (DLT) 必須能夠在這個假設下達成共識。

算法可能聲稱支持部分異步BFT,在這種情況下,消息不會延遲超過一定的時間,並且總是在截止日期之前通過。但如今的現實是,許多類型的攻擊者都能完全利用這一假設,或者讓網絡癱瘓,或者擾亂交易秩序。殭屍網絡、分佈式拒絕服務 (DDoS) 攻擊和惡意防火牆都可能干擾消息。因此,從長遠來看,“部分”異步BFT無法提供可靠的、真實世界的系統。由於Hedera建立了一個互聯網範圍的信任層,最終可能處理價值數万億美元的交易,因此我們必須確保我們應用最強大的安全原則來應對此類攻擊。

有了新的Coq證明,Hedera成為首個擁有計算機驗證的數學證明的公共總賬,證實它是真正的異步BFT。它保證了共識的達成,當它發生的時候我們會知道,我們都會達成同樣的共識,甚至在對惡意節點和網絡錯誤的現實假設下也是如此。

可在以下找到更多信息,網址是:https:/hedera.com/platform#security。

關於Hedera
Hedera hashgraph平台將提供具有高度多樣化治理的分佈式公共總賬,任何人都可以輕鬆地開發全球分散的應用程序。開發人員可以在Hedera hashgraph平台上構建安全、公平、快速的分散式應用程序。更多資訊請見 https://hedera.com/ ,或是關注我們的社交帳號Twitter: @hashgraph, Telegram: https://t.me/hederahashgraph或是Discord: http://hedera.com/discord。Hedera白皮書請見 https://hashgraph.com/whitepaper

媒體垂詢:
Zenobia Godschalk
E: pr@hashgraph.com
T: 1.833.794.7537 x 717

Oct 30, 2018, 14:00 HKT/SGT
話題 Press release summary

部門 金融, 业务, FinTech & Blockchain, 数字, IoT, Transport
http://www.acnnewswire.com
From the Asia Corporate News Network

Copyright © 2018 ACN Newswire. All rights reserved. A division of Asia Corporate News Network


Hedera
Oct 10, 2018, 12:00 HKT/SGT
Mind Fund和Hedera Hashgraph合作開發Helix,這是一個專門的Hedera Accelerator
Aug 1, 2018, 20:00 HKT/SGT
Hedera Hashgraph籌集了1億美元進一步開發公共分散式帳本網路和Dapp生態系統
更多新闻 >>
Copyright © 2018 ACN Newswire - Asia Corporate News Network
頂部 | 關於我們 | 服務 | 合作夥伴 | 聯繫 | 隱私權政策 | 使用條款 | RSS
美國: +1 800 291 0906 | 北京: +86 10 8405 3688 | 香港: +852 2217 2912 | 新加坡: +65 6304 8926 | 東京: +81 3 6721 7212

Connect With us: