Enfin pris le temps de lire TOPLOC par @PrimeIntellect (). Mes premières impressions sont qu'il est vraiment élégant, un protocole de vérification asymétrique où les exigences du prouveur et du vérificateur sont vraiment peu coûteuses. J'étais un peu déçu que @ezklxyz ne soit pas mentionné ici.

Si je me souviens bien, ezkl est l'état de l'art pour l'inférence vérifiable, bien que plus coûteux et moins flexible en ce qui concerne l'échelle des modèles qu'il peut vérifier.