Explication détaillée de la solution d'adaptateur de couche Bitcoin DA Chainway et Kasar Labs : Comment aider Bitcoin à implémenter ZK Rollup ?

Écrit par : Namcios

Compilé par : Deep Wave TechFlow

Bitcoin est sur le point d’obtenir des cumuls Zero Knowledge (ZK). Récemment, deux projets différents ont donné vie à ce développement, un développement qui pourrait non seulement aider Bitcoin à évoluer encore plus, mais également fournir des garanties supplémentaires en matière de confidentialité aux utilisateurs qui décident de l'utiliser.

Chainway a annoncé la semaine dernière l'open source de son adaptateur Data Availability (DA), une technologie qui permet aux développeurs de tirer parti de la sécurité et de la finalité de Bitcoin pour développer des rollups à l'aide du kit de développement logiciel (SDK) souverain. Sovereign fournit aux développeurs un service groupé pour créer différents types de Rollups, tandis que le lancement de Chainway vise à permettre le premier ZK Rollup de Bitcoin.

Kasar Labs, en partenariat avec Taproot Wizards, a publié par coïncidence un adaptateur DA pour Bitcoin au même moment. L'adaptateur permet aux développeurs de brancher la pile Madara sur Bitcoin pour exécuter des Starknet Rollups basés sur le langage de programmation Cairo créé par StarkWare.

Qu'est-ce que ZK Rollup ?

Les rollups regroupent et publient des transactions Bitcoin non standard (telles que celles de certaines chaînes latérales) dans des blocs sur la blockchain sous-jacente (telle que Bitcoin). Cela réduit considérablement le coût de calcul nécessaire à la vérification de ces transactions, tout en bénéficiant dans une certaine mesure de la sécurité des blockchains de couche 1. En ce sens, des transactions Rollup existent sur Bitcoin. Les utilisateurs exécuteraient ensuite un nœud pour cette sidechain, qui savait comment interpréter les données publiées sur Bitcoin et créer les soldes des comptes. Cependant, cela signifie que tout le monde a besoin d’un nœud complet exécutant cet autre protocole, qui n’est pas évolutif. C'est là qu'intervient ZK.

ZK Rollup utilise des preuves sans connaissance, une preuve cryptographique qui garantit l'intégrité informatique sans compromettre la confidentialité. Il permet au prouveur de prouver au vérificateur l'exactitude d'une déclaration informatique avec une certitude mathématique sans révéler les détails des informations spécifiques utilisées pour calculer la preuve. Dans le contexte du Rollup, cela est très important car cela nécessite seulement que l'observateur connaisse la preuve finale afin de vérifier ces déclarations ou transactions. L'utilisation des preuves ZK permet aux personnes utilisant Rollup d'obtenir des preuves du dernier état de Bitcoin avec une certitude mathématique tout en préservant une confidentialité totale.

Les avantages de ZK Rollup incluent le fait que les utilisateurs n'ont pas besoin d'être en ligne pour recevoir des paiements, uniquement les données de paiement en chaîne lorsque cela est possible, pas besoin de gérer les liquidités et ne dépendent pas des faibles frais de la couche de base de Bitcoin. De plus, en utilisant ZK Rollup, les développeurs peuvent ajouter n'importe quel environnement de programmation souhaité en plus de Bitcoin, tel que les contrats intelligents complets de Turing.

Les preuves ZK utilisent deux techniques mathématiques principales : les SNARK et les STARK. Les premiers, des arguments de connaissances concis et non interactifs, sont antérieurs aux seconds et sont utilisés dans des crypto-monnaies telles que Zcash, offrant aux utilisateurs un haut niveau de confidentialité. Des arguments de connaissances transparents et évolutifs ont été développés plus tard pour offrir une meilleure sécurité et une meilleure évolutivité en plus de la confidentialité souhaitée. En effet, SNARK s'appuie sur une configuration fiable pour générer des preuves, alors que STARK vise à être totalement sans confiance. Enfin, les SNARK sont sensibles à l’informatique quantique, mais les STARK sont quantiquement sûrs.

Compte tenu de l'historique de quasi-échec du Bitcoin et de sa résistance aux réorganisations profondes, il s'agit de la crypto-monnaie la plus appropriée pour les transactions de cumul, qui s'appuient sur la chaîne principale pour accéder aux données critiques que les utilisateurs doivent dépenser. La chaîne principale garantit également que Rollup reste actif et disponible.

Afin d'implémenter correctement ZK Rollup sur Bitcoin et de permettre aux utilisateurs de relier en toute confiance leur Bitcoin entre les Rollups, un soft fork de Bitcoin est nécessaire. Ce soft fork ajoutera un nouvel opcode à la crypto-monnaie la plus ancienne, rendant Bitcoin lui-même conscient et capable de vérifier les preuves ZK. Si cela se produit, les utilisateurs n'ont qu'à exécuter un nœud Bitcoin pour pouvoir vérifier de manière crédible la preuve émise par un rollup spécifique, en savoir plus sur leur compte et leur solde, et pouvoir retirer des fonds du rollup.

Les deux projets mentionnés dans la première partie ne supposent pas que Bitcoin subira des changements consensuels. Au lieu de cela, ils exploitent le protocole Ordinals pour éviter d’avoir besoin de nouveaux opcodes. Plus précisément, ils exploitent le concept d'enveloppes inscrites introduit par Ordinals, une innovation qui permet aux développeurs et aux utilisateurs d'encapsuler tout type de données en utilisant des indicateurs spécifiques et quelques opcodes. Dans l'inscription ordinale, ce signe est « ord ».

Les drapeaux et les opcodes au début de l'enveloppe ont un double objectif. Premièrement, ils font savoir aux nœuds Bitcoin qu’ils peuvent ignorer les enveloppes d’informations qui ne sont pas pertinentes pour le réseau Bitcoin. Deuxièmement, ils ont l’effet inverse sur les utilisateurs et les applications qui connaissent l’enveloppe, en leur faisant savoir qu’elle contient du contenu qui les intéresse. Dans le cas du ZK Rollup, les utilisateurs peuvent scanner les blocs Bitcoin pour ces enveloppes, connaître le dernier statut du rollup et utiliser les preuves ZK pour une vérification mathématique.

Maintenant que nous comprenons les preuves ZK, revenons aux deux projets mentionnés précédemment et explorons les aspects uniques de leur conception.

SOUVERAIN

Le SDK Sovereign lui-même a trois objectifs principaux. Premièrement, il vise à fournir une interface standard pour la communication entre Rollup et la couche DA, facilitant le déploiement du Rollup sur la nouvelle couche DA et permettant à de nouvelles chaînes de prendre en charge le Rollup existant. Deuxièmement, il s'intègre à un compilateur cryptographique pour convertir la logique métier du code en une forme cryptographiquement vérifiable. Enfin, il fournit des implémentations par défaut de primitives de blockchain courantes telles que les jetons, les jetons non fongibles et les ponts entre chaînes.

Comme mentionné précédemment, l'adaptateur DA de Chainway est conçu pour faciliter la connexion des applications créées à l'aide du SDK Sovereign à Bitcoin. En d’autres termes, l’adaptateur permet à Sovereign Rollup d’utiliser Bitcoin comme couche DA, ce qui n’était pas possible auparavant. La disponibilité des données est essentielle pour Rollup car elle permet une vérification fiable des calculs effectués en dehors de la chaîne principale et constitue une exigence pour que les utilisateurs puissent vérifier ou modifier leurs soldes et retirer des fonds de Rollup.

Pour que les transactions Sovereign Rollup soient incluses dans les blocs Bitcoin, les utilisateurs transmettent leurs transactions à ce qu'on appelle un séquenceur. Le séquenceur est géré par la fondation elle-même dans la conception de l'adaptateur DA de Chainway et est chargé d'établir cette connexion entre la chaîne latérale et Bitcoin, garantissant que toutes les transactions transmises par les utilisateurs sont publiées sur Bitcoin sous la forme de preuves ZK.

Cela semble un peu centralisé, et ça l'est. Cependant, étant donné l’existence d’une technologie de preuve de validité connue sous le nom de ZK-STARK, les séquenceurs ne peuvent pas réellement agir de manière malveillante. En effet, l'attestation confirme en privé la légitimité de la transaction et peut être vérifiée par n'importe qui. Par exemple, les séquenceurs ne peuvent pas détourner les fonds des utilisateurs ni effectuer de transactions non autorisées. Cependant, ils pourraient théoriquement censurer les transactions d'un utilisateur en ne les incluant pas dans les blocs Bitcoin et en conservant ces données. Si cela se produit, les utilisateurs peuvent choisir de publier leurs données de transaction dans Bitcoin en enregistrant ces informations dans Bitcoin.

Chainway a déclaré qu'à l'avenir, ils prévoyaient de mettre en œuvre un tri décentralisé via un petit ensemble de trieurs, et que la participation se ferait sans autorisation et basée sur le jalonnement.

STARKNET

Comme Sovereign, Starknet est également conçu pour permettre la construction de Rollups. Cependant, Starknet est un écosystème plus avisé qui comprend des composants clairs comme Cairo, CairoVM et Madara avec lesquels les développeurs peuvent construire.

Starknet est un ZK Rollup fonctionnant actuellement sur Ethereum, ce qui signifie que le Rollup s'appuie sur la blockchain créée par Vitalik Buterin comme couche DA. Il exploite les preuves STARK pour fournir aux utilisateurs les hypothèses de confidentialité et de sécurité requises, ainsi que pour améliorer l'évolutivité et réduire les coûts de transaction en regroupant les transactions avant de publier les preuves et les nouveaux états sur la couche 1. Cairo est un langage de programmation complet de Turing pour l'écriture de programmes prouvables, dans lequel une partie peut prouver à une autre partie qu'un certain calcul a été effectué correctement sans exiger que cette partie réexécute le même programme. Il s'agit de la première plate-forme de production permettant de générer des preuves STARK pour l'informatique générale.

La machine virtuelle Cairo reçoit le bytecode généré par le compilateur et l'exécute sur l'ordinateur. Le résultat de l'exécution est une trace du programme, qui peut ensuite être envoyée au générateur de preuves STARK pour prouver la validité des déclarations exprimées dans le code de Cairo.

Madara est un séquenceur pour la pile Starknet, aidant les développeurs à prendre en charge le ZK Rollup basé sur Starknet.

Jusqu’à récemment, toutes ces piles logicielles n’étaient disponibles que sur Ethereum. Désormais, Kasar Labs et Taproot Wizards ont lancé un adaptateur DA pour Bitcoin, conçu pour permettre aux développeurs d'ancrer les Rollups créés à l'aide de la version open source de Starknet au réseau de crypto-monnaie d'origine et le plus sécurisé.

Bitcoin a-t-il besoin de ZK Rollup ?

Essentiellement, Bitcoin n’en a pas besoin. Cela fonctionne très bien dans son état actuel, et il n’y a pas beaucoup de raisons de penser que Bitcoin a besoin de changements majeurs. D’un autre côté, l’évolutivité est un réel besoin, et des technologies comme Lightning Network se sont révélées extrêmement utiles pour permettre une plus grande participation des utilisateurs qui autrement ne pourraient pas participer aux transactions économiques Bitcoin.

ZK Rollup offre un moyen d’examiner Bitcoin sous un angle différent. Les deux projets mentionnés ci-dessus ne nécessitent aucune modification réelle du Bitcoin lui-même, mais des changements consensuels via l'introduction de nouveaux opcodes seront nécessaires si l'on veut réaliser toutes les fonctionnalités de cette technologie. À l’heure actuelle, il semble que cette recherche technologique Rollup basée sur zéro connaissance tente de repousser les limites potentielles du Bitcoin, ce qui est une bonne chose pour élargir la base d’utilisateurs de Bitcoin, tout comme le Lightning Network.

Semblable au Lightning Network, Rollup fonctionne en fusionnant plusieurs transactions et en publiant un seul flux d'informations sur Bitcoin. Bien entendu, ZK Rollup adopte une approche très différente de celle du Lightning Network, et à juste titre. La technologie n’essaie pas de rivaliser avec le deuxième niveau éprouvé de paiements bon marché que les utilisateurs de Bitcoin adorent déjà. Au lieu de cela, Rollup se concentre sur d'autres problèmes et essaie de proposer d'autres solutions.

Pour ceux qui veulent faire plus avec Bitcoin, cette technologie de mise à l’échelle, qui peut enfin permettre des calculs privés et complexes et s’appuyer sur des preuves mathématiques, semble attrayante. Même ainsi, le pontage totalement sans confiance de Bitcoin dans et hors du Rollup dépendra de cet opcode. Mais quand même, l’idée est là.

On ne sait pas si ZK Rollup gagnera du terrain sur Bitcoin. Bitcoin dispose déjà d’une sidechain, et Liquid est actif sur Bitcoin depuis plusieurs années, mais son volume de transactions reste encore modeste. On peut dire que dans le cas de Liquid, la présence du modèle de fédération est un inconvénient, tandis que ZK Rollup présente plus d'avantages dans ce cas. Peut-être que Rollup pourrait subir le même sort que Liquid, à savoir un faible volume de transactions et de faibles intérêts, car les utilisateurs de Bitcoin continuent de choisir simplement de « HODL Bitcoin et de tenir le coup ». Ou encore, cela pourrait ouvrir un nouveau chapitre dans le développement et l’utilisation du Bitcoin.

Que le résultat final soit un succès ou un échec, explorer le développement de ces études de haute qualité est une entreprise naturelle et nécessaire. Quel que soit le résultat, vous pouvez en tirer des leçons nouvelles. Quoi qu’il en soit, une chose est sûre : Bitcoin continuera à hacher et à générer des blocs, permettant à tous les utilisateurs de profiter de la certitude monétaire de l’argent dur sans avoir à se soucier d’aucune de ces choses.

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.
  • Récompense
  • Commentaire
  • Reposter
  • Partager
Commentaire
0/400
Aucun commentaire
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)