J'ai exécuté un modèle de raisonnement compact via Judge sur un réseau de calcul décentralisé et obtenu des résultats fascinants. Le moteur de vérification de Verde a détecté quelque chose d'intéressant : deux fournisseurs de calcul ont initialement renvoyé des résultats différents pour la même tâche d'inférence. Le système a automatiquement déclenché une analyse de bisection, permettant de localiser précisément l'opérateur problématique à l'origine de la divergence.

Puis RepOps est intervenu, forçant des opérations mathématiques déterministes sur les deux nœuds. Résultat final ? Les deux GPU ont produit des résultats identiques au niveau des bits, jusqu'au dernier bit. Pas d'ambiguïté, pas d'approximations. Juste une preuve propre et minimale que l'inférence AI décentralisée peut atteindre les mêmes garanties déterministes que les systèmes centralisés. La couche de vérification a fonctionné exactement comme prévu, transformant le désaccord des fournisseurs en certitude cryptographique en quelques secondes.