1/ Provas completas de zk para modelos inteiros de IA são poderosas... Mas na prática: muito pesado, muito lento, muito caro. É por isso que criamos o DSperse → verificação baseada em fatias.