Încep să mă îngrijorez de complexitatea zkVM-urilor. Un lucru care îmi place la designul CairoVM este că este destul de simplu. Unele dintre ideile noi pot accelera lucrurile, dar sunt un amestec de idei foarte complicate, greu de implementat. Sper sincer ca @ethereum, @leanEthereum și @eth_proofs să valorizeze diversitatea implementării, dar și simplitatea. Dacă sistemul de demonstrare și mașina virtuală sunt prea complicate, doar mulți oameni le vor înțelege și este mai dificil de auditat și programat.