區塊鏈

對股權證明的穩健可重構共識


當核心共識協議應用於股權證明申請時,必鬚麵對以下挑戰。

在一個可以轉手的系統中,如何使委員會組成能夠密切跟踪股權分配情況。如何分配費用和獎勵以確保激勵兼容性。

股權分配的基礎保障

這個核心共識協議期望安全性的假設,即在任何時候都有更多的警報委員會成員將比腐敗的委員會成員保持足夠長的誠實。在股權證明製度中,利益相關者之間存在利益分配。根據此類假設說明協議的安全性

該協議允許委員會每個時代重新選舉一次機會。系統中的股權分配可能落後於委員會選舉。假設沒有匯款,那麼將假設轉化為股權就很簡單。

想像一下,elect_cmt(鏈)函數將為每個貨幣單位輸出一個公鑰,由鏈的狀態表示。如果公鑰具有許多代幣單位,則簡單地輸出公鑰pk及其多重性m,並且可以在哈希查詢中使用字符串pk || 1,… .pk || m來確定領導者。 Snow White的核心共識協議並不關心elect_cmt(鏈)的實現細節。 “一個賭注單位是警報”意味著擁有這個賭注單位的節點是警報。

在現實世界中,存在資金轉移,因此,委員會選舉落後於股權再分配。這會引發以下攻擊:

一旦下一個委員會當選大部分股份,委員會現在可以出售其貨幣單位並對加密貨幣進行攻擊

激勵兼容性

在股權證明系統中,公平性被定義為與節點的股份數量成比例。任何少數群體的節點聯盟都不應該通過偏離協議來獲得不公平的獎勵份額。

白雪公主是一種區塊鍊式協議,也是眾所周知的自私挖礦攻擊,少數聯盟可以在最壞的情況下將其獎勵提高近2倍.Snow White為任何形式的自私挖礦攻擊提供可證明的解決方案並確保誠實的協議是聯盟安全的納什均衡。

在高層次上,FruitChains提供了一種機制,可以將任何實現一致性和活躍性的區塊鏈轉換為黑盒方式的近似公平區塊鏈。

兩個挖礦過程:每個節點在每個時間步驟中調用散列函數H,以確定它是否是此時間步長中的領導者。使用H的前半部分確定領導力並使用後半部分來確定用戶是否在此時間步驟中挖礦“水果”。在H的輸入端添加最近穩定的塊的消化物,使得任何開采的果實將“從最近穩定的塊中懸掛”,該塊阻止果實懸掛,表示在開採果實時的大致,即果實的新鮮度。每當一個誠實的節點找到一個水果時,它就會向所有同伴廣播水果,而誠實的節點將在其開采的任何區塊中包含所有未完成的新鮮水果。塊中包含的水果只有在足夠新鮮時才被認為是有效的。最後,區塊鏈中包含的所有有效水果都可以線性化,從而產生有序的水果鏈。

支付分配將所有形式的支付(包括挖礦獎勵和交易費用)分配給水果而不是塊。每次發放獎金時,它將在最近的大致(k)水果中平均分配。這保證了只要在任何時候有更多的警報委員會成員保持誠實,比腐敗的委員會成員足夠長,腐敗聯盟無論其如何偏離規定的協議,都不能增加其份額。因此,這個協議是一個聯盟安全 – 納什均衡。

資訊來源:由0x資訊編譯自NVESTLABS。版權歸作者Mahendar B所有,未經許可,不得轉載 點擊繼續閱讀


0X簡體中文版:

對股權證明的穩健可重構共識