第 0 階段的 Casper FFG 是否從目前的 ETH 1.0 POW 鏈中獲取其檢查點？
第 0 階段的 Casper FFG 是否從目前的 ETH 1.0 POW 鏈中獲取其檢查點？
我正在閱讀一些相互矛盾的材料。Casper FFG 論文描述了每 50 個 POW 塊設置一個檢查點——這改變了嗎？POW 鏈上的區塊每 12 - 15 秒創建一次，因此 50 個區塊約為 60 - 75 秒，但完成交易需要 2 個檢查點（120 - 150 秒）。是這樣嗎？使用 Casper FFG POS 完成交易需要 2 分鐘嗎？
{1} 第一篇混合 Casper FFG 論文：https ://arxiv.org/abs/1710.09437
{2} 新的混合 Casper FFG 概述論文：https ://arxiv.org/abs/1903.04205
{3} EIP1001（也指定常量）：https ://github.com/ethereum/EIPs/blob/master/EIPS/eip-1011.md
感謝您提出這個有趣的問題，在創建答案的過程中我學到了很多東西。
1. Casper FFG 在階段 0 是否從目前的 ETH 1.0 POW 鏈中獲取其檢查點？
是的，第 2.0 節第一句，在第一階段它將是一個混合鏈，在此期間，casper 在舊 POW 鏈{1}上執行。
在乙太坊內部，提案機制最初將是現有的工作量證明鏈，使 Casper 的第一個版本成為混合 PoW/PoS 系統。在未來的版本中，PoW 提議機制將被更有效的東西所取代。例如，我們可以想像將區塊提議轉換為某種 PoS 循環區塊簽名方案。
2. Casper FFG 論文描述了每 50 個 POW 塊設置一個檢查點 - 這是否改變了？
是的，它已經改變了，在最初的論文中，他們從 100 個區塊開始，然後 EIP 1011 發布，建議 50 個區塊{3}。
EPOCH_LENGTH：50 個區塊
從那時起，一個 epoch，即檢查點之間的時間，等於 50 個區塊。在概述 Casper FFG {2}的新論文中也提到了這一點。
l ∈ N 表示 epoch 長度：一個 epoch 被定義為兩個檢查點之間的連續塊序列，包括第一個但不包括後者。塊 0（也是一個檢查點）表示創世塊。在本文中，我們將假設 l = 50
3. 完成交易是否需要 2 個檢查點（120 - 150 秒）？
請注意，每個檢查點只有在完成後才變為“不可恢復”。其先決條件是檢查點具有來自合理祖先檢查點（第一個合理檢查點是創世塊）的絕對多數連結（> 2/3 POS 投票，基於質押數量），並且還具有與直接子檢查點的絕對多數連結。（到祖先檢查點的絕對多數連結和對子檢查點的投票必須最遲包含在與子檢查點關聯的塊中。）{1}
據我所知，在最好的情況下，這需要 2 個時期。
EPOCH_LENGTH = 50 blocks在這種情況下，完成一個檢查點需要 50-99 個塊（帶）。最近的論文確實支持這種說法{2}：如果正確投票的驗證者控制超過 2/3 的股份，那麼最終確定和因此，活躍性是立即的。
他們還在論文中包含了一個圖表，該圖表描繪了惡意選民的比例將需要多少個 epoch。只是為了給你一些數字，
α表示誠實的選民比率（就賭注金額而言）{2}：對於 α = 0.33、0,49 和 0.51，α-強驗證器恢復最終確定所需的 epoch 數分別為 3733、2698 和 2546。
4. 使用 Casper FFG POS 完成交易需要 2 分鐘嗎？
只要 Casper FFG 在混合 PoW/PoS 鏈上執行，它所花費的時間就會比通常的確認時間略長。我認為確認時間大約在 10-50 個區塊，具體取決於資金接收者希望擁有的確定性水平。使用混合 Casper FFG，它將需要 2 個 epochs = 100 個塊（使用
EPOCH_LENGTH = 50 blocks）{2}：最後，儘管提高了安全性，但檢查點機制並沒有減少確認時間（2 epochs = 100 個塊）。
我認為這是基於這樣一個事實，即 50 個或更多塊的 PoW 分叉是極不可能的（實際上是不可能的）。
如果開採 1 個區塊平均需要 14 秒，那麼確認時間將在
100 * 14 seconds ≈ 23幾分鐘左右。