1/ Le plus grand obstacle pour zkML n'est pas la cryptographie. C'est l'architecture. Essayer de prouver un modèle entier comme un seul circuit garantit : • une utilisation massive de la mémoire • des preuves d'une heure • des déploiements inutilisables Nous avions besoin d'une nouvelle structure.