前段时间手机屏坏了，以前这种事只能去线下店，师傅说多少钱就多少钱，你也不知道他换的是不是原装屏，换完出了问题还得再跑一趟

蛙里奥

前段时间手机屏坏了，以前这种事只能去线下店，师傅说多少钱就多少钱，你也不知道他换的是不是原装屏，换完出了问题还得再跑一趟。
后来在网上找到一个拆机视频，闲着没事跟着做下来自己换了。整个过程不到两个小时，零件网上买的比店里便宜一半。

今天我正好看到了拆机视频我就再想，这个师傅积累了多少年的技术被一个视频平坦化了。


$NIGHT 所在的@MidnightNetwork  在做一件类似的事，只不过被平坦化的是零知识证明。
ZK技术是密码学里门槛最高的方向之一。一个开发者想从头写一个ZK电路，需要先椭圆曲线密码学、多项式承诺方案、证明系统的数学基础，这条路走下来没有两三年专项学习根本入不了门。
这条路走下来，没有两三年的专项学习根本入不了门。结果就是全球能真正做ZK开发的人极少，隐私应用的开发速度极慢，整个赛道被技术门槛锁死在一个很小的圈子里。

@MidnightNetwork 的Compact语言正在改变这个现状。
Compact基于TypeScript。TypeScript是目前全球第二流行的编程语言，Stack Overflow每年的开发者调查里它常年排在前三。

全球会写TypeScript的开发者数量，保守估计在一千万量级以上。Compact让这批人可以直接写隐私合约，不需要先学密码学，不需要理解ZK电路的底层逻辑，Compact编译器负责把合约翻译成需要的密码学材料和电路描述。
这个设计的关键不是TypeScript本身有多好，而是它已经存在于几乎所有现代前端和全栈开发者的技术栈里。一个做Web2产品的开发团队，想在他们的应用里加一个隐私功能，不需要招募ZK专家，不需要培训现有团队学新语言，直接用他们已经在用的工具就能开始。
这个摩擦成本的降低，比任何技术参数都重要。


我自己换手机屏那件事，平台化之后改变的不只是我一个人的体验。全国有多少个手机维修师傅，他们的定价权在视频教程普及之后发生了什么变化，这是另一个话题，但技术被工具化之后市场结构会变，这件事是真的。

Compact如果真的让大量TypeScript开发者开始写隐私合约，ZK应用的数量会发生什么变化？现在全球ZK应用屈指可数，因为能写的人太少。门槛降下来之后，这个数字理论上可以快速增长。但理论上和实际上之间有距离——Compact现在还在测试网阶段，开发者工具是否足够完善，文档是否足够清晰，社区支持是否到位，这些东西决定了有多少开发者真的会迁移过来，而不只是看了一眼觉得有意思然后继续用他们熟悉的工具。


白皮书里提到Midnight会提供教程、开发环境和支持框架，主动降低上手门槛。这是对的方向，但执行质量才是关键。开发者社区对工具的要求很高，文档烂、调试体验差、报错看不懂，再好的语言设计都留不住人。
我换完手机屏之后，那个视频博主评论区里有人说：以前觉得这事很神秘，原来就这样。Compact想让开发者对ZK隐私合约产生同样的感觉——原来就这样，我也能写。

能不能做到，去看主网上线之后开发者社区的实际反馈，比白皮书里写的任何东西都说明问题。
#night