Jag håller med. Förhållandet bevisare/nativt beräkning säger något viktigt om zkVMs, och berättar vad enhetskostnaden för att bevisa en CPU-cykel är oberoende av parallellisering. Ett annat intressant förhållande när vi bevisar i stor skala är energi/inbyggd beräkning i Joule/rå CPU-cykel