區塊鏈:金色觀察｜為Casper FFG延長驗證epoch區間_casper幣最新消息

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

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

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

分析 | 金色盤面：BTC期貨合約持倉變化:金色盤面綜合分析： 據OKEX數據顯示，目前做多賬戶65%，做空賬戶34%，多頭持倉比例22.18%，空頭持倉比例22.84%，從數據看，目前做多賬戶比例較高，但持倉水平下降，說明多頭倉位不占優勢，而市場累計的獲利籌碼在增加，短線調整壓力加大。截止發稿，當周BTC0831合約價格為7068美元，現貨價格為7057美元，升水9美元，說明市場投資者對于遠期趨勢看多。[2018/8/29]

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

金色財經獨家分析 “小摩”區塊鏈領域進展迅速:一直以來，“小摩”摩根大通主動擁抱區塊鏈繼續，并已經實現了較快的發展。摩根大通高管在面對媒體是對于區塊鏈提高可信度降低成本的優勢表示贊許。摩根大通是最早發現區塊鏈漏洞的機構投資者之一，早在2016年就首次創建了分布式加密賬簿Juno，同年與EthLab合作，開發Quorum使其成為跨境支付行業標桿。近日消息稱摩根大通考慮拆分區塊鏈項目Quorum，而在上周五，據路透消息，摩根大通已經與加拿大國家銀行和其他大型公司測試使用了一個新的區塊鏈平臺，主要用于發行金融工具，他們希望能借此簡化貸款發放、結算、利率支付和其他流程。金色財經分析，作為華爾街巨頭和投行霸主摩根大通已經在在區塊鏈應用上一直持開放態度，并逐步將區塊鏈轉化為生產力。傳統金融應該主動擁抱區塊鏈，用金融創新實現資源的優化和整體效益的提升。[2018/4/20]

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

金色財經獨家分析 區塊鏈技術是醫療數據的最佳守門人:據外媒消息，韓國漢陽大學醫學中心與區塊鏈公司MediBlock簽署諒解備忘錄，將病例、醫學檔案存儲在區塊鏈平臺上。該平臺可幫助醫生、內部工作人員共享醫療數據。金色財經獨家分析，醫療數據泄露問題，大眾對此缺乏關心，然而根據《衛報》披露的消息稱，英國國家保健醫療系統（NHS，National Health Service）丟失了高達50萬份的醫療資料。醫療數據是極為隱私的數據，一旦泄露將對患者造成精神、身體、財產等多方面的傷害。另一方面醫學研究需要現實的醫療數據作為支持，如何在保護病人隱私的情況下調度醫療數據一直存在爭議。而區塊鏈技術本身具備的屬性能夠使得原本存儲在第三方大中心之下的醫療數據權力回歸到患者手中，既公開透明又能提供隱私保護，對于醫患雙方而言都有益處。區塊鏈技術將是醫療數據的最佳守門人。[2018/4/10]

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：區塊鏈CasperSPEASP區塊鏈最直白的解釋casper幣最新消息SPELL價格BKASPA價格

Fil