As provas zkML de circuito completo são pesadas — chaves de prova grandes, provas lentas e alto custo de memória. Com o fatiamento DSperse, o modelo Doom mostra: - Tempo de prova reduzido de 200s → 145s - Tamanho da PK reduzido em 50%