Jag börjar bli orolig för komplexiteten i zkVM:er. En sak jag älskar med CairoVM-designen är att den är ganska enkel. Vissa av de nya idéerna kan göra saker snabbare men de är en blandning av mycket komplicerade idéer som är svåra att genomföra. Jag hoppas ärligt talat att @ethereum, @leanEthereum och @eth_proofs värdesätter mångfald i implementeringen men också enkelhet. Om bevissystemet och VM:n är för komplicerade kommer bara en massa personer att förstå det och det är svårare att granska och koda.