1/ Antes: demostraciones de zkML. Después: zkML que puede implementar. DSperse hace de la verificabilidad una elección impulsada por el usuario. Elige las capas, elige el backend, demuestra lo que importa.