在 @Cambridge_Uni 举办的 Lean Ethereum PQ Workshop 上，由 @drakefjustin 和 @ethereumfndn 组织，Nethermind 的形式化验证团队展示了关于 zkVMs 的端到端验证研究，用于 L1 证明。 会议重点讨论了后量子签名、递归 SNARKs，以及基于 Lean 的以太坊验证。点击下方链接观看我们形式化验证负责人 @JulekSU 的演讲。 https://www.(youtube.com)/watch?v=muryYp1ZIO8&list=PLJqWcTqh_zKGPctGzVOBllZnCPQj-g7d3&index=21