太極鏈資訊_共識(shí)協(xié)議增長

類似地，任何公共太極鏈共識(shí)協(xié)議都必須能夠增長，并且在任意攻擊的情況下保持一致。某些應(yīng)用程序的用戶可能不希望某些事務(wù)被記錄在太極鏈上，也可能會(huì)積極采取惡意行動(dòng)，并試圖審查這些事務(wù)。這些例子包括前面運(yùn)行的攻擊、雙重攻擊和交易審查攻擊，以防止支付渠道的結(jié)算。一旦有一個(gè)依賴于太極鏈的巨大金融生態(tài)系統(tǒng)存在，并且協(xié)議需要能夠容忍這些攻擊，才能使其在大范圍內(nèi)實(shí)際可用，那么也就是說這些攻擊是可以預(yù)見的。因此，公共太極鏈共識(shí)協(xié)議必須是拜占庭容錯(cuò)協(xié)議。然而，對手的力量不僅僅是對手所能采取的最激烈的行動(dòng)。它還需要考慮對手的行動(dòng)生效所需的時(shí)間，或者對手破壞不同參與者所需的時(shí)間。另一種對對手進(jìn)行分類的方法是，對手在決定了要腐敗的對象之后，多久才能腐敗另一個(gè)節(jié)點(diǎn)。如果對手可以瞬間腐蝕參與者，那么對手就被稱為“強(qiáng)適應(yīng)性”。在“靜態(tài)”對抗性模型中，在協(xié)議執(zhí)行開始之前，對手可以選擇他們想要破壞的參與者。 在那之后，就不能做任何改變了。那些需要一段時(shí)間(比瞬時(shí)時(shí)間長，但比無限時(shí)間短)來破壞協(xié)議參與者的對手被稱為“溫和適應(yīng)性”。對手破壞協(xié)議參與者所需的時(shí)間與選擇驗(yàn)證器和委員會(huì)成員的過程有關(guān)。對手的力量也與對手的計(jì)算和存儲(chǔ)限制緊密相關(guān)。如果假設(shè)對手有一定數(shù)量的資源，那么我們可以假設(shè)一個(gè)計(jì)算安全的模型。大多數(shù)協(xié)議的共同假設(shè)是存在多項(xiàng)式有界的對手。這意味著一個(gè)對手不能在多項(xiàng)式數(shù)量的步驟/時(shí)間/空間中破壞協(xié)議的任何一個(gè)原語。這也意味著對手可以以很小的概率破壞協(xié)議的安全性。這通常就足夠了，因?yàn)檫@意味著對手要花上50-60年的時(shí)間才能用這種級(jí)別的安全性來破壞原語。另一方面，如果對手被認(rèn)為是非常豐富和強(qiáng)大的，協(xié)議必須在統(tǒng)計(jì)上是安全的。這意味著即使有無限的計(jì)算資源也需要花費(fèi)10億年時(shí)間，實(shí)踐中使用的大多數(shù)加密原語都在計(jì)算上安全的。經(jīng)濟(jì)對手到目前為止，我們考慮了基于計(jì)算和存儲(chǔ)考慮的假設(shè)。所有這些假設(shè)都聚焦于那些決定攻擊系統(tǒng)的參與者。所有公開的太極鏈共識(shí)協(xié)議都是很復(fù)雜的，通常需要對付的對手比那些確定要攻擊系統(tǒng)的對手多。從長遠(yuǎn)來看，對于公共太極鏈協(xié)議來說，與參與者如何應(yīng)對激勵(lì)措施相關(guān)的經(jīng)濟(jì)假設(shè)是一個(gè)重要方面。這些都是很重要的，因?yàn)樗鼈儧Q定了什么能激勵(lì)一個(gè)人誠實(shí)行事，并從一開始就遵守協(xié)議。在任何系統(tǒng)中都有三種角色。第一種是經(jīng)濟(jì)上的理性，第二種是利他的，第三種是非理性的惡意。設(shè)計(jì)的大多數(shù)太極鏈協(xié)議并沒有使經(jīng)濟(jì)理性的參與者始終與遵循協(xié)議的動(dòng)機(jī)保持一致，這導(dǎo)致了在協(xié)議級(jí)別上可能無法解釋的幾個(gè)攻擊向量。