#night $NIGHT 做了6年纯种布偶猫繁育，开了3家连锁猫舍，上个月我想搭一套链上猫咪血统隐私核验系统，解决繁育

小头爸

#night $NIGHT 做了6年纯种布偶猫繁育，开了3家连锁猫舍，上个月我想搭一套链上猫咪血统隐私核验系统，解决繁育圈最头疼的血线泄露、套证造假问题，选了@midnight 的Compact合约做底层，实测半个月项目直接停摆当初就是被官方“IOG学术级严谨”的宣传吸引，结果深入扒完才发现全是口嗨。先是翻到Kryll的X-Ray审计报告，明确指出核心合约有严重中心化风险，管理员可直接拉黑地址、无限制增发代币，和我要做的去中心化血统存证完全背道而驰。更离谱的是，我实测跑了个最简单的猫咪血统核验合约，编译器能生成电路约束，可配套的形式化验证工具链完全没开源，我根本没法独立验证约束与源代码逻辑是否等价，只能信任官方的黑箱编译器，完全meif保证血线数据的安全。
我对比了同赛道的Aleo，Leo语言配套了全开源的形式化验证工具，社区可独立审计电路，而Midnight的编译器全程黑箱。做安全的朋友说得很直白：“没有形式化验证的ZK电路，就像没有做基因检测的纯种猫证书，你敢给繁育圈用？”我还在测试网跑多代血统溯源的复杂合约，本地证明服务器频繁栈溢出崩溃，查了半天才发现是Compact的witness函数用TypeScript编写，递归深度过大时V8引擎扛不住，可官方文档里连半个字的递归限制都没写，全靠自己踩坑试错。
社区里更是离谱，85%都是有开发经验的用户，天天在频道里问编译器报错看不懂、证明生成卡死，主网上线前一个月官方还在大修开发文档
现在我彻底停了项目，删掉了所有测试合约，我的结论很明确：Midnight的安全叙事再强，形式化验证、编译器透明性、运行时稳定性这三块补不齐，所谓的学术级严谨就只是口号。在OpenZeppelin完整审计报告落地、形式化验证工具开源之前，我绝对不敢拿繁育圈最核心的血线数据去赌这个半成品。@MidnightNetwork  #BTC