Hier à 2h du matin, j'ai aidé un ami à diagnostiquer un bot de trading qui faisait des siennes : il était censé exécuter la stratégie A, mais les logs semblaient avoir été falsifiés pour ressembler à la stratégie B. Au début, on a accusé la latence de l'API, puis on a même commencé à se demander si le modèle n'avait pas été remplacé. Des SMS de la plateforme d'échange arrivaient un par un, le café était refroidi, et il a juste dit « Comment peux-tu prouver que le modèle n'a pas été modifié ? » Je suis resté silencieux…

C'est pour ça que je m'intéresse récemment à @inference_labs : ils ont changé « confiance » en « reçu ». JSTprove vient de passer en v1.4.0, avec ONNX + une seule commande pour générer une preuve d'inférence zk, la chaîne de preuve est vérifiable. Plus impressionnant encore, DSperse : validation par segmentation, ne fournit des preuves que pour la porte de sécurité / détection d'anomalies / tête privée, avec un coût maîtrisé.

Les ingénieurs pensent : quand l'agent commencera vraiment à gérer l'argent / les permissions, la priorité sera de clarifier « qu'est-ce que j'ai réellement exécuté » — c'est plus important que tout.