Token2049 及一系列的 side event 在新加坡举行，在一周的行程里见了太多的人，在此简单记一下流水账，权当留念和思考成果，欢迎各位老板指正。ZK目前市场对于 ZK 项目越来越没有耐心：首先是 moonmath 仍然不能被大多数人理解，不能将 Vitalik 的 type-x zkEVM 翻来覆去的讲；其次是很多 rollup 迟迟不上主网，撸毛用户也怀疑自己是否看得到天亮；再者是 ZK 项目越来越多，优劣难辨，无论是否需要 ZK，都在某个 workflow 里面加上一步 ZK，然后将 ZK 加入自己项目的名字。不要看项目方做了什么，而是思考我还能做什么：ZK 的项目越来越偏模块化，做出一个高估值 L2 项目的时间窗口已经过去，现在要么做垂直应用的 ZK 化，要么做 ZK 底层的优化（硬件加速、开发者工具、社区教学）。ZK 的形式化验证，以及 Sequencer 和 Prover 去中心化之后的 MEV，乃至 L2 的安全问题（说不好是红队还是蓝队），都是存在机会的点。一个顶级 L2 的技术老哥直言，目前的 ZK 系统不大可能是一个 bug-free 的系统。L2 ...