Edited by ZKPunk

Highlights

Kohaku

Kohaku is a research and development project championed by the Ethereum Foundation to create a reference implementation for the next generation of smart contract wallets. Its core mission is to enhance both user experience and security on Ethereum. Key features include built-in account recovery, meta-transactions (sponsoring gas fees), and a modular "intent" based system, allowing users to specify what they want rather than how to execute it. The project serves to establish a new standard for wallets across the ecosystem.

Kohaku 是以太坊官方推动的一个研究与发展项目，旨在构建下一代智能合约钱包的参考实现。其核心愿景是改善以太坊的用户体验和安全性，关键特性包括：内置的账户恢复功能、无需支付主网 Gas 费的元交易，以及一个模块化的「意图」系统，使用户能够声明其交易目标，而无需处理复杂的执行细节。该项目旨在为整个生态系统树立钱包标准。

Lattice-based SNARKs, w/ Vadim Lyubashevsky

Nicolas Mohnblatt and Vadim Lyubashevsky introduce post-quantum cryptography based on lattices, explaining the hard problems like the Small Integer Solution (SIS) problem that are believed to be resistant to quantum computers. Vadim demonstrates how to build commitment schemes from these problems and then develops a proof system to prove knowledge of a committed vector with a small norm, a critical security requirement. The presentation details the “left-right” proof technique for proving precise quadratic relations (like norms) and concludes by showing how moving from integers to polynomial rings dramatically improves the efficiency of these cryptographic constructions.

在这个视频中，Nicolas Mohnblatt 和 Vadim Lyubashevsky 介绍了基于格的后量子密码学。他们解释了像「小整数解」问题这样被认为能够抵抗量子计算机攻击的困难数学问题。Vadim 演示了如何基于这些问题构建承诺方案，并进一步开发了一个证明系统，用于证明某人掌握着一个具有小范数的已承诺向量——这是一项关键的安全要求。该演示详细介绍了用于证明精确二次关系的「左右」证明技术，最后说明了从整数域转移到多项式环如何能显著提升这些密码学构造的效率。

ZKPassport, Obsidion & the Emerging Noir Ecosystem

They discuss Noir’s evolution and their contribution to this accending zkDSL, how subcircuits and subproofs enable mobile proving, how ZKPassport differs from projects like Self and Rarimo, how they integrated ZKPassport in the wild with DevCon and Aztec, and their plans for better UX and user-friendly apps.

讨论内容涵盖了 Noir 这门日益流行的零知识领域专用语言的演进及其他们的贡献、如何利用子电路和子证明来实现移动端证明生成、ZKPassport 与 Self 和 Rarimo 等项目的区别、他们如何在 DevCon 大会和 Aztec 网络上实际集成 ZKPassport，以及他们未来打造更优用户体验和用户友好型应用的计划。

Updates

Complexity and Linear Algebra Boot Camp

V2: Gauss's Algorithm (Lattice Basis Reduction)

PKC 2025

lean ethereum | PQ workshop

A three-day Ethereum Post-Quantum Workshop was organized in Cambridge, London from October 4th to October 6th this year.

于今年十月四日到十月六日，在伦敦剑桥组织的为期三天的以太坊后量子研讨会。

Ethereum PQ Interop 4-6 Oct '25 Notes

Author shares the daily discussions and key takeaways from his on-site participation in the Ethereum Post-Quantum Workshop.

作者分享了他实地参与以太坊后量子研讨会的每日讨论内容和要点。

Papers

ZKExpress (October 8, 2025)

If you’d like to receive updates via email, subscribe us!

🎉 Supported by GCC 🎉