金色觀察｜為Casper FFG延長驗證epoch區間_ASP:nex幣和kaspa

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

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

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

金色晨訊 | 格萊德基金會收到孫宇晨捐款 巴菲特午餐推遲舉行 紐約金融服務部成立新部門監管加密貨幣業務:1.格萊德基金會：已收到孫宇晨和其公司的全部4567888美元捐款，所有各方均同意重新安排時間。

2.Bakkt已開啟比特幣每日和每月期貨合約全球用戶測試。

3.紐約金融服務部成立研究與創新部門，負責監管加密貨幣業務。

4.Facebook和Instagram上出現12個假冒Libra網站。

5.基于EOS發行的USDT已經開始測試，Bitfinex旗下的eosfinex將于7月25日上線。

6.平安集團聯席CEO：已在大灣區、香港、東南亞推出了區塊鏈中小企業平臺。

7.德國監管機構批準2.8億美元的以太坊代幣化債券銷售。[2019/7/24]

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

金色晨訊 | 李笑來任雄岸科技執行董事 泰國試驗區塊鏈打擊稅務欺詐:1.紐約州議員：需與各方合作為加密貨幣找到平衡監管制度；

2.騰訊將協助恒生利用區塊鏈等開發科技解決方案；

3.渣打銀行與巴西上市銀行合作開發區塊鏈貸款平臺；

4.俄亥俄州政府通過BitPay接受BTC及BCH付款；

5.泰國政府試驗區塊鏈打擊稅務欺詐；

6.V神：加密貨幣下一次的應用不會建立在炒作之上；

7.瑞士金融市場監管局將為區塊鏈公司頒布新可證；

8.李笑來出任雄岸科技執行董事與聯席CEO；

9.韓國新財長：擬向數字貨幣和初始數字貨幣發行征稅。[2018/12/4]

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

金色財經現場報道 騰訊金融科技高級研發總監：區塊鏈在支付領域面對三大挑戰:金色財經現場報道，在2018大數據產業峰會上，騰訊金融科技高級研發總監李茂才表示，目前區塊鏈應用在支付系統方面有著三大挑戰，第一位CAP三角，其性能高可用性、數據一致性、分區容忍度方面存在挑戰；第二挑戰位隱私保護，如何在區塊鏈中保護用戶的隱私是一大挑戰；第三個挑戰為海量存儲，每個節點發生數據增長，其他所有節點都要全部存儲。[2018/4/19]

Vlad最早開始設計機制時，特別是希望Casper可以更強健地抵制寡頭形成，并且拋棄掉一些其他算法的問題，比如傳統拜占庭容錯理論（尤其擁有硬上限，比如實用拜占庭容錯算法PBFT和Tendermint中的2/3），在徹底改造BFT理論后，則出現了Correct by Construction的方法，即CBC。

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

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

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

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

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

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

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

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

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

Tags：ASPCASSPECaspernex幣和kaspaSquirrel Cashsperax幣挖的幣怎么辦casper幣最新消息

波場