在所有關於ZKVM的爭論中,各種方法的真實現狀是什麼? 與一位同事聊天時出現了一個有趣的想法:也許Jolt的主要挑戰在於它太聰明了?將這麼多技巧推向IOP層級使得開發變得極其難以擴展。