non credo che molti sappiano quanto sia incredibilmente complessa la matematica dietro le prove ZK. Quando le prove costano 1000 volte di più rispetto a quelle native, ogni funzionalità deve essere ottimizzata con attenzione. Questa ingegneria di precisione è il motivo per cui costruire un zkVM pronto per la produzione ha richiesto anni.