看看這個 @mtteom_ 的新 ZK 實現 一個與 Jolt 兼容的純 Zig zkVM 證明者,無依賴,無 FFI