Hãy xem triển khai ZK mới này của @mtteom_ Một prover zkVM tương thích với Jolt được viết hoàn toàn bằng Zig với không có phụ thuộc nào, không có FFI.