後量子隱匿地址實驗：部分形式化驗證與鏈上成本限制

值得記下的 5 件事

1. [4:20]
   以概念驗證探索後量子隱匿地址 講者轉向以格為基礎的方案，希望將既有研究做成可測試的實作

   規範草案、新方案識別碼、測試向量與參考函式庫都是專案目標，不能因此視為已完成或獲採納的標準。

2. [5:00]
   部分形式化驗證不等於全面安全保證 講者表示，已對部分內容做形式化驗證，但仍有想法尚待貢獻

   他提醒，這類工具檢查的是程式碼是否遵循規格，規格邏輯是否正確仍須由人判斷，不能當成安全萬靈丹。

3. [6:40]
   外部貢獻帶來混合方案 講者表示，有外部貢獻者向他的程式碼儲存庫提出後量子隱匿地址的混合方案，他已接受該貢獻

   他也試驗不同簽章方案，但未在分享中交代這些方案的完整安全驗證結果。

4. [8:20]
   公告資料量與簽章費用須分開評估 講者分別討論鏈上公告的資料量，以及後量子數位簽章 ML-DSA 的費用測試

   他認為簽章方案在交易費低時可用，但網路壅塞時會變得昂貴；逐字稿未提供完整測試條件，不宜推廣為所有情境下的成本結論。

5. [8:40]
   零知識證明替代簽章仍有實用性限制 講者嘗試以零知識證明替代簽章本體，希望降低鏈上執行費用，但坦言嘗試效果不佳

   他指出，成本改善高度依賴底層證明系統，因此不能保證這條路未來能實用化。