通信復(fù)雜度
大家可以發(fā)現(xiàn)網(wǎng)絡(luò)消息數(shù)從O(NN)下降到O(N),但因為每個prepareQC包含2f + 1 簽名,所以通信量復(fù)雜度還是O(NN)。
密碼學的進步:包含2f + 1 簽名信息的prepareQC,使用門限簽名,使得占用空間降至O(1),整個通信量復(fù)雜度下降到O(N)
通信模型
通信模型定義了對手延遲消息的權(quán)力限制,有三種基本通信模型:同步模型、異步模型和部分同步模型。
-
同步模型:假定最大的網(wǎng)絡(luò)延時T,得設(shè)置比較大(min級別?)。因為實際情況,網(wǎng)絡(luò)可以出問題,而解決問題可能幾分鐘,也可能幾小時,甚至幾天。
-
異步模型: 網(wǎng)絡(luò)時延無保證,網(wǎng)絡(luò)是無法保證達成共識的,著名的FLP定理
-半異步模型: partial synchronous model,上面兩個模型的折中也叫部分同步,網(wǎng)絡(luò)可能處于異步狀態(tài),但是GST(global stable time)后會進入同步狀態(tài)
大部分共識算法都是基于半同步模型,這也符合實際情況,可以參考下文。
https://decentralizedthoughts.github.io/2019-06-01-2019-5-31-models/
響應(yīng)性(Responsiveness)
一旦網(wǎng)絡(luò)進入同步狀態(tài),好的leader以實際網(wǎng)絡(luò)延時的速度,達成共識。
也叫做(Optimistic) Responsiveness樂觀響應(yīng)性,我覺得也比較直觀。就是網(wǎng)絡(luò)達到同步狀態(tài)(GST)后,即解決了所有網(wǎng)絡(luò)問題后,真正干完活所需的時間和實際網(wǎng)絡(luò)延遲一致。類似于要搬1000塊磚,現(xiàn)在磚也準備好了,人也吃飽喝足了,那么假定一分鐘搬10塊磚,100分鐘就能搬完。
(Optimistic) Responsiveness After GST, any correct leader, once designated, needs to wait just for the first (n?f) responses to guarantee that it can create a proposal that will make progress. “As fast as the network propagates, on a good day”
安全性(safety)
壞事情永遠不發(fā)生,即所有的好節(jié)點不可能提交(commit)相沖突的數(shù)據(jù)
注意區(qū)別密碼學的security,這個概念其實和共識算法無關(guān),區(qū)塊鏈中的security是通過密碼學保證。
活性(liveness)
只要系統(tǒng)網(wǎng)絡(luò)進入同步狀態(tài),系統(tǒng)最終都能達成新共識。
區(qū)塊鏈中就是鏈的高度會增長,不斷出新塊。文章來源:http://www.zghlxwxcb.cn/news/detail-407133.html
參考鏈接https://blog.csdn.net/wenyuanhust/article/details/125495449文章來源地址http://www.zghlxwxcb.cn/news/detail-407133.html
到了這里,關(guān)于共識算法涉及的概念的文章就介紹完了。如果您還想了解更多內(nèi)容,請在右上角搜索TOY模板網(wǎng)以前的文章或繼續(xù)瀏覽下面的相關(guān)文章,希望大家以后多多支持TOY模板網(wǎng)!