1/ Le zk-proof complete per interi modelli AI sono potenti… Ma in pratica: troppo pesanti, troppo lenti, troppo costosi. Ecco perché abbiamo creato DSperse → verifica basata su slice.