零知识证明1985年就诞生了，过去这40年，零知识证明一直被调侃为“月球数学”的神秘技术，但现在他从实验室走向了数字经济的最前沿。回顾整个ZK赛道的发展轨迹，有一个明确的结论可以给出了：ZK不再是可有可无的隐私补丁，而是下一代互联网的信任底座。 今年跑出来的ZK相关性项目很多，兄弟们可能都会给他们归类为ZK赛道项目，但是我想说他们细分比我们想象的更精细。就以生成证明 → 批量验证 → 各链确认的生命周期来划分，Sunccinct、Boundless他们定位的是证明生成的阶段，不过这个赛道还存在一个结构性的问题，就是验证瓶颈，最近在看的zkVerify @ZKVProtocol 就在这方面给了一些解决方案。 zkVerify是 @HorizenLabs 推出的一个项目，后者推出了Base生态上第一个隐私应用链，而zkVerify是第一个专用证明验证链。 验证效率的意义怎么说呢，就像沈阳铁西BMW工厂，虽然产能很牛B，但是物流跟不上，所以没法把3系、5系快速的送到用户手里。最后他们在沈阳境内修了直通厂区的铁路直达港口。对于ZK赛道来说，一样需要提高生产力的“物流系统”。 如果只吹概念大家可能不理解验证面临的性能问题多严重，就这么说吧，在以太坊上验证一个Gorth16证明高峰期成本高达60U，就2024年一年ZK协议在以太坊上烧了5500万Gas，更要命的是，以太坊每秒只能处理最多15个证明验证，所以这怎么让行业发展？ zkVerify作为全球首个专用证明验证链，通过兼容性支持STARKs、Plonky2、SP1等多种证明系统，能直接能把成本打掉90%，他最核心的设计是把证明生成和证明验证进行解耦，这个设计真的就是为当下ZK生态而生，以后专业弄证明的去弄证明，他负责验证就行。 作为新兴的验证系统，zkVerify还在探索更宏大的叙事，就是 AI x ZK 的融合。现在讲AI的项目多如牛毛，我觉得zkVerify很有价值的一点是他们非常看重开发者社区，真正在做实事。大概看了下他们过去一年在blog和YouTube上的更新内容，分享了很多合作故事，可以看出他们是怎么从一步步build起来的。 下周9月30日他们就TGE了，从代币经济学里也可以看出团队的发心，项目所产生的所有验证证明费用都会用 $VFY 支付，社区份额占37.31%也是最多的。现在还有参与的机会，...