ZK 的大规模真实采用，过去一直被两座大山卡着：太难写，且算力太贵。

撰文：Haotian

ZK 的大规模真实采用，过去一直被两座大山卡着：太难写，且算力太贵。但最近赛道里两个即将落地的「阶跃函数」（Step functions），有望改善这一问题：

一个是 @openvm_org 即将推出的 OpenVM V2，它让开发者能用熟悉的通用语言编写业务，底层引擎会自动将其稳健地「翻译」成 ZK 证明；

另一个是 @powdr_labs 带来的生产级自动预编译（Auto-precompiles），编译器能自动识别耗时的密码学操作，直接路由给最优硬件处理，免去了开发者手动死磕底层优化的痛苦。

这两个突破，相当于给开发者配备了「傻瓜式编译器」，和「自动加速挡」。

但这为什么对 ZK 赛道是利好呢？

我们不妨做一下商业逻辑推演就清楚了：因为当开发门槛趋近于零、ZK 应用迎来井喷时，必定会催生海量的证明（Proving）计算需求。而现在的 ZK 赛道 Proving Market 解决方案反倒先行了，但 ZK 应用的需求还不够....

这正是为何， @boundless_xyz 这类开放证明市场会对这对技术进步抱有期待的核心原因，毕竟，没有 ZK 的大规模应用落地需求，哪来的海量证明计算需求？又如何在技术虚无化的当下自证其自身 ZK Prove 技术的领先性与商业价值呢？

所以，这两个 Step Functions 的到来，对 ZK 赛道的整体进步其实挺重要的。因为它把前端的 ZK 开发编译与后端的算力证明彻底解耦，前端开发者专心找应用场景，后端算力枢纽专心卷证明效率与成本。

二者同步进步晒成绩，才能真正意义上推动 ZK 赛道爆发。