DSperse = geração de testemunhas 77% mais rápida, provas 66% mais rápidas, ~40% menos uso de memória. As provas onde são importantes → inferência confiável sem gargalos.