在所有关于ZKVM的争论中，各种方法的真实现状是什么？ 与一位同事聊天时出现了一个有趣的想法：也许Jolt的主要挑战在于它太聪明了？将这么多技巧推向IOP层级使得开发变得极其难以扩展。