est-ce que l'un des principaux zkVMs optimise les performances sur les CPU, ou l'accent a-t-il principalement été mis sur la preuve basée sur GPU ? y a-t-il des benchmarks pour la preuve sur CPU ? @jbaylina @pumatheuma @BruestleJeremy