FRIVail：以二元有限體與逐列抽樣設計支援資料可用性

值得記下的 5 件事

1. [1:40]
   既有方案各有安全性與驗證成本的取捨 講者指出，KZG 多項式承諾依賴雙線性配對與離散對數問題，因此缺乏後量子安全保證

   以 Merkle 樹搭配詐欺證明的設計，則須考量挑戰期造成的等待時間；不宜將這些限制概括為所有資料可用性方案的共同問題。

2. [16:40]
   二元有限體運算與糾刪碼是方案基礎 講者主張，二元有限體比質數有限體更適合處理器運算

   FRIVail 將資料轉為多項式，再使用 Reed-Solomon 糾刪碼加入可供復原的冗餘資料；冗餘量可以調整，簡報中的基準測試採編碼後資料量為原始資料兩倍的設定。

3. [9:00]
   額外查詢用來補足 FRI 的接近性保證 FRI 的接近性保證，不等於每個抽樣位置都已確認符合所需的編碼關係

   講者說明，FRIVail 採用受 FRIDA 啟發的額外查詢，沿各層折疊結果進行檢查，以機率性方式偵測不一致，而非宣稱能毫無誤差地排除所有竄改。

4. [7:20]
   按列分片是避免全網搬運完整資料的設計方向 講者提出，讓驗證者子集負責特定列的資料，以減少每個節點都接收完整資料的需求

   整體系統可考慮依賴共識的經濟保障，或聚合各列證明；在零知識證明中遞迴驗證 FRI 證明，也被列為後續可採用的路徑，並非已完成的部署成果。

5. [12:40]
   效能與部署進度須保留測試限制 講者稱，約 4 MB 資料的承諾生成相較 KZG 約快五至六倍，但逐字稿未完整交代硬體與比較設定

   他也表示開發網及測試網已上線、主網部署仍在進行；這些測試數字不能直接視為正式網路的實測表現。