Zaczynam się martwić o złożoność zkVM. Jedną z rzeczy, które uwielbiam w projekcie CairoVM, jest to, że jest dość prosty. Niektóre z nowych pomysłów mogą przyspieszyć działanie, ale są mieszanką bardzo skomplikowanych idei, które są trudne do wdrożenia. Szczerze mówiąc, mam nadzieję, że @ethereum, @leanEthereum i @eth_proofs cenią różnorodność implementacji, ale także prostotę. Jeśli system dowodzenia i VM będą zbyt skomplikowane, tylko garstka ludzi to zrozumie, a audyt i kodowanie będą trudniejsze.