基於哈希的 SNARK 正在成為以太坊後量子路線圖的核心，但它們的安全性究竟如何？ 在這一集（@leanEthereum 小型系列的第三部分），@nico_mnbl 與 @GiacomoFenzi 和 @asanso 交談，探討後量子 SNARK 的理論和安全性。 他們涵蓋了： – LeanVM 背後的 SNARK 堆疊（多線性算術化 + 總和檢查） – 100 萬美元的接近差距獎和它引發的新研究浪潮 – 最近的結果如何影響基於哈希的證明系統的安全邊際 – 為什麼以太坊正在朝著可證明的安全體系邁進，以確保長期協議的安全性 他們還探討了編碼理論、列表解碼和基於哈希的證明系統中的開放問題。 收聽完整的集數 —----- 時間碼 02:24 – 為什麼以太坊需要後量子 SNARK 03:30 – LeanVM SNARK 堆疊（多線性 + 總和檢查） 04:53 – 100 萬美元的接近差距獎 12:04 – 新研究論文的浪潮 12:52 – 約翰遜界限與容量界限 21:24 – 對已部署 STARK 的新攻擊分析 27:07 – 為什麼 128 位安全閾值很重要 30:26 – 後量子 SNARK 中的開放研究問題