En medio de toda la charla basura de ZKVM, ¿cuál es el estado real de cada enfoque? Una idea interesante surgió de charlar con un colega: ¿Quizás el mayor desafío de Jolt es que es demasiado inteligente? Llevar tantos trucos al nivel de IOP hace que el desarrollo sea increíblemente difícil de escalar.