Acabo de revisar y ya vuelvo a estar en la lista, ¡qué alegría y felicitaciones! Entonces, sigamos esforzándonos. Acabo de ver la nueva publicación de @inference_labs. Tengo un nuevo punto de vista: la clave para la implementación práctica de zkML no es "demostrar todo el modelo", sino demostrar de manera inteligente solo la parte necesaria. ¿Verificación del modelo completo? Demasiado lento, demasiado costoso e inviable a escala, fuera de competencia. El diseño modular + la prueba distribuida son el camino a seguir.