Jeg begynner å bli bekymret for kompleksiteten i zkVM-er. En ting jeg elsker med CairoVM-designet er at det er ganske enkelt. Noen av de nye ideene kan gjøre ting raskere, men de er en blanding av veldig kompliserte ideer som er vanskelige å gjennomføre. Jeg håper ærlig talt at @ethereum, @leanEthereum og @eth_proofs verdsetter mangfold i implementeringen, men også enkelhet. Hvis bevissystemet og VM-en er for kompliserte, er det bare mange som vil forstå det, og det er vanskeligere å revidere og kode.