Ouverture
L’équipe zkEVM de la Fondation Ethereum a proposé d’inclure l’EIP-8025 dans le fork Hegota, d’après des échanges lors de la réunion des All Core Developers (ACD). L’EIP-8025 introduit des Optional Execution Proofs, permettant aux nœuds Ethereum de vérifier des preuves à connaissance nulle plutôt que de ré-exécuter directement l’ensemble des transactions. À l’heure actuelle, les nœuds valident la validité des blocs en re-exécutant les résultats des transactions ; l’EIP-8025 ajoute une alternative où les nœuds peuvent vérifier une preuve ZK de validité de bloc sans répéter tous les calculs. À ce stade, la proposition fonctionne comme un mécanisme d’opt-in complet : seuls les nœuds choisissant d’utiliser des preuves sont concernés, et les règles de consensus restent inchangées. Cela marque un basculement formel d’Ethereum, passant d’une phase expérimentale vers une intégration au niveau du protocole de la technologie à connaissance nulle, avec potentiellement une baisse des coûts d’exploitation des nœuds et, à long terme, la possibilité de blocs plus grands avec une exécution plus complexe.
Développements de la recherche
EIP-8025 : l’infrastructure à connaissance nulle d’Ethereum entre dans une phase de mise à niveau du protocole
Le mécanisme central de l’EIP-8025 repose sur des Optional Execution Proofs. Au lieu d’exiger que tous les nœuds re-exécutent les transactions pour vérifier la validité des blocs, les nœuds peuvent alternativement valider une preuve à connaissance nulle confirmant l’exactitude de l’exécution. La proposition ne convertit pas immédiatement Ethereum en une chaîne basée sur des ZK ; elle pose plutôt les bases d’une transition d’une « direct re-execution chain » vers une « proof-verification chain ».
L’enjeu réside dans la réduction de la charge opérationnelle des nœuds et dans la mise en place d’une infrastructure pour des blocs plus grands et des exécutions plus complexes. En permettant aux nœuds de vérifier des preuves plutôt que de dupliquer des calculs, Ethereum peut soutenir un débit et une capacité de traitement plus élevés.
Vitalik Buterin sur l’IA et la vérification formelle pour la cybersécurité
Le cofondateur d’Ethereum Vitalik Buterin a publié une analyse sur la combinaison de l’IA et de la vérification formelle pour transformer la cybersécurité. La vérification formelle prouve mathématiquement que les programmes fonctionnent exactement comme prévu — un contraste avec les audits de sécurité traditionnels où des humains examinent le code à la recherche de vulnérabilités.
Buterin a proposé que l’IA puisse générer du code d’assemblage bas niveau, tandis que la vérification formelle confirme que ce code produit un comportement identique à celui d’implémentations de haut niveau lisibles par des humains. Cette approche répond au compromis traditionnel : le code d’assemblage s’exécute efficacement mais se prête mal à la relecture humaine, tandis que le code de haut niveau privilégie la lisibilité plutôt que l’optimisation des performances.
Des exemples de l’écosystème Ethereum cités incluent Arklib (qui poursuit des STARKs formellement vérifiés pour prouver des calculs complexes corrects) et evm-asm (qui écrit l’EVM en RISC-V et prouve l’équivalence avec des implémentations Lean, où Lean est un outil de vérification formelle).
Pour les protocoles blockchain et les smart contracts, des méthodes de vérification plus robustes sont essentielles, car les erreurs de déploiement ont des conséquences graves.
ZK Summit 14 : le focus du système de preuves se déplace vers des garanties de niveau réel
Le ZK Summit 14 s’est tenu le 7 mai à Rome, avec 24 présentations de grandes équipes de l’écosystème ZK, dont la Fondation Ethereum, Succinct, Aztec, Nethermind et Miden.
La tendance la plus marquante reflète un glissement d’attention : du système de preuves en tant que métriques de performance — vitesse, taille de preuve, coût de vérification — vers des garanties de fonctionnement du monde réel. La technologie à connaissance nulle s’intègre désormais aux systèmes de paiement, à la vérification d’identité, aux zkVMs et aux applications d’apprentissage automatique. Dans ces contextes, la seule performance des preuves ne suffit plus :
- Les systèmes de paiement doivent protéger les montants des transactions et les informations des utilisateurs.
- Les systèmes d’identité doivent permettre aux utilisateurs de prouver les informations requises tout en dissimulant les autres données personnelles.
- Les zkVMs doivent prouver avec exactitude l’exécution de programmes complexes.
- Les applications d’apprentissage automatique nécessitent une vérification que les résultats d’inférence du modèle ne sont pas manipulés.
La technologie ZK s’est étendue au-delà de la « génération rapide de preuves » pour devenir une méthode permettant de concevoir des garanties de sécurité et de confidentialité adaptées à chaque système. Le ZK Summit 14 a montré une avancée de la technologie à connaissance nulle, passant de la recherche vers une intégration approfondie avec des infrastructures et des applications réelles.
Mises à jour de l’écosystème
Lancement imminent du framework de confidentialité Kohaku, tests d’intégration du wallet en cours
Le framework modulaire de confidentialité d’Ethereum Kohaku s’approche de son lancement avec des tests d’intégration aux wallets en cours. Kohaku fournit une interface unifiée permettant aux wallets d’exécuter des transactions privées en utilisant plusieurs backends cryptographiques, sans implémenter directement de fonctionnalités de confidentialité.
Des wallets, dont Ambire, mènent actuellement des tests d’intégration de Kohaku. Historiquement, les fonctionnalités de confidentialité ont rencontré des barrières à l’adoption dans les wallets des utilisateurs, car chaque protocole de confidentialité utilise des architectures différentes, obligeant les wallets à supporter chaque technologie séparément.
Kohaku traite cette fragmentation en permettant aux wallets d’accéder à plusieurs backends de confidentialité via une seule interface. Une adoption accrue pourrait étendre l’usage de Railgun, identifié comme le moteur de confidentialité fondamental de Kohaku. Le framework vise à transformer la confidentialité d’Ethereum de « un outil spécialisé pour les utilisateurs avancés » en « une fonctionnalité de wallet naturellement intégrée ».
L2BEAT vérifie la sortie à canaux « exit hatch » à connaissance nulle plus légère de Lighter
La plateforme d’analyse de couche 2 L2BEAT a vérifié les circuits ZK de Lighter, un DEX de futures perpétuels sur la couche 2. Lighter permet le trading de dérivés perpétuels — des contrats sans date d’expiration.
L2BEAT a compilé directement tous les circuits ZK de Lighter à partir du code source et a confirmé l’alignement avec les contrats vérificateurs déployés (smart contracts validant les preuves ZK soumises). Cette vérification couvre la fonctionnalité d’exit hatch — le mécanisme d’urgence permettant aux utilisateurs de retirer des actifs si les séquenceurs ou opérateurs de la couche 2 s’arrêtent.
Auparavant, Lighter conservait certains codes sources de vérificateurs, empêchant les utilisateurs de générer indépendamment des preuves d’exit (des données prouvant le droit de retrait) en cas d’échec du séquenceur. À la suite de la vérification de L2BEAT, les utilisateurs peuvent désormais générer indépendamment des preuves d’exit, améliorant la capacité à retirer des actifs sans dépendre de l’équipe de Lighter en situation d’urgence.
Cet exemple montre qu’en matière de sécurité de la couche 2, vérifier que le code déployé correspond au code disponible publiquement est aussi critique que la disponibilité du code elle-même.
ETHGlobal révise le format du hackathon
ETHGlobal a restructuré son format de hackathon. Les hackathons traditionnels obligeaient les participants à sélectionner des idées et à construire des produits minimum viables (MVP — des versions initiales démontrant la fonctionnalité de base) sur des périodes courtes.
À partir du hackathon de New York, de nouvelles pistes permettent aux participants d’apporter des fonctionnalités à des dépôts open source existants ou d’ajouter des fonctionnalités à des produits établis, puis de publier publiquement ces améliorations en open source. Ce changement augmente la probabilité que les sorties de hackathon se traduisent par de véritables contributions à l’écosystème. Auparavant, les MVP sur des échéances courtes s’arrêtaient souvent après l’événement. Contribuer directement à des projets open source actifs profite aux utilisateurs et aux développeurs existants.
ETHGlobal passe de « la mise en avant rapide de nouvelles idées » à « l’amélioration significative de l’infrastructure d’écosystème existante ». À mesure qu’Ethereum mûrit, améliorer les biens publics et les outils développeurs existants devient aussi important que créer entièrement de nouvelles applications.
Mises à jour de la communauté
La fondation Railgun gagne en attention au milieu des attentes d’adoption de Kohaku
Le protocole de confidentialité Railgun suscite de l’attention en raison des perspectives d’adoption de Kohaku. Une analyse suggère qu’une intégration accrue de Kohaku au niveau des wallets pourrait accroître l’usage de Railgun. Railgun permet l’interaction avec l’écosystème Ethereum DeFi tout en préservant la confidentialité — les transactions on-chain standard exposent les adresses de wallet, les montants de transaction et les protocoles interagis, tandis que Railgun dissimule ces informations.
Railgun applique des frais de 0,25 % sur les actions Shield (déplacer des actifs vers des zones protégées par la confidentialité) et des frais sur les actions unShield (retrait vers des zones publiques). Une adoption accrue des wallets via Kohaku et un volume plus élevé de transactions privées augmenteraient les revenus de frais de Railgun.
L’analyse a noté que Railgun semble sous-évalué par rapport à des pièces de confidentialité comme ZEC et DASH, la différenciation étant l’interaction directe avec l’écosystème Ethereum DeFi. Alors que ZEC et DASH fonctionnent comme des pièces de confidentialité distinctes, Railgun opère comme un outil de confidentialité au sein d’Ethereum DeFi. Si Kohaku atteint une adoption substantielle des wallets, Railgun pourrait devenir le principal bénéficiaire de l’infrastructure de confidentialité d’Ethereum.
Indicateurs Ethereum hebdomadaires
- Taux d’inflation annuel : 0,833 %
- Offre nette hebdomadaire : 19 422,04 ETH
- Ratio de staking : 31,50 %
- Capitalisation du marché des stablecoins : 163,019 milliards de dollars
- Sorties nettes du FNB spot sur l’ETH de Ethereum : 255,02 millions de dollars
Données provenant d’Ultrasound Money, DeFi Llama, Dune et Parsec Investors.
