1/ Antes: demonstrações de zkML. Depois: zkML que você pode implementar. DSperse torna a verificabilidade uma escolha orientada pelo usuário. Escolha as camadas, escolha o backend, prove o que importa.