TL;DR
1/ L'essence de la modularité est de briser le « triangle impossible » et de réaliser une expansion de capacité sans augmenter la charge sur le matériel des nœuds.
2/ Celestia est la couche de disponibilité des données. Semblable à Optimistic Rollup, les données de bloc par défaut sont valides. Il utilise la preuve de fraude, le codage d'effacement et l'échantillonnage de disponibilité des données pour effectuer la vérification des données, tout en permettant aux nœuds légers de participer à la vérification.
3/ Celestia a initialement formé un écosystème. Actuellement, les projets écologiques bien connus incluent Fuel, Cevmos, etc.
4/ La manière dont Celestia pourra saisir la période fenêtre, former un effet d'échelle avant Polygon Avail et Danksharding et attirer une grande quantité de liquidités, en particulier la liquidité du Rollup natif, sera cruciale.
Habituellement, la couche 1 est divisée en quatre couches :
1) Couche de consensus
2) Couche de règlement
3) Couche de données
4) Couche d'exécution
Une couche de consensus est requise. La modularisation fait référence au découplage d'un ou deux éléments de règlement, de données et d'exécution (à proprement parler, le « découplage »), et à l'ajout d'un consensus pour former une nouvelle couche de protocoles réseau afin de briser le « triangle impossible » sans en ajouter davantage. L'expansion des capacités peut être obtenue sous le principe de réduire la charge sur le matériel des nœuds et de provoquer une centralisation.
Par exemple, Ethereum Rollup sépare la couche d'exécution pour assurer le consensus et l'exécution. Un séquenceur centralisé trie les transactions, regroupe et compresse un grand nombre de transactions, et les soumet au réseau principal Ethereum, où tous les nœuds principaux du réseau vérifient les données de transaction.
Celestia est un projet de disponibilité de données (DA) basé sur l'architecture Cosmos. Il fournit une couche de données et une couche de consensus pour les autres couches 1 et 2, construit une blockchain modulaire, dispose d'un modèle commercial toB et facture d'autres chaînes publiques.
Pour bien comprendre Celestia et la disponibilité des données, nous devons d'abord commencer par le « triangle impossible » et les problèmes de disponibilité des données.
Pourquoi la disponibilité des données est-elle importante ? Du « triangle impossible » aux problèmes de disponibilité des données
Le Triangle Impossible, également connu sous le nom de Trilemme, fait généralement référence à l’incapacité de réaliser à la fois la décentralisation, l’évolutivité et la sécurité. Il a été proposé pour la première fois par les responsables d’Ethereum.
En règle générale, lorsqu'une transaction est soumise à la chaîne, elle entre d'abord dans Mempool, où elle est « sélectionnée » par les mineurs, conditionnée en bloc, et le bloc est fusionné sur la blockchain.
Le bloc contenant cette transaction sera diffusé à tous les nœuds du réseau. D'autres nœuds complets téléchargeront ce nouveau bloc, effectueront des calculs complexes et vérifieront chaque transaction pour garantir qu'elle est authentique et valide.
Les calculs complexes et la redondance constituent le fondement de la sécurité d’Ethereum et posent également des problèmes.
1) Disponibilité des données
Il existe généralement deux types de nœuds :
Nœud complet - téléchargez et vérifiez toutes les informations de bloc et les données de transaction.
Nœud léger - un nœud non entièrement vérifié, facile à déployer et qui vérifie uniquement l'en-tête du bloc (résumé des données).
Tout d'abord, assurez-vous que lorsqu'un nouveau bloc est généré, toutes les données du bloc ont bien été publiées afin que les autres nœuds puissent le vérifier. Si le nœud complet ne publie pas toutes les données du bloc, les autres nœuds ne peuvent pas détecter si le bloc cache des transactions malveillantes.
En d'autres termes, le nœud doit obtenir toutes les données de transaction dans un certain laps de temps et vérifier qu'il n'y a pas de données de transaction confirmées mais non vérifiées. Il s’agit de la disponibilité des données au sens habituel du terme.
Si un nœud complet cache certaines données de transaction, d'autres nœuds complets refuseront de suivre ce bloc après vérification. Cependant, les nœuds légers qui téléchargent uniquement les informations d'en-tête du bloc ne pourront pas vérifier et continueront à suivre ce bloc fourchu, ce qui affectera la sécurité.
Bien que la blockchain renonce généralement au dépôt du nœud complet, cela entraînera également des pertes pour les utilisateurs qui se sont engagés sur le nœud.
Et lorsque les revenus issus de la dissimulation des données dépassent le coût de la confiscation, les nœuds seront incités à les dissimuler. À ce moment-là, les véritables victimes ne seront que les utilisateurs du jalonnement et les autres utilisateurs de la chaîne.
D’un autre côté, si le déploiement complet des nœuds devient progressivement centralisé, il existe une possibilité de collusion entre les nœuds, ce qui mettra en danger la sécurité de l’ensemble de la chaîne.
C’est pourquoi il est important que les données soient disponibles.
La disponibilité des données suscite de plus en plus d’attention, en partie à cause de la fusion Ethereum PoS et en partie à cause des développements de Rollup. Actuellement, Rollup exécutera un séquenceur centralisé (Sequencer).
Les utilisateurs négocient sur Rollup, et le séquenceur trie, regroupe et compresse les transactions et les publie sur le réseau principal Ethereum. Les nœuds complets du réseau principal vérifient les données grâce à une preuve de fraude (Optimistic) ou de validité (ZK).
Tant que toutes les données des blocs soumis par le séquenceur sont réellement disponibles, le réseau principal Ethereum peut suivre, vérifier et reconstruire l'état du Rollup en conséquence pour garantir l'authenticité des données et la sécurité des propriétés de l'utilisateur.
2) Explosion et centralisation de l’État
L'explosion de l'état signifie que les nœuds complets Ethereum accumulent de plus en plus de données historiques et d'état, que les ressources de stockage nécessaires pour exécuter des nœuds complets augmentent et que le seuil de fonctionnement est augmenté, conduisant à la centralisation des nœuds du réseau.
Par conséquent, il est nécessaire de trouver un moyen pour que le nœud complet n'ait pas besoin de télécharger toutes les données lors de la synchronisation et de la vérification des données du bloc, mais ait uniquement besoin de télécharger certains fragments redondants du bloc.
À ce stade, nous comprenons que la disponibilité des données est importante. Alors, comment éviter la « tragédie des biens communs » ? Autrement dit, tout le monde connaît l’importance de la disponibilité des données, mais il doit encore y avoir des avantages pratiques pour que chacun utilise une couche de disponibilité des données distincte.
Comme tout le monde sait que la protection de l'environnement est importante, mais quand je vois des déchets sur le bord de la route, pourquoi devrais-je les ramasser ? Pourquoi pas quelqu'un d'autre ? Quels avantages vais-je retirer en ramassant les poubelles ?
C'est au tour de Celestia.
Qu’est-ce que Célestia ?
Celestia fournit une couche de disponibilité des données enfichable et un consensus pour les autres couches 1 et 2, et est construit sur la base du consensus Cosmos Tendermint et du SDK Cosmos.
Celestia est un protocole Layer1, compatible avec les chaînes EVM et les chaînes d'applications Cosmos. Il prendra en charge tous les types de Rollups à l'avenir. Ces chaînes pourront directement utiliser Celestia car les données du bloc de disponibilité seront stockées, appelées, vérifiées via Celestia. puis est revenu à sa propre liquidation de l'accord.
Celestia prend également en charge le Rollup natif et Layer2 peut être construit directement dessus, mais il ne prend pas en charge les contrats intelligents, donc dApp ne peut pas être construit directement.
Comment fonctionne Célestia
Rollup se connecte à Celestia en exécutant des nœuds Celestia.
Celestia reçoit les informations sur les transactions Rollup et trie les transactions via le consensus Tendermint. Après cela, Celestia n'exécutera pas la transaction ni ne remettra en question la validité de la transaction, mais se contentera de regrouper, trier et diffuser la transaction.
Oui, en d’autres termes, les blocs masquant les données de transaction peuvent également être publiés sur Celestia. Alors comment identifier Celestia ?
La vérification est effectuée par codage d'effacement (Erasure Coding) et échantillonnage de disponibilité des données (Data Availability Sampling, DAS).
Plus précisément, les données originales sont K (si la taille réelle des données est inférieure à K, les données invalides seront complétées pour rendre la taille égale à K), un codage d'effacement est effectué dessus, divisé en N petites branches (chunks) et étendu à une matrice de taille de lignes et de colonnes de 2 000 lignes.
Il peut être simplement compris comme un carré d'une longueur et d'une largeur de K et d'une aire de K*K. Après codage par effacement, il devient un carré d'une longueur et d'une largeur de 2K et d'une aire de 2K*2K.
Si les données originales font 1 Mo, effectuez un codage d'effacement dessus, divisez-les en plusieurs parties et étendez la taille à 4 Mo, dont 3 Mo sont des données spéciales. Seule une partie des données de taille K*K est nécessaire pour récupérer ou visualiser l'intégralité des données 2K*2K.
Les calculs mathématiques spécifiques sont extrêmement complexes, mais le résultat est que même si un producteur de blocs malveillant dissimule ne serait-ce que 1 % des données de transaction, celles-ci se transformeront en morceaux (Chunks) qui en cacheront plus de 50 %.
Par conséquent, si la dissimulation doit être efficace, la matrice de données subira des changements qualitatifs, qui pourront être facilement découverts par les nœuds lumineux. Cela rend la dissimulation de données très improbable.
Les nœuds complets peuvent vérifier les données grâce à une preuve de fraude, similaire aux autres couches 1. Le rôle clé du codage d’effacement est de mobiliser les nœuds légers pour participer à la vérification des données.
Le nœud complet envoie le bloc au nœud léger et le nœud léger effectue un échantillonnage de disponibilité des données. Si les données ne sont pas masquées, le nœud lumineux reconnaît le bloc. Si les données sont manquantes, le nœud léger les enverra à d'autres nœuds complets. D'autres nœuds complets lanceront des preuves de fraude.
Pour résumer,
1/ Celestia utilise le codage d'effacement pour encoder les données originales et couper les données originales en plusieurs petites parties (Chunks). (S'il y a encore de l'espace dans le bloc, des données invalides seront utilisées pour le compléter, de sorte que le bloc avec de l'espace soit le bloc où le nœud complet cache les données)
2/ Étendez les données originales de taille K*K à 2K*2K. Étant donné que les données K*K ont été divisées en plusieurs petites parties, l'état des données 2K*2K est également divisé en plusieurs petites parties.
3/ Il y a trois avantages à cela :
1) Les données étant découpées en plusieurs petites parties, les nœuds légers peuvent également participer à la vérification. (Si les données sont encore volumineuses, le nœud léger est limité par le matériel et ne peut pas participer à la vérification)
2) Seules les données de taille K*K sont échantillonnées et l'intégralité des données 2K*2K peut être restaurée. Les nœuds lumineux échantillonnent à tour de rôle jusqu'à ce que la taille d'échantillonnage atteigne K*K, puis ils peuvent choisir de reconnaître ou non le bloc actuel en comparant l'ensemble des données.
3) Si des producteurs de blocs malveillants dissimulent ne serait-ce que 1 % des données de transaction, ces fragments deviendront des fragments qui en cacheront plus de 50 %.
4/ Les nœuds complets peuvent vérifier directement les données de bloc grâce à des preuves de fraude, similaires à d'autres couches 1 telles qu'Ethereum.
5/ Les nœuds légers peuvent réussir la vérification d'échantillonnage de la disponibilité des données, et plusieurs nœuds légers peuvent être échantillonnés de manière aléatoire jusqu'à ce que la zone de données extraite soit K*K. C'est là que Celestia innove.
6/ Pour l'échantillonnage par nœuds légers, le modèle d'échantillonnage est sous-linéaire. Il leur suffit de télécharger la racine carrée de la quantité de données échantillonnées dont ils ont besoin. Autrement dit, s’il y a 10 000 petits morceaux de données à échantillonner, seulement 100 d’entre eux doivent être téléchargés et vérifiés.
Parce que 100 au carré fait 10 000.
7/ Si les données de bloc vérifiées par le nœud léger sont masquées, elles peuvent être soumises à d'autres nœuds complets, et grâce à la preuve de fraude, le dépôt du nœud tricheur sera confisqué.
Extension Célestia
Le codage par effacement et l'échantillonnage de la disponibilité des données permettent à Celestia d'étendre davantage sa capacité et d'améliorer l'efficacité du réseau par rapport aux autres données existantes de couche 1 disponibles.
1/ Grâce à la preuve de fraude, les données de bloc par défaut sont disponibles pour garantir que le réseau fonctionne efficacement dans des circonstances normales.
2/ Plus il y a de nœuds légers, plus l’efficacité du réseau est élevée.
Étant donné que la taille des données d'origine est K*K, s'il n'y a qu'un seul nœud lumineux, des temps d'échantillonnage K*K sont requis. Au contraire, s’il y a des nœuds lumineux K*K, un seul échantillonnage est nécessaire.
3/ L'échantillonnage sous-linéaire permet à Celestia d'utiliser de gros blocs.
De plus, les caractéristiques du codage d'effacement permettent de restaurer les données de transaction entre les mains de nœuds légers en cas de panne à grande échelle de tous les nœuds Celestia, garantissant ainsi que les données restent accessibles.
Pont de gravité quantique
Quantum Gravity Bridge est un pont relais entre Celestia et Ethereum Layer 2. Il est construit sur Ethereum Layer 2 peut publier des données de transaction sur Celestia via Quantum Gravity Bridge, utiliser les services de données disponibles et vérifier les données sur Celestia via des contrats intelligents.
Céleste
Celestium est la couche 2 d'Ethereum, utilisant Celestia comme couche de disponibilité des données et Ethereum comme couche de règlement et de consensus.
Actuellement en phase de développement.
Pourquoi utiliser Célestia ?
Vous vous souvenez de la « tragédie des biens communs » dont nous avons parlé plus tôt ? Autrement dit, pourquoi Rollup utilise-t-il Celestia comme couche de données ?
1/ Le coût d’utilisation de Celestia est faible
Le coût existant d’Ethereum Rollup se compose de deux parties :
1) Le coût du gaz propre au Rollup. C'est-à-dire l'interaction de l'utilisateur, le tri du séquenceur et les frais de transition d'état.
2) Rollup soumet le bloc à Ethereum et dépense du gaz.
Une fois le séquenceur Rollup compressé et compressé, un bloc sera créé sur Ethereum. Actuellement stocké sous forme de Calldata, le coût est de 16 Gas par octet.
Ethereum et Rollup facturent du gaz différent en fonction de différentes conditions de congestion. Le séquenceur fera de son mieux pour prédire les frais Ethereum Gas et les facturer à l'utilisateur avant de traiter par lots le contenu de l'interaction utilisateur.
En d’autres termes, la raison pour laquelle le Gas on Rollup est bon marché est que plusieurs interactions utilisateur sont regroupées, ce qui équivaut à partager le Gas de manière égale entre tout le monde.
Lorsque le marché est dans une période froide, il y a moins d'interactions sur Ethereum et le gaz que tout le monde doit partager sera également réduit. Le Rollup ne facturera qu'un petit profit sur le gaz normal. Une fois que le Gas sur Ethereum augmentera, le Gas on Rollup augmentera également.
Par conséquent, Rollup est toujours en concurrence pour l’espace de bloc avec les dApps sur le réseau principal Ethereum et d’autres Rollups.
D'un autre côté, le Rollup lui-même est très interactif et augmentera également le Gas. Par exemple, le récent Aribitrum Odyssey.
En général, le modèle de coût actuel de Rollup est linéaire et le coût augmentera ou diminuera en fonction de la demande interactive d'Ethereum.
Le coût de Celestia est sous-linéaire et finira par s’approcher d’une valeur bien inférieure au coût actuel d’Ethereum.
Une fois la mise à niveau EIP-4844 déployée, le stockage des données cumulées passera de Calldata à Blob, et le coût sera réduit, mais il restera toujours plus cher que Celestia.
2/ Auto-souveraineté
Autonomous Rollup donne essentiellement à Rollup le pouvoir de se lancer de manière indépendante. Le Rollup natif de Celestia est une chaîne indépendante, et les mises à niveau de gouvernance et de fork ne sont pas limitées par Celestia.
Pourquoi les fourchettes sont-elles importantes ?
Habituellement, les blockchains doivent être mises à niveau via des hard forks, ce qui peut affaiblir la sécurité. La raison en est que si quelqu’un souhaite modifier ou mettre à niveau le code de la blockchain, les autres participants doivent être d’accord et effectuer le changement.
Si vous souhaitez mettre à niveau l'ensemble de la chaîne, vous devez bifurquer toute la couche de consensus, tout comme la fusion Ethereum PoS a dû utiliser une bombe de puissance de calcul pour forcer les nœuds à migrer de PoW vers PoS. Tous les nœuds participent à la mise à niveau afin qu'aucune sécurité ne soit perdue.
Celestia fournira des capacités de fork pour Rollup car tous les forks utilisent la même couche de disponibilité des données.
De plus, le rollup autonome apportera également plus de flexibilité. Les cumuls Ethereum sont limités par la capacité du réseau principal Ethereum à gérer les preuves de fraude ou les preuves de validité.
Autonomous Rollup ne repose pas sur une machine virtuelle spécifique, telle qu'EVM. Par conséquent, le Rollup autonome a plus d'options, comme devenir Solana VM, etc. Cependant, en utilisant différentes machines virtuelles VM, l'interopérabilité sera limitée.
D’un autre côté, il n’y a peut-être pas beaucoup de demande pour que Rollup devienne un Rollup autonome pour le moment ;
A. Limité par des actifs centralisés. Par exemple, l’USDC et l’USDT ne prennent officiellement pas en charge les nouvelles chaînes fourchues.
B. Soumis aux restrictions de migration dApp. Par exemple, les dApps telles que Uniswap restent toujours sur la chaîne précédente, et les utilisateurs ne sont pas disposés à abandonner leurs habitudes d'origine et n'ont pas migré vers la nouvelle chaîne fourchue.
3/ Faites confiance aux ponts minimisés et à la sécurité partagée
L'article officiel de Celestia divise grossièrement les chaînes croisées en deux catégories :
A. Un pont inter-chaînes de confiance nécessite de faire confiance à un tiers, tel que les nœuds de chaîne de relais. Sa fiabilité repose sur le consensus de nœuds tiers, c'est-à-dire que la majorité des nœuds sont honnêtes.
B. Le pont inter-chaînes minimisant la confiance, similaire à la relation entre Ethereum et Rollup, s'appuie sur la preuve de fraude (Optimistic) et la preuve de validité (ZK) pour vérifier la validité des données de transaction Rollup.
Celestia propose un concept : les clusters, qui sont un groupe de chaînes qui communiquent entre elles grâce à des ponts de minimisation de la confiance entre les chaînes, chaque chaîne peut vérifier le statut des autres chaînes.
Généralement, les clusters rencontrent deux facteurs limitants,
A. Toutes les chaînes du cluster doivent comprendre l’environnement d’exécution de chacune. Mais cela est difficile, car ZK Rollup doit comprendre le système ZK de chacun. Mais zk-SNARK et zk-STARK sont des systèmes ZK différents. Par conséquent, ZK Rollup est relativement indépendant.
B. Afin de maintenir toutes les chaînes du cluster à l'aide d'une vérification d'état avec une confiance minimisée, chaque chaîne doit vérifier la disponibilité des autres données de bloc de chaîne dans le cluster d'une manière avec une confiance minimisée.
Toutes les chaînes d'un cluster utilisant Celestia comme couche de disponibilité des données peuvent vérifier les blocs les unes des autres pour voir s'ils sont inclus dans la chaîne Celestia.
Cependant, ce qui est légèrement gênant, c'est que dans le concept de cluster Celestia, Optimistic Rollup et ZK Rollup appartiennent à deux clusters.
C'est-à-dire que les Optimistic Rollup, tels que Optimism et Aribitrum, appartiennent au même cluster, mais pas eux et zkSync.
Et en raison des différences dans les schémas ZK Rollup, zkSync et StarkNet n'appartiennent même pas au même cluster. Par conséquent, Celestia ne peut toujours pas résoudre le problème de l’indépendance relative entre les Rollups et du manque d’interopérabilité au niveau atomique.
Optimint (Tendermint optimiste)
Optimint est un remplacement de consensus Tendermint qui permet aux développeurs de créer des rollups basés sur Cosmos tout en utilisant Celestia comme couche de consensus et de disponibilité des données.
L’objectif est de former un cluster basé sur Cosmos Rollup.
Les projets écologiques existants de Celestia
Carburant
Fuel est une couche d'exécution modulaire construite sur Celestia et est la couche Optimistic Rollup 2 d'Ethereum.
Fuel a créé FuelVM, une machine virtuelle personnalisée conçue spécifiquement pour les contrats intelligents et capable de gérer des transactions parallèles à l'aide de comptes UTXO.
Cevmos
Cevmos est un Rollup développé conjointement par la chaîne d'applications Cosmos EVM et Celestia
Cevmos est construit à l'aide d'Optimint. Puisque Evmos lui-même est un Rollup, Cevmos est en fait un Rollup dans Rollup (Rollup récursif).
Les contrats et applications Rollup existants sur Ethereum peuvent être redéployés sur Cevmos, en l'utilisant comme couche de règlement et Celestia comme couche de données.
Chaque build Rollup aura un pont bidirectionnel à confiance minimisée avec Cevmos Rollup pour former un cluster.
dimension
dYmension est un Rollup indépendant construit sur Cosmos. dYmension Hub fournit un règlement, un kit de développement RDK et un IRC de communication inter-chaînes pour faciliter le développement d'applications rollApp axées sur Rollup.
Éclipse
Eclipse est un Rollup autonome basé sur Cosmos, utilisant Solana VM comme couche de règlement et d'exécution et Celestia comme couche de données.
Avancement du projet
Le testnet est actuellement en ligne. La version récompense testnet sortira au premier trimestre 2023. Vous pouvez maintenant accéder au Discord officiel pour obtenir des pièces de test de robinet. Le réseau principal devrait être lancé au deuxième trimestre 2023.
Situation financière
En mars 2021, elle a finalisé un tour de table de 1,5 million de dollars américains, avec des participants tels que Binance Labs, Interchain Foundation, Maven 11, KR1, etc.
En décembre 2021, un financement de 2,73 millions de dollars américains a été finalisé et les informations sur l'investissement n'ont pas été divulguées.
En octobre 2022, un financement de 55 millions de dollars américains a été finalisé, avec des participants tels que Bain Capital, Polychain Capital, Placeholder, Galaxy, Delphi Digital, Blockchain Capital, Spartan Group, FTX Ventures, Jump Crypto, etc.
Situation de l'équipe
PDG Mustafa Al-Bassam, PhD en mise à l'échelle de la blockchain à l'UCL, co-fondateur de Chainspace (acquis par Facebook)
CTO Ismail Khoffi, ancien ingénieur principal chez Tendermint et Interchain Foundation
CRO John Adler, créateur d'Optimistic Rollups, ancien chercheur en évolutivité chez ConsenSys
Le COO Nick White, co-fondateur d'Harmony, est titulaire d'une licence et d'une maîtrise de l'Université de Stanford.
Équipe conseil :
Zaki Manian - co-créateur d'IBC et premier contributeur de Cosmos
Ethan Buchman – Co-fondateur de Tendermint et co-fondateur de Cosmos
Morgan Beller——Associé commandité de NFX, co-fondateur de Diem≋ (également connu sous le nom de Libra)
Nick White - Co-fondateur d'Harmony
James Prestwich - Fondateur de Summa (acquis par Celo)
George Danezis - Professeur d'ingénierie de sécurité et de confidentialité à l'University College de Londres
Modèle économique symbolique
À en juger par les informations publiées, le jeton natif de Celestia sera utilisé comme gaz et la source des revenus du protocole sera constituée des frais de transaction Rollup. Et le jeton contient un mécanisme de destruction similaire à l'EIP-1559.
Actuellement, la valorisation boursière principale de Celestia est de 1 milliard de dollars américains.
Produits concurrents
Polygone disponible
Avail est une solution de disponibilité des données de Polygon. L'idée d'implémentation est la même que celle de Celestia. La différence est que Celestia utilise le codage d'effacement + la preuve de fraude, et Avail utilise le codage d'effacement + l'engagement polynomial KZG.
Celestia étend les données K*K en carrés de 2K*2K, et Avail les développe par lignes, étendant la matrice de n lignes et m colonnes en 2n lignes, et calcule l'engagement polynomial KZG pour chaque ligne.
Les nœuds légers utilisent le DAS d'échantillonnage de disponibilité des données pour vérifier les polynômes et les preuves KZG de manière cryptographique sans télécharger les données originales.
En comparaison, Avail est plus difficile à mettre en œuvre et, une fois pleinement mis en œuvre, les résultats sont relativement plus fiables. Cependant, à l’heure actuelle, les deux projets sont en cours de développement et il est difficile de juger de la concurrence.
Ethereum Danksharding
Danksharding est une couche indépendante de disponibilité des données qu'Ethereum prévoit officiellement de lancer. Semblable à Avail, Danksharding utilise le codage d'effacement + l'engagement polynomial KZG, et le format de données utilise Blob au lieu des données d'appel existantes.
Il existe deux propositions de transition avant le déploiement de Danksharding.
EIP-4488 réduit directement et matériellement le gaz de données d'appel de 16 à 3 par octet et stipule également une limite supérieure d'occupation des données d'appel de 1,4 Mo.
EIP-4844 introduit des blobs (transactions transportant des blobs, blob : grands objets binaires) au lieu des données d'appel. Blob est un nouveau type de transaction qui inclut un espace de stockage supplémentaire à un coût bien inférieur à celui des données d'appel.
Les blobs sont stockés sur la chaîne de balises Ethereum et sont compatibles avec le partitionnement ultérieur. La valeur de hachage de l'engagement KZG est utilisée pour vérifier les données. Le cumul n'a pas besoin d'accéder aux données, il suffit de vérifier l'engagement KZG.
Les engagements KZG sont liés et ne peuvent être modifiés une fois le calcul terminé. Ainsi, Avail et Danksharding sont essentiellement basés sur des données cryptographiques de vérification d'engagement polynomiales KZG, tandis que Celestia est basée sur la méthode économique de preuve de fraude.
Théoriquement, la sécurité de l'engagement polynomial KZG est meilleure que la preuve de fraude. En même temps, elle nécessite une bande passante plus petite et nécessite moins de calculs pour l'échantillonnage. À l’avenir, Ethereum envisagera également d’introduire des méthodes de vérification résistantes aux attaques quantiques, telles que zk-SRARK.
risque
1) Centralisation
Bien que le codage d'effacement permette aux nœuds légers de participer à la vérification des données, le stockage des données Celestia nécessite toujours la mise en place de nœuds de stockage complets.
Nécessite 8 Go de mémoire, un processeur à 4 cœurs, au moins 250 Go d'espace de stockage restant, une bande passante de liaison montante supérieure à 100 Mb/s et une bande passante de liaison descendante supérieure à 1 Gb/s. Les exigences de configuration sont très élevées et doivent être construites sur un serveur cloud.
2) Concurrence dans Ethereum Danksharding
3) Problème de « grand livre sale »
La question a été posée par une équipe de recherche de Stanford. Celestia utilise une preuve de fraude et les données de bloc par défaut sont disponibles pour garantir que le réseau fonctionne efficacement dans des circonstances normales. Il s'agit donc d'un grand livre "sale", car les blocs contenant des données problématiques seront toujours acceptés par Celestia, en attendant le défi de la fraude. preuve.
Supposons qu'un challenger veuille prouver que la transaction Tc est une double dépense et soumette la preuve que l'argent a été utilisé dans la transaction Tb. Mais que se passe-t-il s’il existe une transaction Ta qui peut prouver que Tb n’est pas valide ?
Si Tb n’est pas valide, alors la double dépense Tc peut être valide.
Dans certains cas, le « grand livre sale » ne peut pas connaître le véritable statut des transactions à moins de rejouer chaque transaction de l'historique de Celestia jusqu'au bloc de genèse.
Cela signifie que le challenger et le challenger doivent être des nœuds de stockage complets. Ce problème a été publié sur le compte Youtube officiel de Celestia, et l’équipe est actuellement en train de résoudre le problème, par exemple en introduisant des hypothèses de subjectivité faible.
L’hypothèse d’une subjectivité faible est une condition pour résoudre le problème. Par exemple, comment acheter de délicieux pamplemousses ? La subjectivité dans cette question consiste à choisir en fonction de sentiments subjectifs. L'objectivité consiste à juger la teneur en eau du pamplemousse en fonction du rapport gravité/volume du pamplemousse.
La subjectivité faible est de tenir des pamplemousses de taille similaire à deux mains et d’en comparer le poids. Après en avoir comparé plusieurs, choisissez le plus lourd.
Pour en revenir au problème du « grand livre sale » de Celestia, le challenger et le challengeee peuvent être tenus de conserver les données pendant 3 semaines, mais cela constitue également un fardeau pour les nœuds.
Le problème du « registre sale » est en réalité un problème essentiel auquel est confrontée la preuve de fraude basée sur des modèles économiques pour garantir la sécurité. Cependant, la difficulté de déploiement de la preuve de fraude est inférieure à l'engagement polynomial KZG. En théorie, les progrès de développement de Celestia sont plus rapides que Polygon Avail et Ethereum Danksharding.
Par conséquent, il sera crucial pour Celestia de saisir la période fenêtre, de former un effet d'échelle et d'attirer une grande quantité de liquidités, notamment la liquidité du Rollup natif, avant Polygon Avail et Danksharding.