驗證者證明

證明是驗證者投出的票，通常在其被指派的時隙、每個紀元一次，宣告它對鏈的當前看法。它是以太坊共識的原料：提議者偶爾才產出區塊，但來自整個驗證者集合、源源不絕的證明流，才是真正決定鏈頭、證成檢查點、並賺取驗證者大部分獎勵的東西。若說驗證者是權益證明的心跳，那麼證明就是每一次搏動。

單一張證明捆綁了三種投票。鏈頭投票（LMD-GHOST 票）指名驗證者目前視為鏈頭的區塊，餵給分叉選擇。FFG 票指名一個來源檢查點與一個目標檢查點，餵給 Casper 的證成與最終化。每張證明都繫於特定的時隙與委員會索引，以便正確計票。驗證者因準確而及時的證明而獲獎——投給最終的鏈頭、正確的目標、並迅速納入——而因遲到、出錯或缺席而受罰。

規模迫使聚合。在數十萬名驗證者下，把每個簽章都上鏈是不可能的，因此證明以 BLS 簽署，這讓眾多相同的票得以合併成一個可在單一運算中驗證的聚合簽章。在每個委員會內，聚合者收集一致的證明並予以合併；正是這一點，使鏈得以每個紀元都計入超級多數的質押而不被資料淹沒。兩張違反罰沒條件的證明——同一目標紀元、或互相包圍的跨距——便是可發布的證據，會燒掉違規者的質押。