Se seu sistema zkML exigir prova completa do modelo, ele não chegará à produção. A modularidade vence. Distribuição vence. DSperse + JSTprove vitória.