algum dos principais zkVMs está a otimizar o desempenho em CPUs, ou o foco mudou principalmente para a prova baseada em GPU? há algum benchmark para prova em CPU? @jbaylina @pumatheuma @BruestleJeremy