Casper 權益證明算法有哪些未解決的問題？
乙太坊計劃在名為 Serenity 的未來版本中遷移到 Casper 權益證明算法。有評論稱 Casper 的“基本機制現在已經相當穩固”。
Casper 算法有哪些細節還沒有具體說明？Casper 有哪些未解決的問題和已知的未知數，按重要性的粗略順序排列？
2017 年 3 月 / 4 月 Vitalik Buterin 關於 Casper 的更新
仍需完成：
（1）完成CASPER合約程式碼（完成3/4）。
剩下的 25% 有待實施：
- 消息的序列號機制（需要完全驗證 slashing 條件）
- 從檢查 ECDSA 簽名切換到檢查任意驗證碼
(2)完成驗證者守護程序邏輯（進行中）
驗證器守護程序將是一個在鏈下執行的程序（不是在區塊鏈上，而是在使用者的機器上），它與 Casper 合約互動，因此節點知道何時發送正確的消息（可以看到更多關於準備/送出消息的資訊這裡）來驗證一個塊。
(3)完成分叉選擇規則（進行中）
分叉選擇規則將是每個節點執行的一段程式碼，以確定規範（最長）鏈將在什麼條件下生成。這是為了確保一個節點在獲勝鏈上下注。如果一個節點在虛假（惡意）鏈上下注，則該節點（驗證者）將失去其押金。這是保護區塊鍊網路的一個非常重要的方面，因為它是確定關於哪個區塊鍊是規範鏈的共識的地方。
(4)驗證者存款最小規模的問題。 即“我必須質押多少 ETH 才能抵消發送準備/送出消息的 gas 成本（交易費用）並獲利？”
VB的回答：
這是一個棘手的問題。這裡有一個隱含的最低限度，因為你必須支付 gas 來準備/送出，所以除非你存入至少 1000-4000 ETH，否則它是無利可圖的。我們正在考慮的一種可能性是在後期階段以折扣價硬分叉，專門用於與該契約相關的執行，但這還遠未最終確定。
所有內容均摘自 Jim Manning 2017 年 4 月 5 日的這篇文章：https ://www.ethnews.com/proof-of-stake-vitalik-buterin-shares-casper-contract-code