Optimiert einer der führenden zkVMs die Leistung auf CPUs, oder hat sich der Fokus hauptsächlich auf GPU-basierte Beweisführung verlagert? Gibt es Benchmarks für die Beweisführung auf CPUs? @jbaylina @pumatheuma @BruestleJeremy