Začínám mít obavy z složitosti zkVM. Jedna věc, kterou na návrhu CairoVM miluji, je, že je docela jednoduchý. Některé nové nápady mohou věci urychlit, ale jsou směsicí velmi složitých nápadů, které je těžké realizovat. Upřímně doufám, že @ethereum, @leanEthereum a @eth_proofs si cení rozmanitosti implementace, ale také jednoduchosti. Pokud jsou systém ověřování a VM příliš složité, pochopí je jen spousta lidí a auditovat a programovat je těžší.