Un projet Ethereum propose des paiements partagés pour les preuves par lots
Machine translatedView English original
Reading sizeRead report ↓
加载图片中
Le contributeur Ethereum Marchhill a soumis un projet de proposition visant à permettre la vérification générique des preuves et le traitement par lots sponsorisé, ce qui permettrait à plusieurs demandes de transaction de partager une preuve tout en conservant des paiements et des signatures distincts. La proposition de Marchhill, soumise au dépôt EIP d'Ethereum le 13 nov.…
Partager
Le contributeur Ethereum Marchhill a soumis une proposition de draft visant à permettre la vérification générique de preuves et le traitement par lots sponsorisé, ce qui permet à plusieurs demandes de transaction de partager une preuve tout en conservant des paiements et des signatures distincts.
• Les sponsors pourraient payer les preuves par lots, tandis que les transactions des membres financeraient leurs demandes individuelles.
• Des sous-ensembles valides pourraient être intégrés à un bloc sans que les membres aient à signer à nouveau leurs transactions.
• Les frais et limites de ressources proposés restent provisoires, leur activation dépendant de mesures de performance.
• La soumission est une demande de tirage (pull request) à l'état de brouillon, sans numéro EIP attribué ni date d'activation sur le réseau principal.
La proposition de Marchhill, soumise au dépôt EIP d'Ethereum le 13 novembre, activerait le LEANSTARK_SCHEME réservé dans l'EIP-8288 et introduirait des règles pour les lots sponsorisés. La soumission est toujours en cours d'élaboration et n'a pas été adoptée comme mise à niveau du réseau Ethereum.
Le projet rassemble la vérification générique, l'identité des preuves, les limites de ressources, les résumés de dépendances et les paiements par lots dans une seule proposition. Il remplace une soumission antérieure, la pull request #12654, tandis qu'un numéro d'EIP et un fil de discussion dédié restent à attribuer.
Les preuves par lots d'Ethereum sépareraient les paiements des sponsors et ceux des membres
Au cœur du projet figure un mécanisme de paiement dans lequel un sponsor prend en charge chaque feuille de lot conservée, c'est-à-dire un composant de preuve individuel contenant plusieurs déclarations. Les transactions des membres seraient payées en fonction de leurs propres déclarations soumises.
Un constructeur pourrait inclure n'importe quel sous-ensemble valide sans demander aux membres de signer à nouveau. Une personne dont la transaction était prête à être incluse n'aurait donc pas besoin d'une nouvelle signature du seul fait que d'autres membres du groupe d'origine ont été exclus, selon le mécanisme proposé.
Le projet conserverait les nonces et les reçus individuels des transactions. Un nonce identifie la position d'une transaction dans la séquence de transactions d'un compte, tandis qu'un reçu enregistre le résultat de son exécution. Le partage du travail de preuve laisserait ces enregistrements attachés aux transactions distinctes.
La correspondance des paiements serait vérifiée lors de la finalisation, des preuves récursives authentifiant les sources utilisées dans le lot. La soumission distingue le travail consistant à établir la validité des revendications de celui consistant à confirmer que les paiements nécessaires les accompagnent.
Les revendications à tarif réduit et les paiements des sponsors iraient directement aux constructeurs de blocs. Les preuves ordinaires portant sur une seule déclaration resteraient éligibles au mempool public, où les transactions attendent d'être incluses dans des blocs.
La vérification générique s'appuie sur l'EIP-8288
L'EIP-8288 sous-jacent, rédigé par Vitalik Buterin et Thomas Coratger, propose d'agréger les signatures cryptographiques et les preuves en dehors du processus d'exécution principal d'Ethereum. Les transactions identifieraient les déclarations dont elles nécessitent la vérification, et un STARK récursif établirait leur validité au niveau du bloc.
Les STARK sont des preuves cryptographiques qui démontrent qu'un calcul a été effectué correctement sans exiger que chaque vérificateur le répète. La récursion permet à une preuve de vérifier d'autres preuves, en combinant leurs résultats.
L'EIP-8288 réserve actuellement le schéma générique leanSTARK plutôt que d'autoriser son utilisation dans les cadres de dépendance. La soumission de Marchhill propose d'activer cette voie et de remplacer la simple déclaration de hachage de données du projet de base par un condensé stable représentant une liste de déclarations.
La conception s'inscrit dans le prolongement des discussions antérieures sur la vérification cryptographique, notamment du soutien de Buterin à la gestion d'une cryptographie complexe au moyen de preuves agrégées. Ses commentaires portaient sur l'architecture sous-jacente ; le projet de Marchhill expose, lui, un dispositif précis de vérification et de paiement.
Les frais proposés restent à calibrer.
La révision fournie énumère des frais provisoires de 15 400 gas pour la vérification native et de 572 000 gas pour la vérification générique ordinaire. Elle attribue 5 100 gas à la part intrinsèque de la preuve, 675 000 gas à un paiement feuille et 4 200 gas à une réclamation par lot.
Les paiements par feuille entraînent des frais distincts, car les paiements contraignants ajoutent un travail fixe au-delà de la vérification ordinaire, explique le projet. Les réclamations et les paiements n'engendreraient aucune part de preuve intrinsèque supplémentaire. Ces chiffres nécessitent un calibrage conjoint et n'établissent donc ni un barème tarifaire définitif ni une économie confirmée pour les utilisateurs.
Les contrôles de ressources comprennent une limite provisoire de bloc de 16 384 dépendances distinctes, appliquée indépendamment du gaz, ainsi qu’une règle correspondante d’adéquation à la liste d’inclusion. Une feuille pourrait contenir jusqu’à 256 réclamations, tandis qu’une étape de preuve pourrait comporter 16 entrées. Aucun de ces chiffres ne constitue une limite à l’échelle du bloc.
L'activation nécessiterait des mesures de performance sur bloc complet
Avant l'activation, la proposition exige des mesures couvrant l'intégralité du calendrier de traitement, la réparation tardive par le sponsor et des frais par preuve qui respectent les limites de gaz des transactions, y compris les surcoûts requis.
Ses éléments de référence distinguent les résultats mesurés sur un nœud individuel et sur une machine unique des chiffres modélisés pour 16 workers. Le projet exige que les preuves et les écarts de performance restants soient consignés dans ses éléments de référence.
Un parrainage invalidé pourrait gâcher le travail d'un constructeur, et la soumission indique que le gaz d'inclusion ne rembourserait pas ce travail. La construction concrète des engagements et les encodages restent dans la spécification épinglée du système de preuve. La proposition n'introduit aucun nouveau message réseau.
