Grandine 整合可選執行證明，不改變既有共識驗證流程

值得記下的 5 件事

1. [0:40]
   可選證明不取代既有執行驗證 講者將 EIP-8025 定位為與重新執行並行的測試途徑，用來累積對證明技術的信心

   Grandine 仍由執行客戶端驗證酬載；證明處理不改變酬載有效性、目前鏈頭或分叉選擇，也就是節點判定應跟隨哪條鏈的流程。

2. [1:00]
   證明必須對應節點已接受的酬載 Grandine 不只檢查證明在密碼學上是否有效，還會依區塊已接受的酬載自行建立預期公開輸入，再比對證明所承諾的資料

   團隊指出，規格與證明系統對酬載請求的雜湊計算不同，因此保留規格計算方式，另加相容層並以獨立參考實作核對。

3. [2:20]
   證明傳播須主動啟用，並排除重複證明 節點須開啟設定才會訂閱證明傳播主題，預設不啟用

   Grandine 也設置統一的接收檢查關卡，避免多個工作執行緒重複處理證明。私有開發網路測試中，同一區塊、同一證明類型已有有效證明後，第二份證明會被忽略。

4. [7:40]
   私有開發網路測試涵蓋接受與拒絕路徑 團隊回報，相符的模擬證明獲接受、儲存及轉送

   真實 SP1 證明雖通過密碼學驗證，卻因對應不同酬載而遭拒；翻轉證明中的一個位元後，則連密碼學驗證也失敗。這並未展示真實且相符的證明獲接受。

5. [8:40]
   Sepolia 接軌與資源防護仍待完成 團隊將接收並驗證 Sepolia 證明列為目標，須先對齊證明所用的虛擬機、受證明程式及公開輸入

   後續也計畫加入區塊定案後的證明清理、要求多種證明類型中至少有指定數量有效的門檻，以及驗證速率限制；這些尚非已完成成果。