- Rubrique
72k Popularité
46k Popularité
16k Popularité
4k Popularité
5k Popularité
29k Popularité
16k Popularité
23k Popularité
13k Popularité
3k Popularité
- Épingler
72k Popularité
46k Popularité
16k Popularité
4k Popularité
5k Popularité
29k Popularité
16k Popularité
23k Popularité
13k Popularité
3k Popularité
StarkWare lance le Shared Proofer SHARP : comment réduire davantage les frais de gaz ?
Écrit par : Starkware
Traduction et relecture : communauté chinoise Starknet
Faits en bref
Visite prolongée
Scaling Ethereum est un voyage d'innovation, constamment à la recherche de solutions pour améliorer encore l'évolutivité. En juin 2020, StarkWare a lancé StarkEx, la première solution d'extension L2 basée sur STARK. En septembre 2020, le langage Cairo a été annoncé, le premier langage de programmation conçu pour maximiser l'efficacité des preuves STARK. Cairo, ainsi que l'informatique générale, ouvre la voie à des preuves codées rapides et sécurisées de toute logique métier et de déclarations de calcul arbitraires. Avec cette innovation, une nouvelle vague de développeurs a rejoint l'écosystème StarkWare.
Alors que les développeurs veulent l'évolutivité, la sécurité et l'efficacité de StarkEx, la plupart de leurs projets n'ont pas suffisamment d'activité de transaction pour remplir une preuve STARK. De même, les utilisateurs sont toujours en proie à l'imprévisibilité de la hausse des tarifs du gaz en raison de la congestion du réseau Ethereum.
Ainsi, SHARP est né.
Qu'est-ce que SHARP ?
SHARP (SHARed Prover) est un système puissant conçu pour générer des preuves STARK pour les programmes Cairo agrégés. Cairo est un langage de programmation informatique à usage général qui peut prendre en charge diverses logiques de code dans une seule preuve. SHARP traite un lot de transactions hors chaîne et prouve leurs preuves informatiques en chaîne, amortissant le coût de toutes les transactions en une seule preuve. La preuve STARK unifiée générée est vérifiée par le contrat de validateur Solidity sur la chaîne, permettant à SHARP d'augmenter le débit, de réduire les coûts de gaz et de minimiser la latence.
Par exemple, SHARP peut gérer le code Cairo à partir de programmes et de logiques complètement différents, y compris la frappe NFT jusqu'au système d'exploitation du réseau Starknet. SHARP peut certifier tant qu'il est écrit au Caire, et il peut regrouper divers programmes sous une seule preuve. Les gains d'efficacité apportés par SHARP lui permettent de regrouper des milliers de transactions en une seule preuve sur le réseau principal. Le coût du traitement des preuves en chaîne est amorti sur toutes les transactions d'un lot, de sorte que plus il y a de transactions groupées, plus le coût du gaz par transaction est faible.
Pour illustrer cela par un exemple :
Disons que vous et votre sœur achetez des cadeaux pour vos parents : un nouveau téléphone, une tasse et un t-shirt. Chaque cadeau est acheté auprès d'un détaillant en ligne différent et sera livré à vos domiciles respectifs à une date différente, dans un emballage de taille et de forme différente. Votre plan est d'avoir chaque cadeau emballé et envoyé par la poste à vos parents.
Cependant, la Poste a rencontré des difficultés. Finies les petites et moyennes boîtes, ne laissant que la grande boîte qui peut contenir n'importe quelle taille. Cela laisse deux options :
Option 1 : Chaque cadeau est livré emballé individuellement et envoyé par la poste dans une grande boîte. Bien que cela puisse accélérer l'expédition d'un seul cadeau, cela nécessite d'emballer trois boîtes distinctes et de faire trois voyages au bureau de poste pour envoyer trois colis distincts. Par conséquent, cette méthode ne permet pas de gagner du temps et n'est pas rentable.
Option 2 : Envoyez tous les cadeaux dans une grande boîte. Cela signifie que vous n'avez à gérer qu'une seule boîte au lieu de trois.
Dans cet exemple, SHARP est l'option 2, permettant une utilisation efficace des ressources et une gestion du temps plus fluide.
POINTU
Bien que SHARP soit né pour l'écosystème StarkWare, il peut certifier n'importe quel programme Cairo avec une exécution valide. L'efficacité en matière d'économie de temps et d'argent fait de SHARP la solution pour tous ceux qui ont besoin d'une méthode de preuve innovante.
SHARP récursif
Depuis sa création, SHARP a subi plusieurs mises à niveau d'efficacité. Le plus puissant d'entre eux est la transition des modèles linéaires aux modèles récursifs.
Dans les preuves récursives, SHARP prouve chaque réclamation au fur et à mesure qu'elle arrive, plutôt que de collecter un lot de réclamations pour remplir une preuve, puis de prouver le traitement du lot de réclamations. Il s'agit d'un moyen efficace de vérifier les affirmations d'un calcul, beaucoup plus rapidement que le calcul lui-même.
Ceci est réalisé en traitant les réclamations entrantes en parallèle, en contournant les barrières d'évolutivité précédentes qui exigeaient que toutes les réclamations individuelles soient reçues avant de prouver une réclamation combinée. Désormais, non seulement SHARP peut prouver l'exactitude de milliers de transactions, mais plusieurs preuves STARK peuvent également être vérifiées avec les validateurs STARK correspondants. Cela peut générer une seule preuve de la validité de plusieurs preuves en amont.
Après l'implémentation récursive, SHARP prouve immédiatement les réclamations entrantes. Les preuves elles-mêmes peuvent être itérées et combinées en preuves récursives. Ce processus de preuve récursif est mené jusqu'au bout, et la preuve finale est soumise à un contrat de validateur Solidity en chaîne. C'est comme un schéma imbriqué : un programme Cairo vérifie les preuves en amont, qui à leur tour produisent de nouvelles preuves, et les validateurs STARK confirment leur validité.
Dans l'analogie précédente, le bureau de poste n'offrait à l'origine qu'une seule taille de boîte standard, mais SHARP récursif a introduit une percée en proposant de petites boîtes de différentes tailles, chacune spécifiquement affectée à un seul article. Bien que les boîtes ne soient pas précisément adaptées à la taille de chaque article spécifique, cette approche innovante permet aux cadeaux d'arriver emballés dans de petites boîtes, éliminant ainsi les frais inutiles pour l'espace inutilisé et réduisant les retards . Les petites boîtes peuvent être emballées et prêtes à être expédiées dès que tous les cadeaux sont prêts, plutôt que d'attendre que les trois cadeaux arrivent avant de les emballer dans une grande boîte.
### Étape suivante : mise en page dynamique
L'équipe StarkWare développe actuellement des mises en page dynamiques en tant que personnalisation du service SHARP. Avec une mise en page dynamique, le prouveur calcule les ressources requises pour chaque logique spécifique et génère une preuve personnalisée en conséquence.
En utilisant à nouveau l'analogie du bureau de poste, les mises en page dynamiques peuvent être considérées comme l'idée de boîtes personnalisées. Ces boîtes personnalisées sont conçues pour s'adapter parfaitement à la forme de chaque cadeau, vous assurant de ne payer que la taille exacte dont vous avez besoin et d'éviter des frais inutiles. De même, avec la mise en page dynamique, une preuve personnalisée sera créée pour chaque logique et les ressources informatiques spécifiques qu'elle nécessite, vous assurant de ne payer que pour l'informatique que vous utilisez. SHARP peut faire des preuves précises tant qu'elles sont écrites au Caire.
L'équipe StarkWare espère introduire cette amélioration de l'adaptabilité et de l'efficacité dans la prochaine version de SHARP. L'aménagement dynamique a pour objectif de réduire considérablement les coûts de gaz.
En tirant parti de la génération de preuves récursives basée sur STARK, cette technologie améliorera considérablement l'évolutivité et l'efficacité du réseau Ethereum.