Il y a une heure, Vlad Tenev a dit une phrase : d’ici deux ans, tout le code sera soumis à une vérification formelle.
Pour les non-initiés, ça ressemble à des paroles en l’air de la tech. La vérification formelle est un vieil outil des secteurs spatial et des semi-conducteurs : une équipe peut passer des mois à vérifier un tout petit morceau de code, à un coût si élevé que personne ne veut l’utiliser dans les logiciels commerciaux. Aujourd’hui, les grands modèles de langage peuvent rédiger les preuves et le code en même temps ; il ne reste plus aux humains qu’à effectuer une dernière vérification. Tout à coup, le calcul devient intéressant.
Ce qui change vraiment, c’est la source de la confiance. Jusqu’ici, pour juger de la fiabilité d’une plateforme, on regardait ses licences, ses rapports d’audit et sa manière d’indemniser les utilisateurs en cas de problème. À l’avenir, cela ne suffira plus : le code lui-même devra fournir une preuve qu’il s’exécute bien comme prévu.
Les actifs on-chain fonctionnent ainsi depuis le premier jour : les règles sont inscrites dans les contrats et consultables par tous. La chaîne $BTC fonctionne sans interruption depuis dix-sept ans grâce à sa simplicité et à sa vérifiabilité. Si la finance traditionnelle commence elle aussi à exiger des preuves lisibles par machine, les deux univers parleront enfin le même langage.
Le jour où la vérification deviendra la norme dans le secteur, que restera-t-il à raconter aux plateformes qui misent sur des structures complexes ?
Pour les non-initiés, ça ressemble à des paroles en l’air de la tech. La vérification formelle est un vieil outil des secteurs spatial et des semi-conducteurs : une équipe peut passer des mois à vérifier un tout petit morceau de code, à un coût si élevé que personne ne veut l’utiliser dans les logiciels commerciaux. Aujourd’hui, les grands modèles de langage peuvent rédiger les preuves et le code en même temps ; il ne reste plus aux humains qu’à effectuer une dernière vérification. Tout à coup, le calcul devient intéressant.
Ce qui change vraiment, c’est la source de la confiance. Jusqu’ici, pour juger de la fiabilité d’une plateforme, on regardait ses licences, ses rapports d’audit et sa manière d’indemniser les utilisateurs en cas de problème. À l’avenir, cela ne suffira plus : le code lui-même devra fournir une preuve qu’il s’exécute bien comme prévu.
Les actifs on-chain fonctionnent ainsi depuis le premier jour : les règles sont inscrites dans les contrats et consultables par tous. La chaîne $BTC fonctionne sans interruption depuis dix-sept ans grâce à sa simplicité et à sa vérifiabilité. Si la finance traditionnelle commence elle aussi à exiger des preuves lisibles par machine, les deux univers parleront enfin le même langage.
Le jour où la vérification deviendra la norme dans le secteur, que restera-t-il à raconter aux plateformes qui misent sur des structures complexes ?
