金色觀察｜為Casper FFG延長驗證epoch區間_Casper

以太坊明年就要完成難度炸彈了，這意味著會徹底實施權益證明，不過目前在共識算法細節上仍然在進行討論研究。

在11月19日，Vitalik在研究者論壇里提到了一個建議，是關于Casper?FFG的，其主要內容我們節選如下：

在CasperFFG保證安全性和活性不變的情況下，允許增加連續epoch之間驗證區間來適應延遲。例如，如果epoch100、101未能證明是正確的，則鏈可以嘗試證明epoch102、104、108的合理性，增加了驗證區間，這樣兩個連續嘗試的epoch仍然可以成功驗證，以便在多個epoch延遲的情況下也可以為我們提供最終結果。

金色晨訊 | 9月13日隔夜重要動態一覽:21:00-7:00關鍵詞：以太坊2.0、雷諾、CBDC

1.以太坊2.0或將于11月份正式發布

2.法國車輛制造商雷諾對區塊鏈平臺進行部件合規性測試

3.中國銀行原副行長：CBDC或對收付業務市場格局產生深刻影響

4.杭州市濱江區一公司官網被惡意攻擊并索要比特幣

5.一馬來西亞公司正為慈善機構開發基于區塊鏈的應用程序

6.Filecoin太空競賽成功解鎖150萬枚FIL獎勵[2020/9/13]

這個調整是需要對Casper?FFG的共識算法中的驗證部分進行修改的。目前還未見討論成果。為了弄明白為什么提及這個部分的設計，我們嘗試用下文理解Vitalik這次的建議。

金色晨訊 | 9月2日隔夜重要動態一覽:21:00-7:00關鍵詞：美國、以太坊2.0、SushiSwap、Polkadot

1. Roger Ver：Bitcoin ABC將于11月15日分叉脫離BCH;

2. SGX、匯豐銀行和淡馬錫合作發行3億美元的區塊鏈債券;

3. 美國CFTC指控多家提供虛假注冊聲明的加密公司;

4. 韓國法院裁定Bithumb對2017年數據泄露事件需承擔部分責任;

5. 灰度資產管理總規模已達到63億美元;

6.以太坊2.0信標鏈“隨機性”協議證明出現漏洞;

7. 以太坊官博：Medalla測試網目前進展順利;

8. V神：希望有人能分叉Maker并剝離治理;

9. SushiSwap將開通REN-ETH等5大新LP池;

10. Polkadot已正式推出v0.8.23版本;

11. 百慕大政府宣布啟動數字刺激性代幣試點計劃。[2020/9/2]

CasperFFG和CasperFFGCBC是以太坊對權益證明的共識算法研究的兩個思路，其對拜占庭容錯等算法進行了修訂和再研，因此是核心算法問題，應該說這是以太坊最明確的未來以及最核心的技術討論，其主要的思路是在解決共識算法中的確認問題。

金色晚報 | 8月15日晚間重要動態一覽:12:00-21:00關鍵詞：Balancer 、比特幣ATM、美國、Tether

1. 相關人士：數字人民幣正在四地試點測試 試點地區并未變化

2. 美國加州或將對虛擬貨幣行業進行監管和分類的可行性研究；

3. Tether CTO：Tether收到多個對沖基金和加密貨幣持有人電匯以支持新的USDT；

4. 全國首個公共資源交易區塊鏈平臺成員單位擴充至18家；

5. 比特幣和以太坊總鎖倉量突破50億美元；

6. 觀點：全球投資業務中的1%資金將被配置到比特幣上；

7. 香港三名男子因涉嫌從比特幣ATM機中騙取近23萬港元被捕；

8. MakerDAO發起關于將基本費率從-4%降低至-6%的行政投票；

9. Balancer Labs發起關于更新代幣白名單進程的提案投票。[2020/8/15]

Vlad最早開始設計機制時，特別是希望Casper可以更強健地抵制寡頭形成，并且拋棄掉一些其他算法的問題，比如傳統拜占庭容錯理論，在徹底改造BFT理論后，則出現了CorrectbyConstruction的方法，即CBC。

而因為CBC對于算法中的驗證的設定更復雜，在CBC里定義了一系列規則來確定什么時候區塊會敲定確認，并證實關鍵的“安全性”和“合理活性。

不過以太坊最終把罰沒條件從4條簡化為2條，就得到了CasperFFG，它被設計為可以覆蓋在任何PoW或PoS或其它類型的區塊上，用于增加確定性保證。

2017年12月31日CasperFFG在以太坊的Python測試網上測試，不過后來進展緩慢。

2018年6月，以太坊做了一個決定：徹底放棄“用合約實現混合CasperFFG”，追求完全Casper獨立鏈，改變這個設計讓整合分片變得更加容易，也就是會直接在2.0上應用。

不過CasperFFG都要求，在每一個“輪次epoch”有完整的驗證者集來投票敲定區塊，意味著每秒鐘都會有數以千計的簽名要通過網絡發送。即使有BLS簽名聚合方案，在幾秒內完成“100個確認”安全性也是很難的。

其需要擁有一個強大的鏈上隨機數源來公正地選出提議者，不過鏈上隨機性也是難以實現的，所以最終使用了可驗證延遲函數進行了驗證計算，消除了提前操縱的可能。

此時，Vitalik還將CasperFFG的實現確定性的時間從2.5個輪次減少到理論上最優的2個輪次。

盡管有可驗證延遲函數的進展，但網絡延遲的假設還是必要的，這是有效發現攻擊的需求，也就因此會出現延長epoch驗證區間的思路。

期待在權益證明正式上線時的CasperFFG和CBC。

Tags：CasperASPSPECAScasper幣釋放casper幣最新消息SpendcoinDisCas Vision

Pol幣