Show HN：Zephirum —— 一个证明你无需计算的编译器

Zephirum 是一个"必要性编译器"，先用 ZCA 消除阶梯证明计算是否必要，只执行剩余部分并附可验证证书。在 50 万个随机问题上测试耗时 14 秒、0 个错误答案，证书独立验证 500000/500000 通过，76.5% 的计算被证书消除，另有 6.3% 诚实返回 UNKNOWN。项目为纯 Python 3 实现，无依赖、无 LLM、无云端，含独立验证器与多目标转译器。