Preuves cryptographiques 'zero-knowledge' d'inférence correcte de LLMs · Laboratoire de Traitement et Communication de l'Information, Doctorat · La Géode