Bonjour à tous et bienvenue. Je m'appelle Maggie et je suis la directrice technique chez Foresight Ventures. Aujourd'hui, nous allons passer 30 minutes à parler de « Quel type de rollup Ethereum voulons-nous ? »
Maintenant, je voudrais présenter brièvement notre entreprise.
Foresight Ventures est une institution d'investissement axée sur la recherche et axée sur la technologie blockchain et l'industrie de la cryptographie. Notre matrice de produits comprend plusieurs composants clés.
Foresight News est la plus grande plateforme média web3 multilingue de la région Asie-Pacifique.
Nous gérons également Foresight X, un accélérateur qui fournit un support dédié aux startups Crypto et crée ainsi une communauté mondiale de développeurs Web3 florissante.
Si vous souhaitez en savoir plus sur nous, n'hésitez pas à visiter notre site officiel ou à nous rejoindre sur les réseaux sociaux.
Passons maintenant à l'ordre du jour d'aujourd'hui.
Tout d’abord, passons en revue la récente controverse sur « qu’est-ce qu’Ethereum L2 » et les Rollups.
Après cela, nous discuterons de « À quel type de rollups Ethereum pouvons-nous nous attendre ? »
1. Polémique sur "Qu'est-ce qu'Ethereum L2"
Le mois dernier, Dankrad a tweeté : « S’il n’utilise pas Ethereum comme couche de disponibilité des données (DA), ce n’est pas le Rollup d’Ethereum, et donc ce n’est pas le L2 d’Ethereum. » Il a également déclaré que les canaux plasma et étatiques sont pris en compte. L2, mais pas Validium.
Après que Dankrad ait publié son opinion, de nombreux constructeurs et chercheurs dans le domaine L2 ont commencé à la remettre en question. De nombreux projets L2 n'utilisent pas Ethereum comme couche de disponibilité des données pour réduire les coûts. Si ces projets ne sont pas inclus dans la liste L2, cela aura un impact significatif sur ces projets d'expansion du réseau. De plus, certains soutiennent que si le Validium ne compte pas comme L2, alors le Plasma ne devrait pas non plus le faire.
Ainsi, si vous approfondissez la documentation d'Ethereum, vous remarquerez peut-être qu'elle ne sait pas clairement si Validium est une plate-forme L2. Mais ils mentionnent que Validium est plus sécurisé que Plasma car ils utilisent une preuve de validité. Cela semble contredire le point de vue de Dankred, qui estime que Plasma est plus sécurisé que Validium à certains égards, car les utilisateurs peuvent quitter en utilisant l'état passé, que Validium ne peut pas prendre en charge.
Il n’y a donc pas de réponse définitive quant à savoir si les plasmas et les validiums doivent être inclus dans la L2.
Cependant, L 2B EAT a appliqué un filtre « Afficher uniquement le rollup » sur son site Web, permettant aux utilisateurs de filtrer tous les projets qui n'utilisent pas Ethereum comme couche DA.
Le débat sur L2 et Rollup va au-delà de cela. Nous avons également entendu de nombreuses opinions différentes, telles que « La disponibilité des données est un terme déroutant, la publication des données est meilleure », « Le Rollup classique est également un Rollup souverain », « Le Rollup souverain n'est pas du tout un Rollup », etc.
Alors, au lieu de nous attarder sur ces définitions, concentrons-nous sur un sujet plus significatif : quel type d’Ethereum L2 voulons-nous ? **
2. Quel type de Rollup Ethereum voulons-nous ?
Par définition, la couche 2 est une blockchain indépendante qui étend Ethereum et hérite des garanties de sécurité d’Ethereum.
Les problèmes de sécurité d’Ethereum Rollup ont été sous-estimés. Nous espérons que Rollup améliorera la sécurité et qu'il y aura davantage de blockchains modulaires personnalisées pour les applications.
Voici les fonctionnalités que nous souhaitons avoir dans une solution de couche 2 :
Premièrement, Nous voulons que L2 puisse étendre Ethereum, ce qui signifie que L2 doit disposer d'un pont de vérification vers Ethereum, permettant aux utilisateurs de transférer des actifs entre L2 et Ethereum et d'obtenir la sécurité d'Ethereum. Par exemple, je peux utiliser mon ETH sur Arbitrum L2 pour certaines transactions à un coût relativement faible tout en conservant la sécurité d'Ethereum.
Deuxièmement, nous espérons que L2 pourra atteindre une sécurité ultra-élevée en héritant de la sécurité d'Ethereum.
Tout d'abord, nous espérons que L2 pourra hériter de la sécurité d'Ethereum. La meilleure façon d’y parvenir est d’utiliser Ethereum comme couche de disponibilité des données (DA), agissant comme un rollup pour Ethereum. Idéalement, nous aimerions faire du nœud L2 un nœud sans confiance et n'avons besoin que de faire confiance à Ethereum pour garantir pleinement la sécurité du Rollup.
Deuxièmement, nous espérons que Rollup pourra hériter de l'activité d'Ethereum. Les utilisateurs devraient pouvoir exécuter Rollup eux-mêmes même si le nœud Rollup ne fonctionne pas, ou au moins avoir un moyen de quitter L2 et de récupérer les fonds vers L1.
De plus, nous espérons également que Rollup pourra hériter de la résistance à la décentralisation et à la censure d'Ethereum.
2.1 Hériter de la sécurité Ethereum
Afin de mieux hériter de la sécurité d’Ethereum (ETH), Ethereum doit être utilisé non seulement pour la disponibilité des données et l’ordre des transactions, mais également pour le règlement. La couche Rollup est responsable de l'exécution des transactions et des transitions d'état. Règlement en Ethereum via preuve de fraude ou preuve de validité.
Comme vous pouvez le voir dans le diagramme, les rôles des nœuds Rollup peuvent être divisés en 2-3 types différents : Sequencer, Proposer et ZK prouver.
Le séquenceur joue un rôle important dans Rollup. Il regroupe les transactions et les soumet au réseau Ethereum, en utilisant Ethereum pour garantir la disponibilité des données et l'ordre des transactions.
Dans le même temps, le proposant exécute ces transactions et génère le dernier état du Rollup, puis soumet la racine Merkle du nouvel état à Ethereum. S'il s'agit d'un cumul optimiste et que personne ne lance de contestation dans le délai spécifié, alors la racine de l'état sera acceptée et la transaction sera confirmée.
Dans le cas de ZK Rollup, le prouveur génère une preuve sans connaissance pour prouver la validité de la racine d'état. Une fois le ZKP soumis et confirmé sur Ethereum, la transaction sera également confirmée.
Par conséquent, une fois que toutes ces données ont été validées et confirmées sur Ethereum, l'annulation de la transaction Rollup nécessite de restaurer Ethereum, héritant ainsi des garanties de sécurité d'Ethereum. De plus, ces trois rôles sont parfois joués par le même nœud. Dans certains protocoles, tels que Optimism, le séquenceur soumet simultanément des lots de transactions et des racines d'état Merkle.
Un autre problème lié à la sécurité est la vérification de l'état du Rollup. Comme mentionné précédemment, le Rollup optimiste utilise une preuve de fraude, tandis que ZK Rollup utilise une preuve de validité, telle qu'une preuve de connaissance nulle.
L'avantage d'utiliser des preuves de fraude (telles que Optimism et Arbitrum) est que Rollup peut être équivalent à la machine virtuelle Ethereum (EVM). Cependant, les utilisateurs doivent vérifier la chaîne pour protéger leurs fonds, et la confirmation finale des transactions est plus lente en raison de sa longue période de contestation d'environ 7 jours.
ZK Rollup, comme Starknet, zkSync, Scroll et Polygon zkEVM, offre une sécurité renforcée en utilisant des preuves sans connaissance pour prouver que l'état a été correctement calculé. Une fois ZKP vérifié sur L1, la transaction sera finalisée immédiatement. Cela ne prend que quelques minutes ou tout au plus quelques heures, ce qui est beaucoup plus rapide qu'un cumul optimiste. Cependant, ZK Rollup n'est généralement pas entièrement équivalent à EVM.
** Du point de vue de la sécurité, les preuves sans connaissance fonctionnent mieux. Ils s'appuient sur des mécanismes cryptographiques sans confiance pour la vérification de l'état, plutôt que sur l'honnêteté des participants incités comme des rollups optimistes. **Mais les frais de transaction peuvent être plus élevés et ne pas exactement équivalents à l'EVM. Par conséquent, le choix de celui à utiliser dépend des objectifs du réseau.
Dans certains cas, une approche hybride peut combiner les fonctionnalités des deux Rollups. Un nouveau projet appelé Morphism utilise les preuves de validité ZK pour répondre aux défis des conceptions de cumul optimistes, ce qui peut réduire la fenêtre de défi de 7 jours à 1 jour et réduire les coûts DA. La pile OP explore également l'utilisation de ZKP pour prouver les programmes défectueux d'Optimism.
Cependant, il existe d'énormes problèmes de sécurité concernant l'évolutivité de Rollup. Lorsque Rollup a besoin de corrections de bogues urgentes ou doit être mis à niveau pour prendre en charge de nouvelles fonctionnalités, il est parfois nécessaire de mettre à niveau le contrat intelligent Rollup sur Ethereum. Il est donc crucial de savoir qui contrôle ces contrats intelligents.
Pour de nombreux rollups, les clés permettant de contrôler les mises à niveau sont détenues par les membres de l'équipe principale. En théorie, ces membres ont la capacité de voler les fonds des utilisateurs grâce à l'utilisation de mécanismes d'escalade. Comme le dit Vitalic, c'est comme une « porte dérobée » pour les développeurs.
Pour éviter ce problème, l'évolutivité peut être désactivée. Par exemple, Fuel V1 désactivait la mise à niveau, mais chaque itération de mise à jour nécessitait le redéploiement des contrats intelligents et les utilisateurs devaient migrer manuellement leurs actifs vers la nouvelle version. Ce processus est similaire au démarrage d’un nouveau projet, ce qui entraîne une liquidité fragmentée et une flexibilité considérablement réduite.
**Une meilleure approche consiste à utiliser un DAO pour les mises à niveau de gouvernance et à définir un délai pour permettre aux utilisateurs qui ne sont pas d'accord avec la mise à niveau de quitter avant que la mise à niveau n'ait lieu. **Cela ajoute certaines hypothèses de sécurité DAO au Rollup, telles que l'hypothèse de la majorité honnête.
**En général, afin d'hériter de la sécurité d'Ethereum, nous recommandons à Rollup d'utiliser Ethereum pour la disponibilité des données, la commande et le règlement des transactions. Pour la vérification d’état, l’utilisation de preuves sans connaissance est plus fiable. Si nous voulons prendre en charge l'évolutivité, il est préférable d'utiliser un DAO pour gérer les mises à niveau et donner aux utilisateurs suffisamment de temps (par exemple 30 jours) pour quitter. **
2.2 Hériter de la capacité de survie d'Ethereum
Parlons maintenant de la façon d’hériter de la vivacité d’Ethereum.
Nous espérons que même si le sérialiseur et le proposant actuels tombent en panne, avec l'aide du réseau principal Ethereum, les utilisateurs pourront toujours recréer l'état L2 et maintenir Rollup en cours d'exécution, ou au moins il y aura un moyen pour les utilisateurs de quitter sans confiance L1.
Cependant, nous avons constaté que de nombreux Rollups existants ne disposent jusqu'à présent pas de ce mécanisme, tels que Optimism, zkSync Era et Base. Donc, si cela se produit, Rollup cessera de fonctionner et tout le monde perdra ses fonds sur L2.
Certains rollups permettent aux utilisateurs de forcer la sortie et de retirer leurs fonds sur L1 en soumettant une preuve de fonds Merkle ou ZK sur L2.
Mais certains Rollups ne vous permettent pas de retirer des actifs sauf pour les garanties, ce qui signifie que vos actifs locaux L2 ne peuvent pas être retirés. Si vous échangez votre garantie contre des jetons NFT ou LP, vous ne pourrez peut-être pas les récupérer sur Ethereum L1.
Les rollups comme dYdX vous permettent d'imposer la conversion des actifs natifs L2 en garantie, puis de les retirer sur L1.
Certains Rollups prennent également en charge l'extraction de NFT vers L1.
Une meilleure solution consiste à permettre aux utilisateurs de devenir également des séquenceurs et des proposants pour que le Rollup continue de fonctionner. Par exemple, Polygon zkEVM utilise le séquenceur sans licence. Arbitrum permet aux utilisateurs de forcer l'inclusion des transactions dans un rollup en les envoyant à L1 (il y a un délai d'un jour pour cette opération). De plus, n'importe qui peut devenir proposant après que le proposant actuel de la liste blanche soit inactif pendant 6 jours consécutifs.
En fait, l’activité est également liée au degré de décentralisation. Si les nœuds Rollup sont mieux décentralisés et résistants à la censure, Rollup aura une meilleure activité.
**Par conséquent, afin d'améliorer la capacité de survie de Rollup, nous recommandons des nœuds décentralisés qui permettent aux utilisateurs de commander et de proposer eux-mêmes des transactions en cas d'échec. **
2.3 Hériter de la décentralisation et de la résistance à la censure d'Ethereum
La recherche sur la décentralisation Rollup se concentre principalement sur le séquenceur décentralisé.
Aujourd'hui, presque tous les réseaux Rollup utilisent uniquement un séquenceur centralisé. Les séquenceurs ont la capacité de rejeter les transactions des utilisateurs et d'extraire le MEV de manière malveillante, ce qui peut nuire financièrement aux utilisateurs. De plus, l’utilisation d’un seul séquenceur manque de résistance à la censure.
Par conséquent, l'une des méthodes prometteuses explorées par Rollup pour mettre en œuvre une séquence décentralisée est une séquence décentralisée PoS sans autorisation. Cette méthode est utilisée dans Morphism Rollup, où le séquenceur est sélectionné en fonction des règles POS et exécute un algorithme de consensus basé sur BFT pour parvenir à un consensus sur le lot de transactions. Certains autres rollups tentent d'utiliser la méthode d'élection des leaders pour élire un séquenceur de leaders à chaque époque.
Une autre méthode consiste à utiliser les enchères MEV. À chaque époque, les participants enchérissent en fonction du profit qu'ils attendent des frais de transaction et du MEV qu'ils peuvent retirer en tant que séquenceur. Le gagnant paie le montant de son offre à la trésorerie Rollup et reçoit le droit d'ordonner des transactions et de capturer tous les bénéfices au cours de cette période.
*La preuve d'efficacité de Polygon est une autre approche où n'importe qui peut devenir séquenceur ou agrégateur. Les séquenceurs nécessitent des frais supplémentaires pour éviter les attaques de spam lors de la proposition de lots de transactions à Ethereum L1. L'agrégateur vérifie les transactions batch émises par le séquenceur. Le premier agrégateur à soumettre le certificat de validité recevra les tokens déposés par le séquenceur. Cependant, les ressources informatiques des agrégateurs en retard peuvent être gaspillées.
Dans la méthode du séquenceur partagé, un groupe de nœuds fournit des services de séquençage à plusieurs Rollups. Rollup se connecte à un réseau de séquenceurs partagé pour gérer l'ordre des transactions et la génération de blocs. Les pools de séquenceurs partagés sont décentralisés (ils exécutent des protocoles de consensus pour convenir des transactions et soumettre des lots de transactions)
Toutes ces technologies pour séquenceurs décentralisés en sont encore à leurs balbutiements et continuent d’évoluer. Nous ne pouvons donc fournir qu’une évaluation neutre pour le moment.
Les prouveurs ZKP peuvent être aussi décentralisés et sans autorisation que la preuve d'efficacité de Polygon, car ils ne peuvent pas effectuer de MEV et sont difficiles à se comporter de manière malveillante.
**En résumé, nous avons besoin de sérialiseurs et de prouveurs décentralisés pour améliorer la décentralisation et la résistance à la censure de Rollup. **
Outre les problèmes de sécurité, de nombreux autres facteurs doivent être pris en compte. Voici quelques questions connexes :
Comment équilibrer les incitations du séquenceur et du prouveur ZKP ?
Le séquenceur peut exécuter MEV, mais pas le prouveur. Ce mécanisme incite les gens à devenir sérialiseurs. Cependant, nous avons en réalité besoin de plus de prouveurs que de séquenceurs, car la génération de preuves sans connaissance nécessite plus de puissance de calcul que le packaging de transactions. Alors, comment équilibrer les incitations entre les deux ? Je pense que nous devons concevoir un modèle de frais dynamiques et un modèle d’incitation intelligents.
Après la mise à niveau EIP 4844, Rollup utilisera des blobs pour stocker les données, et les données blob ne seront enregistrées sur Ethereum que pendant 1 à 3 mois, cela affectera-t-il donc Rollup ?
Ma réponse est oui, je pense qu’il y aura un petit impact, mais il sera facile à corriger. Les données historiques de Rollup peuvent être téléchargées vers un stockage décentralisé pour l'archivage. Si tous les nœuds de Rollup sont hors ligne (en particulier dans la situation actuelle d'un seul sérialiseur), les utilisateurs devront télécharger les données historiques du système de stockage décentralisé et les combiner avec les données blob d'Ethereum L1 pour reconstruire l'état.
Comment réduire les frais de transactions du Rollup ?
Lors de la conception de Rollup, de nombreux compromis ont été nécessaires entre sécurité, décentralisation et rentabilité. Par exemple, nous utilisons ZKP pour vérifier l’état afin d’améliorer la sécurité, mais cela nécessite plus de puissance de calcul et rend également les transactions plus coûteuses. Il s’agit d’un compromis entre sécurité et coût. Certains ZK Rollups utilisent des preuves récursives pour agréger les ZKP pour plusieurs lots de transactions, puis soumettre les preuves agrégées à L1. Cela peut permettre d'économiser les coûts de gaz sur Ethereum et de réduire les frais de transaction L2, mais cela allongera également le délai de confirmation finale de la transaction.
Résumer
Pour résumer, revenons à notre question initiale, quel type d’Ethereum Rollup voulons-nous ?
Tout d'abord, nous espérons que Rollup héritera non seulement de la sécurité d'Ethereum, mais également de sa capacité de survie, de sa décentralisation et de sa résistance à la censure.
En pratique, il est très difficile de créer un cumul L2 qui n'introduit pas d'hypothèses de confiance supplémentaires, car l'évolutivité, les sérialiseurs décentralisés et les configurations de confiance sans connaissance nulle peuvent tous impliquer des hypothèses de confiance supplémentaires. On ne peut pas dire que L2 Rollup hérite complètement de la sécurité de l’ETH sans faire confiance à aucun nœud L2 Rollup.
Pour une meilleure sécurité. ** Les mises à niveau des contrats intelligents L1 Rollup doivent être régies par le DAO, avec des délais définis pour laisser aux utilisateurs suffisamment de temps pour quitter s'ils n'acceptent pas la mise à niveau. **Cependant, cette approche introduit également des hypothèses de sécurité DAO dans le système.
Dernier point mais non le moindre, N'utilisez pas un seul sérialiseur, mais utilisez un sérialiseur décentralisé pour une meilleure capacité de survie, décentralisation et résistance à la censure.
Avant de terminer ma présentation, je tiens à souligner que si quelqu'un ici a d'excellentes idées et a besoin de ressources pour les mettre en œuvre, n'hésitez pas à nous contacter à Foresight Ventures.
De plus, nous vous invitons à rejoindre notre programme d'incubation Foresight X. Nous sommes là pour soutenir et nourrir votre parcours entrepreneurial. Grâce à notre connaissance approfondie du secteur et à nos ressources étendues, nous veillerons à ce que votre projet prospère.
De plus, si vous travaillez dans le milieu universitaire ou dans la recherche, Foresight X propose des subventions compétitives pour soutenir votre parcours de recherche.
Nous fournissons également ici un code QR avec tous les liens qui pourraient vous intéresser, y compris les rapports de recherche. N'hésitez pas à prendre une photo ou à scanner le code pour plus d'informations, et vous pourrez me retrouver sur Twitter si vous avez des questions après la séance.
Merci encore pour votre temps, j'espère que vous vous êtes tous bien amusés et que vous passez une bonne journée.
Pour consulter le contenu PPT, veuillez cliquer ici : 0920).pdf
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Foresight Ventures : Quel type de rollup Ethereum souhaitons-nous ?
Auteur original : Maggie-Foresight Ventures
Bonjour à tous et bienvenue. Je m'appelle Maggie et je suis la directrice technique chez Foresight Ventures. Aujourd'hui, nous allons passer 30 minutes à parler de « Quel type de rollup Ethereum voulons-nous ? »
Maintenant, je voudrais présenter brièvement notre entreprise.
Si vous souhaitez en savoir plus sur nous, n'hésitez pas à visiter notre site officiel ou à nous rejoindre sur les réseaux sociaux.
Passons maintenant à l'ordre du jour d'aujourd'hui.
Tout d’abord, passons en revue la récente controverse sur « qu’est-ce qu’Ethereum L2 » et les Rollups.
Après cela, nous discuterons de « À quel type de rollups Ethereum pouvons-nous nous attendre ? »
1. Polémique sur "Qu'est-ce qu'Ethereum L2"
Le mois dernier, Dankrad a tweeté : « S’il n’utilise pas Ethereum comme couche de disponibilité des données (DA), ce n’est pas le Rollup d’Ethereum, et donc ce n’est pas le L2 d’Ethereum. » Il a également déclaré que les canaux plasma et étatiques sont pris en compte. L2, mais pas Validium.
Après que Dankrad ait publié son opinion, de nombreux constructeurs et chercheurs dans le domaine L2 ont commencé à la remettre en question. De nombreux projets L2 n'utilisent pas Ethereum comme couche de disponibilité des données pour réduire les coûts. Si ces projets ne sont pas inclus dans la liste L2, cela aura un impact significatif sur ces projets d'expansion du réseau. De plus, certains soutiennent que si le Validium ne compte pas comme L2, alors le Plasma ne devrait pas non plus le faire.
Ainsi, si vous approfondissez la documentation d'Ethereum, vous remarquerez peut-être qu'elle ne sait pas clairement si Validium est une plate-forme L2. Mais ils mentionnent que Validium est plus sécurisé que Plasma car ils utilisent une preuve de validité. Cela semble contredire le point de vue de Dankred, qui estime que Plasma est plus sécurisé que Validium à certains égards, car les utilisateurs peuvent quitter en utilisant l'état passé, que Validium ne peut pas prendre en charge.
Il n’y a donc pas de réponse définitive quant à savoir si les plasmas et les validiums doivent être inclus dans la L2.
Cependant, L 2B EAT a appliqué un filtre « Afficher uniquement le rollup » sur son site Web, permettant aux utilisateurs de filtrer tous les projets qui n'utilisent pas Ethereum comme couche DA.
Le débat sur L2 et Rollup va au-delà de cela. Nous avons également entendu de nombreuses opinions différentes, telles que « La disponibilité des données est un terme déroutant, la publication des données est meilleure », « Le Rollup classique est également un Rollup souverain », « Le Rollup souverain n'est pas du tout un Rollup », etc.
Alors, au lieu de nous attarder sur ces définitions, concentrons-nous sur un sujet plus significatif : quel type d’Ethereum L2 voulons-nous ? **
2. Quel type de Rollup Ethereum voulons-nous ?
Par définition, la couche 2 est une blockchain indépendante qui étend Ethereum et hérite des garanties de sécurité d’Ethereum.
Les problèmes de sécurité d’Ethereum Rollup ont été sous-estimés. Nous espérons que Rollup améliorera la sécurité et qu'il y aura davantage de blockchains modulaires personnalisées pour les applications.
Voici les fonctionnalités que nous souhaitons avoir dans une solution de couche 2 :
2.1 Hériter de la sécurité Ethereum
Afin de mieux hériter de la sécurité d’Ethereum (ETH), Ethereum doit être utilisé non seulement pour la disponibilité des données et l’ordre des transactions, mais également pour le règlement. La couche Rollup est responsable de l'exécution des transactions et des transitions d'état. Règlement en Ethereum via preuve de fraude ou preuve de validité.
Comme vous pouvez le voir dans le diagramme, les rôles des nœuds Rollup peuvent être divisés en 2-3 types différents : Sequencer, Proposer et ZK prouver.
Par conséquent, une fois que toutes ces données ont été validées et confirmées sur Ethereum, l'annulation de la transaction Rollup nécessite de restaurer Ethereum, héritant ainsi des garanties de sécurité d'Ethereum. De plus, ces trois rôles sont parfois joués par le même nœud. Dans certains protocoles, tels que Optimism, le séquenceur soumet simultanément des lots de transactions et des racines d'état Merkle.
Un autre problème lié à la sécurité est la vérification de l'état du Rollup. Comme mentionné précédemment, le Rollup optimiste utilise une preuve de fraude, tandis que ZK Rollup utilise une preuve de validité, telle qu'une preuve de connaissance nulle.
** Du point de vue de la sécurité, les preuves sans connaissance fonctionnent mieux. Ils s'appuient sur des mécanismes cryptographiques sans confiance pour la vérification de l'état, plutôt que sur l'honnêteté des participants incités comme des rollups optimistes. **Mais les frais de transaction peuvent être plus élevés et ne pas exactement équivalents à l'EVM. Par conséquent, le choix de celui à utiliser dépend des objectifs du réseau.
Dans certains cas, une approche hybride peut combiner les fonctionnalités des deux Rollups. Un nouveau projet appelé Morphism utilise les preuves de validité ZK pour répondre aux défis des conceptions de cumul optimistes, ce qui peut réduire la fenêtre de défi de 7 jours à 1 jour et réduire les coûts DA. La pile OP explore également l'utilisation de ZKP pour prouver les programmes défectueux d'Optimism.
Cependant, il existe d'énormes problèmes de sécurité concernant l'évolutivité de Rollup. Lorsque Rollup a besoin de corrections de bogues urgentes ou doit être mis à niveau pour prendre en charge de nouvelles fonctionnalités, il est parfois nécessaire de mettre à niveau le contrat intelligent Rollup sur Ethereum. Il est donc crucial de savoir qui contrôle ces contrats intelligents.
**En général, afin d'hériter de la sécurité d'Ethereum, nous recommandons à Rollup d'utiliser Ethereum pour la disponibilité des données, la commande et le règlement des transactions. Pour la vérification d’état, l’utilisation de preuves sans connaissance est plus fiable. Si nous voulons prendre en charge l'évolutivité, il est préférable d'utiliser un DAO pour gérer les mises à niveau et donner aux utilisateurs suffisamment de temps (par exemple 30 jours) pour quitter. **
2.2 Hériter de la capacité de survie d'Ethereum
Parlons maintenant de la façon d’hériter de la vivacité d’Ethereum.
Nous espérons que même si le sérialiseur et le proposant actuels tombent en panne, avec l'aide du réseau principal Ethereum, les utilisateurs pourront toujours recréer l'état L2 et maintenir Rollup en cours d'exécution, ou au moins il y aura un moyen pour les utilisateurs de quitter sans confiance L1.
En fait, l’activité est également liée au degré de décentralisation. Si les nœuds Rollup sont mieux décentralisés et résistants à la censure, Rollup aura une meilleure activité.
**Par conséquent, afin d'améliorer la capacité de survie de Rollup, nous recommandons des nœuds décentralisés qui permettent aux utilisateurs de commander et de proposer eux-mêmes des transactions en cas d'échec. **
2.3 Hériter de la décentralisation et de la résistance à la censure d'Ethereum
La recherche sur la décentralisation Rollup se concentre principalement sur le séquenceur décentralisé.
Toutes ces technologies pour séquenceurs décentralisés en sont encore à leurs balbutiements et continuent d’évoluer. Nous ne pouvons donc fournir qu’une évaluation neutre pour le moment.
Les prouveurs ZKP peuvent être aussi décentralisés et sans autorisation que la preuve d'efficacité de Polygon, car ils ne peuvent pas effectuer de MEV et sont difficiles à se comporter de manière malveillante.
**En résumé, nous avons besoin de sérialiseurs et de prouveurs décentralisés pour améliorer la décentralisation et la résistance à la censure de Rollup. **
Outre les problèmes de sécurité, de nombreux autres facteurs doivent être pris en compte. Voici quelques questions connexes :
Le séquenceur peut exécuter MEV, mais pas le prouveur. Ce mécanisme incite les gens à devenir sérialiseurs. Cependant, nous avons en réalité besoin de plus de prouveurs que de séquenceurs, car la génération de preuves sans connaissance nécessite plus de puissance de calcul que le packaging de transactions. Alors, comment équilibrer les incitations entre les deux ? Je pense que nous devons concevoir un modèle de frais dynamiques et un modèle d’incitation intelligents.
Ma réponse est oui, je pense qu’il y aura un petit impact, mais il sera facile à corriger. Les données historiques de Rollup peuvent être téléchargées vers un stockage décentralisé pour l'archivage. Si tous les nœuds de Rollup sont hors ligne (en particulier dans la situation actuelle d'un seul sérialiseur), les utilisateurs devront télécharger les données historiques du système de stockage décentralisé et les combiner avec les données blob d'Ethereum L1 pour reconstruire l'état.
Lors de la conception de Rollup, de nombreux compromis ont été nécessaires entre sécurité, décentralisation et rentabilité. Par exemple, nous utilisons ZKP pour vérifier l’état afin d’améliorer la sécurité, mais cela nécessite plus de puissance de calcul et rend également les transactions plus coûteuses. Il s’agit d’un compromis entre sécurité et coût. Certains ZK Rollups utilisent des preuves récursives pour agréger les ZKP pour plusieurs lots de transactions, puis soumettre les preuves agrégées à L1. Cela peut permettre d'économiser les coûts de gaz sur Ethereum et de réduire les frais de transaction L2, mais cela allongera également le délai de confirmation finale de la transaction.
Résumer
Pour résumer, revenons à notre question initiale, quel type d’Ethereum Rollup voulons-nous ?
Avant de terminer ma présentation, je tiens à souligner que si quelqu'un ici a d'excellentes idées et a besoin de ressources pour les mettre en œuvre, n'hésitez pas à nous contacter à Foresight Ventures.
De plus, nous vous invitons à rejoindre notre programme d'incubation Foresight X. Nous sommes là pour soutenir et nourrir votre parcours entrepreneurial. Grâce à notre connaissance approfondie du secteur et à nos ressources étendues, nous veillerons à ce que votre projet prospère.
De plus, si vous travaillez dans le milieu universitaire ou dans la recherche, Foresight X propose des subventions compétitives pour soutenir votre parcours de recherche.
Nous fournissons également ici un code QR avec tous les liens qui pourraient vous intéresser, y compris les rapports de recherche. N'hésitez pas à prendre une photo ou à scanner le code pour plus d'informations, et vous pourrez me retrouver sur Twitter si vous avez des questions après la séance.
Merci encore pour votre temps, j'espère que vous vous êtes tous bien amusés et que vous passez une bonne journée.
Pour consulter le contenu PPT, veuillez cliquer ici : 0920).pdf