DSperse = 77% más rápido en la generación de testigos, 66% más rápido en las pruebas, ~40% menos en el uso de memoria. Las pruebas donde importan → inferencia confiable sin cuellos de botella.