Les agents autonomes passent des expériences à l'infrastructure. Nous sommes ravis de nous associer à @Kassai_ai pour explorer comment la vérification cryptographique peut sécuriser le comportement des agents. Il s'agit de rendre les actions des agents prouvables, pas seulement exécutables : 🧵

2/ Kassai construit un réseau d'inférence distribué qui fonctionne à la périphérie. Au lieu de concentrer le calcul dans des centres de données centralisés, Kassai active les GPU consommateurs dormants pour former une couche d'exécution distribuée à l'échelle mondiale et à faible latence pour des systèmes agentiques. Ce design privilégie la résilience, l'efficacité des coûts et la souveraineté.

3/ L'IA agentique est fondamentalement différente de l'inférence à coup unique. Les agents planifient, appellent des outils, invoquent des modèles, échangent des messages et déclenchent des effets en aval à travers les systèmes. Lorsque ces actions sont opaques, les échecs sont invisibles et la responsabilité disparaît.

4/ Lagrange comble cette lacune en ajoutant une vérification au moment de l'exécution. En utilisant DeepProve, les actions des agents peuvent émettre des preuves à divulgation nulle de connaissance qui confirment que l'action a suivi une logique autorisée et des entrées valides, sans révéler le raisonnement interne ou des données sensibles. Le résultat est une preuve, pas une supposition.

5/ Cela crée un pipeline d'exécution vérifiable pour les agents fonctionnant sur une infrastructure distribuée : • Prise de décision • Invocation d'outils • Inférence de modèle • Mises à jour d'état • Actions externes Chaque étape peut être validée indépendamment par d'autres agents, applications ou logiques d'application.

6/ Dans ce modèle, la confiance n'est plus placée dans l'agent ou le matériel sur lequel il fonctionne. La confiance est placée dans des preuves cryptographiques qui attestent d'un comportement correct. Kassai fournit le tissu d'exécution. Lagrange fournit la couche de preuve qui rend cette exécution responsable.

7/ À mesure que les systèmes agentiques commencent à coordonner l'activité économique, la gouvernance et les opérations dans le monde réel, la vérification devient obligatoire. L'autonomie à grande échelle nécessite une preuve. C'est dans cette direction que Lagrange et Kassai construisent.