jakiro
Auteur: Shew & amp; Faust, Geek Web3, consultant: Kevin He, Bitvm Chinese Community Sponsor, Ex WEB3 Tech Head @ Huobi
La piste Bitcoin Layer2 actuelle peut être décrite comme pleine de fleurs, et diverses solutions techniques se sont rassemblées dans le four de fusion écologique BTC.En raison des itérations rapides dans le domaine de la blockchain, le vocabulaire professionnel ou les normes changent constamment pendant l’innovation de la recherche et l’atterrissage en génie.Dans ce contexte, de nombreux projets obtiendront la différenciation et l’attention dans la façon dont de nombreux projets utiliseront le «concept» / «concept de concept», qui est devenu les règles cachées de l’industrie.
Par exemple, de nombreux projets de blockchain modulaires qui étaient à l’origine actifs dans l’écosystème Ethereum / Celestia ont également pris le Dongfeng pour prendre l’expression « Bitcoin Layer2 », et ils étaient auto-proclamés comme « Rollup », mais leurs solutions techniques ne se rencontrent souvent pas souvent qui se sont rencontrées Les normes de Rollup.
Cependant, le vocabulaire tel que « Rollup » est très reconnu, et il est plus propice à la publicité sous la bannière de « Rollup ».De nombreuses parties de projet sont soit têtues (rouleaux auto-nommés), soit le concept de rollup, le courant dominant de la fourche (plus une attribution ambiguë, comme le rouleau souverain).
Mais en un coup d’œil, le principe de travail de nombreux projets est toujours simplement la «vérification du client» ou la «chaîne latérale», mais il est pratiquement pratique pour eux-mêmes à travers le slogan de «xx rollup».Bien que cette méthode de propagande soit relativement courante, elle est souvent trompeuse.
(Le résumé du ministre nazi de la propagande Gobel de la « propagande mensonge », qui est courant dans de nombreuses parties de projet)
Alors, comment pouvons-nous identifier le comportement de ce type de « concept de Rolup »?
Peut-être, à partir des principes de la primenalité, selon les normes largement reconnues de l’Occident et de l’industrie, pour définir la catégorie du programme et le niveau de sécurité des différents projets de couche dans le brouillard pour regarder les fleurs dans le brouillard.En d’autres termes, quel type de solution n’est pas le plus important.
Ci-dessous, nous prévoyons d’utiliser la couche Bitcoin 2 fabriquée par l’étranger de Chainway comme cas pour analyser la « vérification du client » caché dans le slogan promotionnel « Rollup ».Nous pouvons voir plus clairement, « Sovereign Rollup » et « Vérification du client », avec les différences significativement différentes entre les schémas de rollup tels que la mise en œuvre des contrats intelligents dans le courant dominant de l’industrie, ou Oprollup.
Bien sûr, cela ne veut pas dire que la vérification souverain ou la vérification du client n’est pas aussi sûre et fiable que ZK Rollup.Bien que Chainway soit une couche de vérification client typique, il propose une solution de transaction anti-révision « dans BTC Trigger + Verification sous la chaîne », et utilise une preuve ZK récursive similaire à la chaîne publique Mina, conduisant la plupart des Bitcoin Layer2 Essence
Nous pensons que la recherche technique sur la chaîne est relativement précieuse, ce qui est d’une signification de référence importante pour la majorité de l’observateur de la couche Bitcoin2.
(Les images promotionnelles de Chainway sont annoncées comme ZK Rollup, mais sa vraie solution est la vérification du client. À l’heure actuelle, il n’a pas encore réalisé le consensus entre le client sous la chaîne, ni l’échange d’informations fiable)
texte:Chainway est un projet Bitcoin Layer2 bien connu dans la communauté occidentale.Dans ses documents techniques, Chainway est également l’auto-positionnement comme « Rollup souverain ».Récemment, Chainway a également annoncé son nouveau projet CITREA, prétendant être ZK Rollup basé à BitVM.Étant donné que les citrea n’ont pas expliqué en détail comment il est réalisé par le schéma de vérification ZK basé sur BitVM,Cet article se concentrera sur l’interprétation technique de la solution déjà planifiée.
Nous pouvons résumer en une phraseSolution technique actuellement divulguée de Chainway: DA est publiée via le protocole Ordinals,Utilisez BTC comme couche DA,ZK Proof, qui est l’état Diff + dans la couche1 pour les détails de la modification des modifications d’état.Équivalent à la libération de données de transaction complètes et vérifiées.
(L’état Diff est le changement de l’état du compte)
Cependant, parce que Layer1 ne vérifie pas directement la preuve ZK, le travail de vérification est effectué par le client / nœud indépendant sous la chaîne etLa bibliothèque de code actuelle de Chainway n’a pas atteint de consensus entre les clients indépendants dans le cadre de la chaîne, et les responsables n’ont pas déclaré ce problème sur les réseaux sociaux.Par conséquent, la solution technique actuelle annoncée par Chainway est essentiellementappartenir« Vérification du client »Types, encore plus comme un protocole d’index d’inscription qui prend en charge les actifs de pont.
Les éléments suivants introduiront principalement la mise en œuvre technique spécifique de Chainway et analyseront son modèle de sécurité.
Qu’est-ce que la souveraineté Rollup: Da Layer libère des données + sous-chain vérification
Dans les documents techniques de Chainway, le concept Sovereign Rollup (Sovereign Rollup) de Celestia a été utilisé.etLe Rollup souverain est en fait différent de la communauté Ethereum et même du concept de rollup grand public de l’industrie (Smart Contrat Rollup).EssenceAlors, quelle est la structure spécifique du rouleau souverain?
en faitLe rollup souverain basé sur Bitcoin est un peu similaire à « » Group client / chaîne latérale sous la chaîne de données DA sur la chaîne BTC « ,La plus grande fonctionnalité est que le contrat intelligent sur la couche1 est nécessaire pour vérifier la conversion de statut / comportement croisé de la couche étendue.
certainement,Certaines solutions de rouleaux souveraines hautement sécurisées s’appuieront sur la troisième couche de colonie-partie (similaire à la chaîne latérale) sous la chaîne BTC pour compléter la vérification de la conversion d’état.Et entre différents clients indépendants / nœuds complets, il y a une couche de transmission consensuelle ou de messages fiables, afin d’atteindre la «cohérence» à certains comportements controversés.maisCertains projets de roulement de souveraineté sont nus « Vérification du client », et il n’y a pas de transmission de messages fiable entre le client / les nœuds indépendants.
Afin de mieux comprendre le concept unique de « Rollup souverain »,Nous pouvons comparer le rouleau de souveraineté avec son rollup de contrat intelligent correspondant.La couche2 sur Ethereum est essentiellement un rollup de contrat intelligent, comme Arbitrum et StarkNet.La structure du Rollup du contrat intelligent peut se référer à la figure ci-dessous:
Dans la figure ci-dessus, nous pouvons voir plusieurs termes de récit de blockchain modulaire, comme suit:
Exécution Couche d’exécution:Exécuter les transactions utilisateur, mettre à jour l’état de la blockchain et soumettre des données à la couche DA et à la couche de règlement
Couche de règlement de règlement:Vérifiez la conversion d’état de la couche d’exécution, résolvez les litiges (tels que la fraude) et fournissez des modules de pont pour gérer les actifs de réception du pont L1-L2
Couche DA:Une grande carte d’annonce, recevant les données de conversion de statut soumises par la couche d’exécution et fournissant ces données à la fiducie à quiconque
Couche consensus de consensus:Pour assurer la nature finale du tri des transactions, il semble être plus proche de la fonction de la couche DA (la méthode en couches de la communauté Ethereum sur la blockchain modulaire n’inclut pas la couche consensus)
D’après l’architecture du Smart Contrat Rollup, nous voyons qu’à l’exception de la couche d’exécution, les fonctions des trois autres couches sont portées par Ethereum.La figure ci-dessous montre le rôle d’Ethereum dans le rollup de contrat intelligent.
Les contrats Rollup sur Ethereum recevront une preuve de validité (preuve de validité) ou une preuve de fraude pour vérifier l’efficacité de la conversion de l’état de la couche2.Il convient de mentionner que le contrat Smart Rollup ici est en fait une entité de couche de règlement dans la blockchain modulaire.Le contrat de couche de règlement contient souvent le module de connexion du pont pour traiter le pont Ethereum pour recevoir les actifs de la couche 2.
Pour DA, le contrat de la couche de règlement peut forcer le séquenceur de trieur à mettre les dernières détails sur les données de transaction / le changement de statut sur la chaîne.
(ZK Rollup ou OP Rollup, vous pouvez mandater les données DA sur la chaîne, et vous ne pouvez pas mettre à jour l’état du règlement de la couche de règlement)
On peut voir,Smart Contrat Rollup s’appuie sérieusement sur les contrats intelligents sur Layer1.Pour la couche1, qui est difficile à prendre en charge la logique commerciale complexe, il est fondamentalement impossible de construire la couche2, qui est « alignée » pour rouler dans Ethereum.
etLe schéma de rouleau souverain ne nécessite tout simplement pas le contrat sur couche1 pour la vérification de l’état / traitement du pont.L’architecture est la suivante:
On peut voir,Dans le rollup souverain, les groupes de nœuds en dehors de la couche DA en tant qu’entités pour l’exécution des transactions et les opérations de règlement ont un degré de liberté plus élevé.Le flux de travail spécifique est le suivant:
Le nœud de couche d’exécution du Rollup souverain envoie les détails des données de transaction / modification d’état dans la couche DA, et la méthode de couche / client de règlement est définie pour obtenir des données et vérifiée.Il convient de noter,Étant donné que le module de couche de règlement n’est pas situé sur la couche 1, le rouleau souverain est théoriquement incapable d’atteindre un pont équivalent à la couche1.Cela dépend souvent du pont notaire ou d’un pont troisième partie.
À l’heure actuelle, le schéma Sovereign Rollup / Client Verification est moins difficile à atterrir.Quant aux pièces sous la chaîne et au consensus sous la chaîne, il y a beaucoup d’espace gratuitement.Même de nombreuses chaînes latérales n’ont besoin que de publier des données de DA sur le BTC, qui deviennent essentiellement des «rouleaux souverains basés sur BTC», mais une sécurité spécifique est douteuse.
Mais le problème est,Le débit de données de Bitcoin est extrêmement faible,Le maximum de 4 Mo par bloc, le temps de sortie moyen est de 10 minutes et le débit de données n’est que de 6 kb / s.Maintenant, la solution Layer2 qui prétend être une rouleau de souveraineté peut ne pas être publiée sur la chaîne BTC, puis adopter d’autres compromis.: Par exemple, publiez des données DA sous la chaîne et stockez Datahash sur la chaîne BTC comme un « engagement ».Ou trouver un moyen de compresser les données DA élevées (comme l’état diff + zk preuve) prétendant être utilisé par chaîne.
Mais évidemment, ce modèle ne se conforme pas à la définition de « Rollup souverain » ou à la définition de grave Rollup.Nous prévoyons qu’à l’avenir, la plupart du projet Layer2 sous la bannière de « Rollup » sera finalement entièrement publié sur la chaîne BTC.Par conséquent, les solutions pratiques sont « ZK Rollup » et « OP Rollup » sur le papier blanc et le slogan de « ZK Rollup » et « OP Rollup » sur le papier blanc.
Enfin, résumons simplement la différence entre le rollup souverain et le rollup de contrat intelligent:
Tout d’abord, il peut être amélioré.L’itération itérative de la mise à jour de Smart Contrat Rollup implique la mise à jour des contrats intelligents, et l’équipe de développement doit utiliser des contrats mis à niveau.Les autorisations de mise à niveau de ce contrat intelligent sont généralement contrôlées par l’équipe de développement Rollup.Les règles de mise à niveau du rouleau souverain sont similaires à la fourche douce et dure de la blockchain conventionnelle.De ce point de vue, le rouleau souverain est supérieur au rollup de contrat intelligent.
Deuxièmement, pont.Le pont du Smart Contrat Rollup est minimisé dans les conditions idéales, mais les améliorations du contrat peuvent affecter sa sécurité.etDans le cadre du schéma Sovereign Rollup, le développeur doit construire un pont pour connecter le composant sous la chaîne Layer1.
Structure BTC DA
Dans ce qui précède, nous l’avons mentionné,Pour atteindre un rouleau souverain basé sur BTC, le noyau consiste à utiliser le protocole Ordinals pour utiliser le BTC comme couche DA.Chainway utilise cette solution.
Nous pouvons observer une soumission de données DA du trieur de chaîne.
24ADD7CDCBFFCDA8D43509C8E27C5A72F4DF1731BE84BDBA727CD83AE0000,,Le diagramme schématique est le suivant:
Le code de script de cette transaction a emprunté au protocole OP_0 OP_IF dans Ordinals pour implémenter les schémas d’écriture de données et écrire les données DA de Rollup dans la chaîne BTC(Release Status Change + ZK Proof, qui est égal à la libération de données de transaction d’origine dans la sécurité, mais la taille des données peut être considérablement compressée).
Bien sûr, en plus des données DA, le trieur écrit également certaines données d’autorité dans la transaction. est soumis par le trieur.
Nous devons prêter attention ici,Dans toute transaction impliquant des données DA, il y a 16 binaires 0 (c’est-à-dire que 0 octets consécutifs sont 0 octets consécutifs).Dans le code, nous pouvons voir cette limite:
Le nombre aléatoire B715 dans le schéma de trading d’échantillons précédent est d’ajuster la valeur après que la transaction ait pris le hachage, de sorte que la queue est transportée avec un 16 0 spécifique, ce qui rend un nombre aléatoire non parce à l’exploitation bitcoin, de sorte que le front N Les bits de hachage sont 0, qui répond aux restrictions spécifiques.
Cette conception consiste à simplifier la difficulté d’obtenir des données DA.Lorsque la couche2 est nécessaire pour obtenir des données DA, il suffit de scanner le bloc BTC, toutes les fins définies sur 16 0 transactions,Il équivaut à la transaction initiée lorsque le trieur de données est soumis aux données, qui se distingue clairement des autres transactions sur la chaîne Bitcoin.Dans l’article ultérieur, il est dit que cela contient des données etLa transaction avec 16 0 0 à la fin est « CTrading standard Hainway.
Ensuite, les points clés mentionnés dans le titre de cet article:Comment la chaîne réalise-t-elle l’anti-reflète?Étant donné que le trieur de couche
Face à ce problème, Chainway permet aux utilisateurs de lancer« Transaction obligatoire », Transaction forcée.Une fois que l’utilisateur a soumis cette instruction de transaction dans le bloc BTC, le trieur de chaîne doit gérer la demande de transaction dans Layer2, sinon il ne pourra pas être sorti normalement, ou le bloc ne sera pas reconnu par le client lié.
La structure des paramètres de la transaction obligatoire est la suivante:
La transaction sera soumise à la chaîne Bitcoin en tant que « transaction standard de chaîne » et 16 0 0 à la fin du hachage commercial.Lorsque le trieur de chaîne génère le bloc L2,La « transaction de spécification Layer2 » qui a été divulguée sur la chaîne BTC mais non incluse dans le grand livre L2,Et le résumé d’un arbre Merkle écrit sa racine Merkle dans la tête de bloc L2.
Une fois que l’utilisateur initie directement des transactions obligatoires sur la chaîne BTC, le trieur doit être traité, sinon le prochain bloc effectif ne peut pas être généré.Le client de chaîne sous la chaîne BTC peut d’abord vérifier la preuve ZK, déterminer l’efficacité du bloc L2 soumis par le trieur et vérifier la racine Merkle à la tête du bloc L2 pour déterminer si le trieur contient la demande de transaction obligatoire.
Son workflow peut se référer au graphique de flux suivant.Notez que, limité à l’espace, dans la figure ci-dessous, Verify_Relevant_Tx_List n’a pas de jugement conditionnel:
Dans l’ensemble, le client / nœud Chainway synchronisera le bloc de réseau principal BTC, et à partir de celui-ci pour scanner les « données DA » publiées par le trieur de chaîne, confirmez que les données sont publiées par le trieur spécifié, et il contient tous BTCS a soumis à BTC « Chainway Standard Trading » sur la chaîne.
Ce n’est pas difficile à voir,Tant que l’utilisateur peut construire une « transaction standard » qui remplit les conditions et la soumet à la chaîne BTC, cette transaction sera finalement incluse dans le grand livre L2 local dans le client de chaîne, sinon le bloc L2 libéré par le trieur de chaîne Be sera le client refuse.
Si c’est fiableTransmission de messages consensus / alerte sous la chaîne,La solution de transaction anti-révision de Chainway approche la méthode anti-révision idéale du rouleau souverain idéal.Par exemple, certains schémas de rouleaux souverains ont clairement déclaré que la rencontre de blocs non valides diffusera les informations d’alerte d’alerte entre les clients sous la chaîne pour améliorer la sécurité.
Si un bloc ne contient pas sincèrement les «transactions obligatoires», elle déclenchera évidemment une émission d’avertissement sous la chaîne.Mais maintenant, Chainway n’a pas encore réalisé cette pièce(Au moins, la bibliothèque actuelle des informations et du code montre qu’elle n’a pas fait cette technologie).
Même si le consensus entre le client / nœud sous la chaîne est mis en œuvre,L’effet anti-révision de la « transaction obligatoire » de la « transaction obligatoire » n’est pas aussi bon que le contrat intelligent tel que Arbitrum, car le premier arbitrum garantira finalement que la « transaction obligatoire » est incluse dans le grand livre de couche Contrat sur la couche 1, qui hérite pleinement de la résistance de la couche 1.De toute évidence, le rollup souverain ne peut pas être aligné sur le rollup de contrat intelligent, et son anti-réview dépend enfin de la partie inférieure.
Ceci est également déterminé,L’idée du schéma « Sovereign Rollup » et « Client Verification »,BasiqueIncapable deComme Arbitrum One ou Loopring, Dydx et Degate,entierHéritage de l’anti-examen de la couche1, car la transaction obligatoire peut être incluse avec succès dans le grand livre de couche2, cela dépend de la prise de décision des entités de la chaîne de couche
Évidemment,Chaîne de chaîneCette solution qui dépend simplement du client sous la chaîne,Il a juste hérité de la fiabilité DA de la couche1 et n’a pas pleinement hérité de sa résistance.
Similaire à la preuve récursive de Mina
Dans cette section, nous présenterons en outre d’autres parties de la chaîne.Similaire à la preuve récursive de MinaEssenceLa structure globale est la suivante:
Après le traitement de la transaction utilisateur, le trieur du réseau de chaîne génère la preuve ZK finale et l’état modifie avec différents comptes est Diff et publié sur la chaîne BTC.Le nœud entier synchronisera toutes les données historiques publiées sur le BTC.Chaque preuve ZK doit non seulement prouver le processus de conversion d’état du bloc actuel, mais également garantir que le certificat ZK du bloc précédent est efficace.
Sur la base du plan ci-dessus, nous pouvons constater que chaque nouvelle preuve est générée.Le dernier certificat ZK peut garantir que tous les certificats ZK à partir du bloc de création sont efficaces.Cette conception est similaire à Mina.
Lorsqu’un « client léger » qui ne synchronise que la tête de bloc, c’est-à-dire que le nœud lumineux est ajouté au réseau,Seule la dernière preuve ZK valide pour la dernière preuve ZK sur le BTC peut confirmer les données historiques de toute la chaîne et toute la conversion de statut.
Si le trieur est mauvais, n’accepte délibérément pas les transactions obligatoires ou n’utilise pas la certification ZK précédente pour une preuve récursive, la nouvelle preuve ZK générée par elle ne peut pas être acceptée par le client (généré ou reconnu), comme indiqué ci-dessous:
Résumer
En tant que résumé de cet article,Chainway est essentiellement un schéma de vérification Souverain Rollup / Client utilisant BTC comme couche DA.Afin d’améliorer l’anti-examen de Rollup, Chainway a introduit le concept de transactions obligatoires.D’un autre côté, Chainway utilise une technologie récursive de preuve ZK, afin que les nœuds nouvellement entrés puissent davantage faire confiance à la sortie du trieur et confirmer que les données historiques de la chaîne entière sont correctes à tout moment.
La question actuelle de la chaîne est de savoir comment faire confiance à la partie du pont croisé,Parce qu’il adopte le schéma de rollup souverain, il n’est pas expliqué que sur le programme de ponts croisés, il est difficile de juger de la façon dont sa sécurité finale est prévue pour résoudre les détails techniques.
aujourd’hui,Grâce à une analyse en profondeur de la solution technique de la chaîne, nous avons constaté que les types techniques promus par la communauté du projet ne sont pas enroulés au sens grand public.Étant donné que le projet actuel Bitcoin Layer2 a atteint des dizaines de (centaines d’années par demi-année), afin de réduire le coût cognitif du terme technique de chacun, nous continuerons de classer les normes de classification et de sécurité et les normes d’évaluation fonctionnelle des solutions Layer2 , Normes de sécurité et normes d’évaluation complètes fonctionnelles dans la recherche, alors restez à l’écoute!
