看看 @mtteom_ 的这个新的 ZK 实现 一个与 Jolt 兼容的纯 Zig zkVM 证明器,零依赖,零 FFI