Vitalik : la vérification formelle assistée par l’IA est « l’ultime forme du développement logiciel », Ethereum au cœur de la sécurité
Le cofondateur d’Ethereum, Vitalik Buterin, a publié le 18 mai une analyse approfondie portant sur l’état actuel et les perspectives des techniques de vérification formelle (Formal Verification). Il estime que la vérification formelle assistée par l’IA deviendra « la forme ultime du développement logiciel », et indique qu’Ethereum jouera un rôle important dans l’architecture de « cœur de sécurité » du futur. Principes fondamentaux de la vérification formelle et cas d’usage D’après l’article de V
ETH2,15%
MarketWhisper·05-19 02:23
