Я согласен. Соотношение prover/native computation говорит о чем-то важном для zkVM, сообщая нам, какова единичная стоимость доказательства одного цикла ЦП независимо от параллелизации. Еще одно интересное соотношение, когда мы доказываем в масштабе, это энергия/native computation в Джоулях/сыром цикле ЦП.