Ik begin me zorgen te maken over de complexiteit van zkVM's. Een ding dat ik geweldig vind aan het ontwerp van CairoVM is dat het vrij eenvoudig is. Sommige van de nieuwe ideeën kunnen dingen sneller maken, maar ze zijn een mix van zeer gecompliceerde ideeën die moeilijk te implementeren zijn. Ik hoop oprecht dat @ethereum, @leanEthereum en @eth_proofs diversiteit in implementatie waarderen, maar ook eenvoud. Als het bewijs systeem en de VM te ingewikkeld zijn, zullen alleen een paar mensen het begrijpen en is het moeilijker om te auditen en te coderen.