Vitalik Buterin : les blockchains entrent dans une nouvelle ère informatique Au Global Blockchain Summit (Shanghai Blockchain Week), Vitalik Buterin a exposé comment les preuves ZK, la vérification formelle et l'IA sont sur le point de redéfinir l'architecture des blockchains. Son point central : l'ancien modèle — où chaque nœud réexécute le même calcul — est en voie d'être abandonné. Avec les SNARKs/STARKs, une partie effectue le calcul et en fournit la preuve, tandis que tous les autres se contentent de la vérifier. Les STARKs récursifs (liés à sa proposition EIP-8288) pourraient regrouper plusieurs preuves en une seule, réduisant ainsi les données et les coûts sur la chaîne. Associés à l'EIP-8141 (division des transactions en actions parallélisables) et à FOCIL (construction décentralisée des blocs), l'objectif est de créer une chaîne de traitement complète — depuis l'exécution sur un appareil local jusqu'aux mempools, l'agrégation des preuves, les L2 et les L1 — qui évolue sans sacrifier la décentralisation. Concernant l'IA, Buterin la considère comme une infrastructure essentielle pour la prochaine étape : rédiger/auditer du code, générer des spécifications et exécuter une vérification formelle à une échelle que les humains ne peuvent pas atteindre manuellement — ce qu'il considère comme essentiel pour corriger les failles de sécurité actuelles des L2. Il appelle les développeurs à cesser de concevoir pour un monde où la cryptographie avancée et la vérification automatisée n'étaient pas pratiques — car cette contrainte disparaît rapidement. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto