熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Zero Knowledge Podcast
我們在這裡談論去中心化和技術，開源社區和ZK證明。僅限受邀嘉賓。房東：@AnnaRRose
基於哈希的 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 中的開放研究問題
2.24K
熱門
排行
收藏