gWarden ✌️

Le vrai problème dans la vérification de l'IA ne concerne pas la confiance ... mais le déterminisme

La plupart des systèmes attendent que la même entrée donne toujours la même sortie ... mais cela ne tient pas avec les véritables tâches de LLM, où les sorties peuvent varier

L'ancienne ZKML était conçue pour de petits modèles avec des résultats prévisibles et beaucoup de vérifications cryptographiques

Les agents d'IA modernes sont conçus pour avoir des sorties changeantes

Ce qui a attiré mon attention récemment, c'est SPEX de @wardenprotocol 👌

Au lieu d'imposer tout dans des preuves strictes, ils échantillonnent le processus lui-même ... pas besoin de re-exécutions complètes ou de longues preuves ZK 💯

Juste :

-> exécuter → sauvegarder les états → échantillonner → vérifier

Les coûts restent faibles et stables, au lieu d'exploser 👌

Pour des choses comme la réflexion des LLM, les choix des agents ou des calculs non répétables, cela compte plus que la théorie parfaite 💯

Cela ne remplace pas ZKML, mais cela évolue réellement en coût et en technologie

Si les réseaux axés sur l'IA sont l'avenir, cela pourrait être l'une des premières vraies tentatives pour les vérifier à grande échelle 💯

gWarden ✌️