leanVM 是什么 @drakefjustin？

基于哈希的SNARK正在成为以太坊后量子路线图的核心，但它们到底有多安全呢？ 在这一集（@leanEthereum迷你系列的第3部分）中，@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中的开放研究问题