Inizio a preoccuparmi per la complessità degli zkVM. Una cosa che mi piace del design di CairoVM è che è piuttosto semplice. Alcune delle nuove idee possono rendere le cose più veloci, ma sono un mix di idee molto complicate che sono difficili da implementare. Spero sinceramente che @ethereum, @leanEthereum e @eth_proofs valorizzino la diversità di implementazione ma anche la semplicità. Se il sistema di prova e il VM sono troppo complicati, solo un gruppo di persone lo capirà e sarà più difficile da auditare e programmare.