zkML est puissant — mais prouver des modèles entiers est lent, gourmand en mémoire et rarement pratique au-delà des démonstrations simplistes. Le monde réel a besoin d'une méthode plus intelligente : des preuves là où elles comptent le plus, de la vitesse partout ailleurs. Nous avons travaillé sur quelque chose qui s'attaque exactement à cela. Plus d'infos bientôt.