¿alguna de las mejores zkVM optimiza el rendimiento en CPUs, o el enfoque se ha centrado principalmente en la demostración basada en GPU? ¿Algún benchmark para demostrar la CPU? @jbaylina @pumatheuma @BruestleJeremy