超越強森界限：縮小抗量子密碼證明的數學挑戰

值得記下的 5 件事

1. [3:20]
   糾錯碼也能用於驗證運算 里德－所羅門碼把訊息編成較長的碼字，在錯誤數量不超過可修復範圍時，仍可還原資料

   用於運算證明時，程式的中間執行步驟可編入多項式，再搭配其他檢查，讓驗證者不必重做整段運算。

2. [16:20]
   超過強森界限，不等於已證明無法解碼 講者將強森半徑介紹為「一減去碼率的平方根」；碼率是原始訊息長度與碼字長度的比值

   在強森界限涵蓋的範圍內，附近候選碼字的數量有多項式上界，也就是隨碼長至多按固定次方增長。超出此範圍後，候選清單仍可能很小，只是原有保證不再適用。

3. [26:40]
   更好的 MCA 界限可能減少驗證查詢 MCA 關心的不只是各向量分別接近某個碼字，還要求它們能在同一組足夠多的位置符合各自的有效碼字

   講者指出，FRI 與 WHIR 使用隨機線性組合測試低次多項式；若能更嚴格限制誤判機率，就可能在相同安全水準下減少查詢、縮小證明。

4. [28:20]
   獎題要找出低錯誤機率下可容許的最大距離 講者介紹，以太坊基金會百萬美元接近性獎題中的主要 MCA 挑戰，是在指定碼率與求值點集合等條件下，找出仍能維持極小錯誤機率的最大容許距離

   縮小證明、以數學證明取代未證猜想，是研究目標，不是這場工作坊已完成的成果。

5. [35:00]
   突破界限的研究仍有適用條件 講者說，Better Codes 先針對固定參數推進界限，後續論文再於有限體足夠大的條件下推廣；有限體是只有有限個元素、可進行四則運算的數學系統

   由於問答對例外情況的說明仍不明確，且講者承認需要進一步研究，不能將其解讀為所有參數下都已突破。