Vitalik : La vérification formelle assistée par l'IA pourrait améliorer à la fois l'efficacité et la sécurité du code.
Foresight News rapporte que Vitalik Buterin a publié un article explorant les perspectives d'application de la vérification formelle dans le domaine de la sécurité blockchain. L'article souligne qu'une nouvelle approche émerge dans la recherche avancée sur Ethereum : elle consiste à écrire directement le code en EVM bytecode, en assembleur ou en Lean, puis à vérifier sa validité à l'aide de preuves mathématiques pouvant être vérifiées automatiquement dans Lean. Le chercheur Yoichi Hirai qualifie cette approche de « forme ultime du développement logiciel ». Vitalik estime que la vérification formelle assistée par intelligence artificielle promet d’améliorer à la fois l’efficacité et la sécurité du code, en particulier pour les modules critiques de sécurité tels que STARK, ZK-EVM, les signatures résistantes aux ordinateurs quantiques et les algorithmes de consensus. L’article souligne également que la vérification formelle n’est pas une solution universelle, puisqu’elle peut échouer en raison de la portée incomplète des preuves, d’erreurs de spécification ou de failles matérielles. À l’avenir, les logiciels pourraient se scinder entre des « noyaux de sécurité » et des « périphéries non sécurisées », Ethereum étant appelé à devenir l’un des principaux noyaux de sécurité.
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
Le développeur de la technologie d’enrichissement laser de l’uranium LIS Technologies (LIS.US) fixe le prix de son IPO entre 5 et 7 dollars par action, avec l’intention de lever 17 millions de dollars.
LIS Technologies prévoit d'émettre 2,8 millions d'actions à un prix compris entre 5 et 7 dollars par action, dans le but de lever 17 millions de dollars.
La société biotechnologique spécialisée en immunologie et inflammation Bambusa (BBTX.US) fixe le prix de son IPO entre 15 et 17 dollars par action et prévoit de lever 150 millions de dollars.
Bambusa Therapeutics prévoit de lever 150 millions de dollars en émettant 9,4 millions d'actions à un prix compris entre 15 et 17 dollars par action.
L’indicateur de tendance des prix de la Banque centrale du Japon dépasse 3 %, fournissant une justification pour poursuivre les hausses de taux.
L'indicateur utilisé par la Banque du Japon pour mesurer l'inflation potentielle a atteint son niveau le plus élevé depuis trois ans, dépassant largement l'objectif de 2 % fixé par la banque centrale, ce qui donne aux autorités des arguments supplémentaires pour poursuivre la hausse des taux d'intérêt.
Meta (META.US) lance une levée de fonds par actions rare pour un pari de 95 milliards de dollars sur l'IA, Goldman Sachs continue de recommander l'achat
Meta annonce un financement par actions de 95 milliards de dollars américains. Nvidia, AMD et Broadcom prévoient de souscrire pour 5 milliards de dollars. Goldman Sachs réitère sa recommandation "acheter" avec un objectif de cours de 885 dollars.
Prix des cryptos
Plus
