金色觀察｜為Casper FFG延長驗證epoch區間_SPE:kaspa幣24年價格預測

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

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

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

金色晨訊 | 8月7日隔夜重要動態一覽:21:00-7:00關鍵詞：美聯儲、哈薩克斯坦、USDT增發

1.美聯儲理事：全球穩定幣引發金融穩定性等問題。

2.哈薩克斯坦或將對加密挖礦統一征稅15％。

3.彭博社：比特幣在主流投資者中的采用率正在上升。

4.此前92857枚BTC轉賬的費用僅為4美元。

5.Tether在波場網絡增發2億枚USDT（已授權未發行）。

6.深圳將加快推進央行貿易金融區塊鏈平臺建設。

7.以太坊期貨未平倉合約接近15億美元 創歷史新高。

8.SEC文件顯示Uniswap在6月籌集1100萬美元。

9.灰度以太坊信托或成為SEC第二個獲得申報許可的數字貨幣投資工具。[2020/8/7]

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

金色晨訊丨4月2日隔夜重要動態一覽:21:00-7:00關鍵詞：農業農村部、Telegram、USDT增發

1.農業農村部信息中心課題組：利用區塊鏈等保障農產品質量安全。

2.法官拒絕Telegram向非美國投資者發行Gram代幣的請求。

3.《窮爸爸，富爸爸》作者：遠離現金并購買比特幣。

4.CME比特幣期貨4月合約收跌4.09%。

5.報告：比特幣礦工正在進入“投降模式”。

6.Tether向以太坊網絡增發6000枚USDT 已授權未發行。

7.10億枚XRP從托管錢包轉出 隨后9億枚被鎖定。

8.Chainalysis報告：暗網活動與比特幣價格呈現前所未有的高度相關性。

9.比特幣夜間反彈上漲，由6150美元最高漲至6594.95美元。[2020/4/2]

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

金色午報 | 12月27日午間重要動態一覽:7:00-12:00關鍵詞：最高法、北斗、蘇通鏈、V神、期貨合約、ETC

1. 最高法：促進區塊鏈等在內的數字絲綢之路建設。

2. 國務院參事：要處理好數字貨幣與現行電子支付工具的關系。

3. 北斗系統新聞發言人：北斗正在與區塊鏈等新技術加速融合。

4. 江蘇企業間聯盟鏈“蘇通鏈”在南京大學發布。

5. 中國電子技術標準化研究院發布三項區塊鏈團體標準。

6. V神：短期內需并行開發區塊鏈第1層和第2層協議。

8. 愛沙尼亞總統：Libra不能用作貨幣。

9.火幣、OKEx、芝商所等多家交易所季度及半年期合約將于今日結算。

10.近一周以太經典ETC全網活躍地址數出現大幅上升。[2019/12/27]

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：CASSPEASPCasperCASHSPEC幣kaspa幣24年價格預測CasperLabs

火幣交易所