Imaginez un instant que chaque fois que vous voulez prouver quelque chose de complexe sur une blockchain, vous n’ayez plus à tout payer seul. Une idée simple en apparence, mais qui pourrait bien modifier en profondeur la façon dont les utilisateurs et les constructeurs de blocs interagissent sur Ethereum. C’est exactement ce que propose un nouveau projet de spécification technique récemment soumis. L’idée centrale tourne autour du partage des coûts de vérification des preuves cryptographiques tout en conservant l’indépendance de chaque transaction. Derrière ce concept se cache une tentative sérieuse de rendre les opérations plus économiques et plus flexibles sans sacrifier la sécurité ni l’intégrité des comptes.
Une Nouvelle Approche Pour Les Preuves En Lot Sur Ethereum
Le document déposé par le contributeur Marchhill vise à activer un schéma de vérification générique déjà réservé dans une proposition antérieure. Il s’agit d’ouvrir la voie à des lots de transactions dont la preuve cryptographique peut être mutualisée. Autrement dit, plusieurs affirmations peuvent être regroupées sous une seule structure de preuve tout en gardant des paiements et des signatures distincts pour chaque participant. Cette séparation entre le travail de preuve et le règlement financier constitue le cœur de la démarche.
Dans le modèle classique, chaque transaction qui nécessite une vérification lourde doit souvent supporter seule le coût de cette vérification. Ici, un sponsor peut prendre en charge la partie commune de la preuve, tandis que chaque membre du lot continue de payer uniquement pour ses propres affirmations. Le constructeur de bloc conserve la liberté d’inclure n’importe quel sous-ensemble valide sans obliger les participants restants à signer à nouveau. C’est un détail technique qui change concrètement l’expérience utilisateur.
Comment Fonctionne Le Partage Des Paiements
Le mécanisme repose sur une distinction claire entre le sponsor et les membres. Le sponsor couvre chaque feuille de lot retenue, c’est-à-dire chaque composant de preuve qui regroupe plusieurs affirmations. Les transactions membres, elles, règlent uniquement ce qui correspond à leurs propres revendications. Cette organisation permet de mutualiser le travail cryptographique le plus coûteux tout en préservant l’autonomie de chaque compte.
Les nonces et les reçus restent individuels. Un nonce continue d’indiquer la position d’une transaction dans la séquence d’un compte, et le reçu conserve le résultat d’exécution propre à cette transaction. Le partage de la preuve n’efface pas ces traces. Lors de la finalisation, le système vérifie que les paiements correspondent bien aux preuves retenues. Des preuves récursives authentifient les sources utilisées dans le lot, ce qui maintient la chaîne de confiance intacte.
Les frais liés aux affirmations réduites et aux paiements du sponsor sont directement attribués aux constructeurs de blocs. Les preuves ordinaires qui ne concernent qu’une seule affirmation restent quant à elles éligibles au mempool public, l’espace d’attente habituel des transactions. Cette dualité conserve une porte ouverte pour les usages simples tout en ouvrant une voie plus économique pour les usages complexes.
Le Lien Avec La Proposition EIP-8288
Le texte s’appuie explicitement sur le travail déjà réalisé autour de l’agrégation de signatures et de preuves en dehors du processus d’exécution principal. Dans ce cadre, les transactions indiquent les affirmations qu’elles souhaitent faire vérifier, et une preuve STARK récursive établit leur validité au niveau du bloc. Les STARK sont des preuves cryptographiques qui démontrent qu’un calcul a été correctement effectué sans obliger chaque vérificateur à le refaire entièrement. La récursion permet à une preuve d’en vérifier d’autres, créant ainsi une structure en cascade efficace.
La proposition antérieure réservait le schéma leanSTARK générique sans encore autoriser son usage dans les cadres de dépendance. Le nouveau projet de spécification propose d’activer ce chemin et de remplacer une simple empreinte de données par un condensé stable représentant une liste d’affirmations. Cette évolution technique s’inscrit dans une discussion plus large sur la manière de traiter des opérations cryptographiques complexes de façon agrégée plutôt que transaction par transaction.
En permettant à une preuve de couvrir plusieurs affirmations tout en gardant des paiements séparés, le système cherche à réduire la redondance. Au lieu de recalculer ou de reprouver les mêmes éléments à plusieurs reprises, on mutualise une partie du travail. Cela n’élimine pas les coûts, mais les répartit de façon plus rationnelle entre les participants et un éventuel sponsor.
Les Chiffres Proposés Et Leur Caractère Provisoire
Le document avance plusieurs valeurs de gaz à titre indicatif. La vérification native serait facturée autour de 15 400 unités de gaz, tandis que la vérification générique ordinaire monterait à environ 572 000. Une part intrinsèque de preuve est évaluée à 5 100, un paiement de feuille à 675 000 et une affirmation de lot à 4 200. Ces montants ne sont pas définitifs. Ils doivent encore être calibrés conjointement à partir de mesures de performance réelles.
Les paiements de feuille portent un coût distinct parce que le lien entre paiement et preuve ajoute un travail fixe au-delà de la simple vérification. Les affirmations et les paiements n’entraînent pas de part intrinsèque supplémentaire. L’objectif affiché est de trouver un équilibre qui rende l’usage attractif sans créer de nouvelles possibilités d’abus ou de saturation du réseau.
Des contrôles de ressources accompagnent ces propositions de frais. Une limite provisoire de 16 384 dépendances distinctes par bloc est envisagée, indépendamment du gaz. Une règle de correspondance avec les listes d’inclusion est également prévue. Une feuille pourrait contenir jusqu’à 256 affirmations, et une étape de preuve jusqu’à 16 entrées. Ces plafonds ne s’appliquent pas à l’échelle de tout le bloc, mais ils encadrent la complexité locale de chaque structure.
Ce Qui Reste À Mesurer Avant Toute Activation
Avant d’envisager une activation, le projet exige des mesures de performance sur le traitement complet d’un bloc, sur la réparation tardive d’un sponsor et sur la capacité des frais par preuve à rester dans les limites de gaz d’une transaction, y compris les frais généraux. Les matériaux de référence distinguent les résultats mesurés sur un nœud individuel ou une machine unique des projections modélisées avec seize travailleurs. Les écarts de performance encore présents doivent être documentés.
Un point de vigilance apparaît clairement : un sponsorship invalidé peut faire perdre le travail déjà accompli par un constructeur de bloc. Le gaz d’inclusion ne rembourse pas ce travail. Les constructions concrètes d’engagement et les encodages restent définis dans la spécification du système de preuve épinglée. Aucun nouveau message réseau n’est introduit, ce qui limite l’impact sur la couche de communication.
Cette prudence méthodologique reflète une approche réaliste. Les propositions techniques sur Ethereum passent rarement directement de l’idée à la production. Elles traversent des phases de discussion, de mesure et d’ajustement. Ici, le statut de simple projet de spécification sans numéro d’EIP encore attribué rappelle que le chemin reste long.
Les Avantages Concrets Pour Les Utilisateurs Et Les Constructeurs
Pour un utilisateur dont la transaction est prête à être incluse, le fait de ne pas devoir signer à nouveau uniquement parce que d’autres membres du groupe initial ont été écartés constitue un gain de fluidité. Le constructeur de bloc gagne quant à lui en flexibilité : il peut composer des sous-ensembles valides en fonction de l’espace disponible et des conditions du moment.
La mutualisation du travail de preuve peut, si les calibrages se révèlent favorables, réduire le coût unitaire pour les participants. Dans un environnement où les frais de gaz restent un sujet sensible, toute optimisation structurelle attire l’attention. Elle ne remplace pas les baisses de coûts déjà obtenues par d’autres améliorations, mais elle s’ajoute à l’éventail des leviers disponibles.
Les constructeurs de blocs reçoivent directement les frais liés aux affirmations réduites et aux paiements de sponsor. Cela crée une incitation économique claire à traiter ces lots. En même temps, le maintien des preuves simples dans le mempool public évite de forcer tous les usages vers le modèle sponsorisé. La coexistence des deux chemins préserve une certaine neutralité.
Les Limites Et Les Points De Vigilance
Comme toute proposition encore en phase de rédaction, celle-ci comporte des zones d’incertitude. Les chiffres de gaz sont provisoires. Les limites de ressources sont indiquées à titre d’hypothèse de travail. Les performances réelles sur un bloc complet restent à démontrer. Un sponsorship qui échoue peut laisser un constructeur avec un travail non rémunéré.
La complexité supplémentaire introduite par les lots, les feuilles et les dépendances doit être maîtrisée. Trop de flexibilité sans garde-fous suffisants peut ouvrir des surfaces d’attaque ou des comportements inattendus. C’est pourquoi le texte insiste sur la nécessité de mesures avant toute activation et sur la documentation des écarts de performance.
Il faut aussi garder à l’esprit que ce type de mécanisme s’adresse prioritairement à des usages qui génèrent déjà des preuves relativement lourdes. Pour les transactions très simples, le bénéfice peut rester marginal. L’intérêt se concentre sur les scénarios où la mutualisation apporte une réelle économie d’échelle.
Le Contexte Plus Large Des Preuves Sur Ethereum
Depuis plusieurs années, la communauté technique explore différentes voies pour rendre les vérifications cryptographiques plus efficaces. Les preuves à divulgation nulle de connaissance, les agrégations de signatures et les constructions récursives font partie de cet effort continu. L’objectif n’est pas seulement de réduire les coûts, mais aussi d’élargir le champ des applications possibles sans saturer la capacité du réseau.
Les STARK occupent une place particulière dans cette réflexion. Leur caractère transparent et leur capacité à être récursifs en font des candidats intéressants pour des architectures où plusieurs preuves doivent être composées. Le fait de pouvoir vérifier une preuve à l’intérieur d’une autre ouvre des perspectives de compression et de mutualisation qui seraient difficiles à obtenir autrement.
La proposition actuelle s’inscrit dans cette lignée. Elle ne prétend pas révolutionner à elle seule l’économie du gaz, mais elle propose un arrangement concret entre sponsors, membres et constructeurs. En séparant le travail de validation des affirmations du travail de confirmation des paiements, elle clarifie les responsabilités de chacun.
Ce Que Cela Change Pour L’Expérience Quotidienne
Pour l’utilisateur final, la différence la plus visible pourrait résider dans une plus grande stabilité des coûts lorsque plusieurs opérations de même nature sont regroupées. Au lieu de payer plusieurs fois des frais de vérification presque identiques, une partie du travail est partagée. Le sponsor, s’il existe, absorbe une fraction du coût global.
Les applications décentralisées qui génèrent régulièrement des preuves pourraient y trouver un intérêt particulier. Elles pourraient organiser des lots périodiques, attirer des sponsors, ou internaliser le rôle de sponsor pour leurs propres utilisateurs. Les constructeurs de blocs, de leur côté, disposeraient d’un nouvel outil pour optimiser le contenu des blocs en fonction des opportunités du moment.
Rien n’est encore acté. Le document reste un projet de spécification. Aucun numéro d’EIP n’a encore été attribué, et aucune date d’activation n’est envisagée. Pourtant, le simple fait que ce type de réflexion soit formalisé montre que la recherche d’efficacité continue d’animer les discussions techniques.
Les Prochaines Étapes Attendues
Le texte doit encore recevoir un numéro d’EIP et un fil de discussion dédié. Les mesures de performance complètes devront être réalisées et analysées. Les valeurs de gaz seront probablement ajustées à la lumière de ces résultats. Les règles de ressources pourront évoluer. Les détails d’encodage et de construction d’engagement resteront liés à la spécification du système de preuve sous-jacent.
La communauté technique aura l’occasion d’examiner les points de friction, les cas limites et les interactions avec d’autres propositions en cours. C’est dans cet échange que se forgent généralement les améliorations. Un projet qui reste figé dans sa première version a peu de chances d’aboutir. Un projet qui s’affine au contact des retours a davantage de perspectives.
En attendant, l’idée principale mérite d’être retenue : il est possible d’imaginer des structures où le coût d’une preuve complexe n’est plus entièrement supporté par chaque participant isolé. Le partage, sous certaines conditions et avec des garde-fous appropriés, peut devenir un levier d’efficacité supplémentaire.
Une Réflexion Sur L’Évolution Des Coûts
Les frais de transaction ont longtemps été un sujet de tension sur Ethereum. Chaque amélioration qui réduit la charge computationnelle ou qui permet de mutualiser certains travaux contribue à élargir l’accessibilité du réseau. Les preuves partagées s’inscrivent dans cette dynamique. Elles ne sont pas une solution miracle, mais un outil supplémentaire dans une boîte à outils déjà bien remplie.
La séparation entre le sponsor et les membres introduit une forme de spécialisation. Certains acteurs peuvent se concentrer sur le financement de la partie commune, tandis que d’autres se concentrent sur leurs propres affirmations. Cette division du travail n’est pas nouvelle dans l’économie, mais son application précise au domaine des preuves cryptographiques mérite attention.
Si les calibrages se révèlent favorables, on peut imaginer l’émergence de services spécialisés dans le sponsoring de lots. Ces services pourraient mutualiser le risque et l’expertise technique, offrant aux utilisateurs finaux une expérience plus simple. Rien de tout cela n’est encore écrit, mais la structure proposée laisse la porte ouverte à de telles évolutions.
La Préservation De L’Indépendance Des Transactions
Un point souvent sous-estimé concerne le maintien de l’indépendance des nonces et des reçus. Même lorsque plusieurs affirmations partagent une preuve, chaque transaction conserve son identité propre dans la séquence du compte et dans l’historique d’exécution. Cette propriété évite de transformer un lot en une sorte de super-transaction opaque.
Le constructeur de bloc peut donc traiter chaque membre de façon relativement indépendante au moment de l’inclusion. Il n’est pas obligé de tout prendre ou de tout laisser. Cette granularité est précieuse. Elle permet d’adapter le contenu du bloc aux conditions du moment sans forcer les utilisateurs à recommencer des signatures.
La vérification des paiements lors de la finalisation ajoute une couche de contrôle. Les preuves récursives authentifient les sources, ce qui maintient la traçabilité. L’ensemble forme un système où la mutualisation ne se fait pas au détriment de la clarté des responsabilités.
Les Enjeux De Performance À Surveiller
Les mesures exigées avant activation portent sur plusieurs dimensions. Le traitement complet d’un bloc doit rester dans des délais acceptables. La réparation d’un sponsor qui intervient tardivement ne doit pas créer de goulets d’étranglement. Les frais par preuve doivent s’inscrire dans les limites de gaz d’une transaction ordinaire, y compris les coûts généraux.
Les projections avec seize travailleurs donnent une idée de ce que pourrait produire un parallélisme plus poussé, mais les résultats mesurés sur une seule machine restent la référence de base. Tout écart important devra être compris et, si possible, réduit. La documentation de ces écarts fait partie intégrante du processus.
Un sponsorship invalidé représente un risque réel pour le constructeur. Le travail déjà effectué n’est pas remboursé par le gaz d’inclusion. Cette asymétrie incite à la prudence dans la sélection des lots et dans la vérification préalable des conditions de validité. Elle rappelle que chaque optimisation s’accompagne de nouveaux arbitrages.
Une Proposition Encore Ouverte
Le statut actuel du document est celui d’un projet de spécification soumis au dépôt des propositions d’amélioration. Il remplace une version antérieure et regroupe plusieurs éléments : vérification générique, identité de preuve, limites de ressources, résumés de dépendance et paiements de lot. Aucun numéro définitif n’a encore été attribué, et le fil de discussion dédié reste à créer.
Cette phase est normale. Les idées techniques passent par plusieurs itérations avant de trouver une forme stable. Les retours de la communauté, les mesures expérimentales et les confrontations avec d’autres propositions en cours contribueront à affiner le texte. Rien n’est gravé dans le marbre à ce stade.
Pour l’instant, l’intérêt principal réside dans la clarification d’un modèle où le coût d’une preuve complexe peut être partagé sans effacer l’identité de chaque transaction. Si ce modèle survit aux tests de performance et aux examens techniques, il pourra un jour faire partie de la boîte à outils disponible pour les développeurs et les utilisateurs.
Perspectives À Plus Long Terme
Au-delà des détails immédiats, cette proposition s’inscrit dans une tendance plus vaste : celle de traiter les opérations cryptographiques lourdes de façon de plus en plus agrégée et mutualisée. Chaque génération de techniques de preuve apporte de nouvelles possibilités de composition. La récursion, en particulier, multiplie les options de structuration.
On peut imaginer que, dans quelques années, le partage de preuves devienne un mode de fonctionnement courant pour certaines catégories d’applications. Les protocoles qui génèrent régulièrement des affirmations similaires pourraient systématiquement organiser des lots. Des marchés de sponsoring pourraient même apparaître, avec des acteurs spécialisés dans le financement de la partie commune.
Rien de tout cela n’est certain. Les technologies évoluent, les priorités changent, et d’autres approches peuvent se révéler plus efficaces. Pourtant, le simple fait d’explorer sérieusement ces pistes enrichit le champ des possibles. Chaque proposition bien documentée, même si elle n’aboutit pas sous sa forme initiale, contribue à la compréhension collective des compromis en jeu.
En définitive, l’idée de partager les coûts des preuves en lot tout en préservant l’indépendance des transactions mérite d’être suivie avec attention. Elle touche à des questions centrales : comment répartir équitablement le travail cryptographique, comment maintenir la flexibilité des constructeurs de blocs, et comment garder des frais accessibles pour les utilisateurs. Les réponses apportées aujourd’hui influenceront peut-être la forme que prendra Ethereum demain.
Le chemin reste long entre un projet de spécification et une activation sur le réseau principal. Les mesures de performance, les calibrages de gaz, les discussions techniques et les éventuels ajustements prendront du temps. Mais le point de départ est posé. Une nouvelle façon d’organiser les paiements et les preuves est désormais formalisée, et c’est déjà un pas significatif.
Les prochains mois diront si cette approche trouve un écho suffisant pour progresser vers un statut plus formel. En attendant, elle offre une fenêtre intéressante sur les réflexions en cours au sein de la communauté technique. Partager le coût d’une preuve sans partager l’identité des transactions : l’équation paraît simple, mais sa résolution concrète demande encore beaucoup de travail. C’est précisément ce travail qui vient de commencer.
