Alan olla huolissani zkVM:ien monimutkaisuudesta. Yksi asia, josta pidän CairoVM:n suunnittelussa, on sen melko yksinkertainen ratkaisu. Jotkut uudet ideat voivat nopeuttaa asioita, mutta ne ovat sekoitus hyvin monimutkaisia ideoita, joita on vaikea toteuttaa. Toivon vilpittömästi, että @ethereum, @leanEthereum ja @eth_proofs arvostavat toteutuksen monimuotoisuutta mutta myös yksinkertaisuutta. Jos testausjärjestelmä ja virtuaalikone ovat liian monimutkaisia, vain joukko ihmisiä ymmärtää sen, ja auditointi ja koodaaminen on vaikeampaa.