Посмотрите на эту новую реализацию ZK от @mtteom_ Простой zkVM провайдер, совместимый с Jolt, написанный на чистом Zig без зависимостей и FFI.