¿Alguno de los principales zkVMs está optimizando el rendimiento en CPUs, o el enfoque se ha trasladado principalmente a la demostración basada en GPU? ¿Hay algún benchmark para la demostración en CPU? @jbaylina @pumatheuma @BruestleJeremy