In mezzo a tutto il parlare negativo su ZKVM, qual è la vera situazione per ciascun approccio? Un'idea interessante è emersa chiacchierando con un collega: forse la principale sfida di Jolt è che è troppo intelligente? Spingere così tanti trucchi a livello IOP rende lo sviluppo incredibilmente difficile da scalare.