jakiro
BitVM est le dernier accord populaire dans l’écosystème Bitcoin, qui a le potentiel de bénéficier à chaque projet construit sur Bitcoin.Parlons de la conception de BitVM et de sa nouvelle possibilité qu’il ouvre à Bitcoin.
>
« Bitcoin Saison 2[3]« Dans la prédication, les développeurs et les utilisateurs sont ravis de créer des projets sur Bitcoin et d’apporter de nouveaux cas d’utilisation et de nouvelles méthodes pour résoudre le défi éternel sur Bitcoin.
Bitcoin n’a pas d’évolutivité.En raison de l’espace de bloc limité, les coûts de transaction peuvent fluctuer fortement pendant la congestion du réseau.Seules 7 transactions sont traitées par seconde.Vous devez étendre la solution[4]Essence
Dans Bitcoin L2S[5](Blockchain Layer2) Beaucoup de travail a été effectué pour améliorer l’évolutivité du bitcoin et l’introduction de nouvelles fonctions.Il y a des dizaines de projets construits sur Bitcoin aujourd’hui[6]L’un des domaines de recherche et d’innovation les plus potentiels est les rouleaux de bitcoin[7]EssenceÀ des niveaux élevés, Bitcoin Rollups permet à la transaction de se produire sous la chaîne, puis de « rouler » en un seul changement d’état à la blockchain. Le statut de soumission est précis.
Cependant, il est difficile d’introduire ce système de preuve dans Bitcoin, qui est le rôle de BitVM.
Qu’est-ce que Bitvm?
Bitvm[8]Il s’agit d’un accord / règle qui peut être réalisé sur le Bitcoin.La conception principale de BitVM sera calculée à la chaîne, et un mécanisme de certificat frauduleux est mis en œuvre sur la blockchain Bitcoin.
BitVM peut réaliser une preuve de fraude sur Bitcoin.
Bitvm White Liper a été publié par Robin Linus en octobre 2023 (il convient de noter que Robin est Zerosync[9]Un membre de l’équipe, le projet s’engage à développer un système de certification de connaissance zéro pour le bitcoin), et les développeurs ont expérimenté l’accord au cours des derniers mois, et ils sont de plus en plus intéressés.
Vous pouvez traiter BitVM comme un ensemble de protocole / règles distribué que les participants étaient d’accord à l’avance, plutôt que des machines virtuelles réelles (telles que les machines virtuelles Ethereum) implémentées par le logiciel.Semblable aux ordinaux de Bitcoin[10]La méthode de travail fait partie du consensus social.
La raison pour laquelle BitVM est si excitante est qu’elle offre un défi pour vérifier tout circuit sur le protocole Bitcoin-Response, vous pouvez faire une déclaration sous la chaîne (par exemple, ce certificat est valide) et utiliser Bitcoin L1 pour vérifier.Parmi eux, « On Bitcoin » est la clé, car il est très difficile de construire sur Bitcoin.
Quel est le problème avec BitVM?
Tout projet construit sur Bitcoin sait à quel point il est difficile d’interagir avec la chaîne (à Hiro, nous avons ressenti cette douleur en personne).L’un des défis mis sur le bitcoin est que Bitcoin n’a pas la possibilité de traiter l’informatique complexe.
Il n’y a pas de contrat intelligent.Pas de machine virtuelle.La programmation est limitée à l’opérateur qui peut passer par le code d’opération[11](Code d’opération) Contenu de construction, et cette fonction est limitée.L’introduction de nouveaux codes d’exploitation nécessite des fourches BIP et Bitcoin (c’est très difficile).
Par conséquent, nous ne pouvons utiliser la programmation limitée que sans fourche et nouveau code d’exploitation.Dans le cas de l’expansion du Bitcoin, cette limite se reflète principalement dans deux aspects:
Si vous souhaitez construire une ancre BTC à deux voies, il est difficile de supprimer la confiance de l’équation.La plupart des ancres BTC ont impliqué le gardien aujourd’hui.Parfois, il est décrit comme des «problèmes d’écriture».Dans l’écosystème des piles, la prochaine mise à niveau de Nakamoto[12]Y compris la conception de l’introduction minimale de fiducie de fiducie plus tard.
Si vous souhaitez déplacer le calcul ou la transaction vers la chaîne via Rollup, il est difficile de vérifier et de vérifier les données sous le Bitcoin lui-même.Il s’agit d’un problème de vérification.
Pour ces deux numéros, BitVM peut débloquer des améliorations de conception spectaculaires en réalisant des protocoles de défi / réponse sur le Bitcoin L1.
Comment travailler dans Bitvm?
C’est un bon moyen de traiter BitVM comme un protocole ou un ensemble de règles.Si les deux parties acceptent de suivre ces règles à l’avance (ce qui signifie qu’elles doivent coopérer les unes avec les autres), ils peuvent jouer à n’importe quel jeu de réponse.Théoriquement, cela peut être utilisé pour vérifier / prouver des programmes complexes arbitraires sur Bitcoin (l’exécution réelle de ces programmes se produit sous la chaîne).
Donnons un exemple spécifique.
Supposons qu’Alice et Bob veuille jouer à un jeu de pièces.Les deux joueurs ont chacun mis 0,5 BTC dans le prize pool.Gagnez 1 BTC sur le devant.Alice tient la médaille et lancera la pièce d’abord.Bob veut s’assurer qu’Alice ne trichera pas.Ce qui suit est de savoir comment ils utilisent BitVM pour jouer à ce jeu (pour simplifier, de nombreux détails ont été omis):
Alice et Bob ont accepté de suivre le protocole Bitvm.
Supposons que le front soit exprimé par la valeur H0 et que la valeur négative H1 est représentée.Alice a sélectionné deux autres valeurs, telles que P0 et P1, et a du hash sur H0 et H1.Par conséquent, ont (p0) = H0 et Hash (P1) = H1.P0 est appelé « l’image d’origine » de H0, et P1 est appelé l’image d’origine de H1.
Alice partage H0 et H1 avec Bob (en fait, Alice « Engagement » a « promis » des valeurs de hachage, donc elle ne peut pas prétendre plus tard avoir des valeurs différentes).Bob ne sait pas que l’image originale P0 et P1 (et « deviner » ces valeurs sont très difficiles, nous pouvons donc supposer en toute sécurité que Bob ne découvrira pas comme magique ces valeurs).
Alice et Bob ont signé deux transactions à l’avance: l’un pour le défi et l’autre pour la réponse.
Dans les transactions difficiles, le BOB contiendra un script. est positif; si la valeur est positive;De plus, le script a un verrou de temps.
En réponse aux transactions, Alice peut « révéler » les résultats de la pièce en « révélant » les résultats de la pièce en contenant le P0 ou P1 d’origine correspondant.Si Alice n’inclut aucune valeur, deux valeurs ou une valeur autre que P0 ou P1, le Bob obtiendra le prize pool.Sinon, si la valeur est P0 (avant), Alice a remporté le prize pool.
Maintenant, nous sommes prêts à commencer le jeu.Alice lance une pièce mais n’a pas révélé les résultats.Bob a émis une transaction de défi, puis Alice a répondu à la transaction.Grâce au script décrit précédemment, la logique de la « détection de fraude » est effectuée sur la chaîne.De toute évidence, il s’agit d’un exemple trivial et délibéré, mais il montre des idées clés.Pour un exemple légèrement compliqué, considérez un jeu d’échecs bien écrit conçu par un développeur nommé Super TestNet.Vous pouvez afficher le référentiel GitHub ici[13], Même aujourd’hui, vous pouvez jouer à « Bit Tac Toe[14]« Super TestNet montre en fait ce jeu à Hiro, vous pouvez regarder ci-dessous:
Bitvm Crash Course sur YouTube[15]
Ce qui suit est le composant premium du jeu:
Jingzi Chess est un 9e palais.Le premier joueur Alice peut prendre un maximum de 5 étapes, il y a donc 45 pré-image et hachage (9 par tour).Le deuxième joueur peut prendre jusqu’à 4 étapes au maximum, il y a donc 36 hachages.
Il y a 3 méthodes « de tricherie » dans Jingzi: les joueurs peuvent placer plusieurs x / o dans leurs rondes;Par conséquent, le protocole de défi / réponse est construit autour du test.
Défi la transaction obligera un autre joueur à « révéler » quel carré a placé X ou O.
Les transactions de réponse auront un script, qui sera vérifié pour les trois ci-dessus.Si une fraude était détectée, le challenger a gagné et la preuve de la preuve a échoué.
Veuillez noter que dans ces deux cas, la fraude prouve à la main, et elle est conçue pour l’utilisation de l’utilisation: la fraude prouvée par les échecs d’échecs ne fonctionne pas pour lancer des pièces ou autre chose.
De retour à la situation globale, le livre blanc Bitvm décrit une méthode générale: pour tout programme, il fournit un moyen de créer la preuve de validité du programme.Les opinions clés sont les suivantes:
D’après l’exemple de lancer la médaille, nous voyons comment vérifier un seul bit: appelons cela une preuve de « bit d’engagement ».
Avec un engagement amer, nous pouvons construire un engagement de porte logique: compte tenu du booléen et / ou de l’opérateur – pour deux entrées (chaque valeur est 0 ou 1), l’opérateur définit une seule sortie.Par conséquent, en utilisant des engagements 2 bits comme entrée et un engagement de 1 bit comme sortie, nous pouvons créer des preuves efficaces pour n’importe quelle porte logique.Le livre blanc BitVM utilise une porte logique NAND.
Enfin, n’importe quel calcul peut être représenté par une série de portes logiques.Le Livre blanc Bitvm l’appelle « Circuit binaire ».Un tel circuit peut être représenté efficacement par Tapscript, et les feuilles de chaque arbre de tapage représentent un engagement de porte unique.
Le protocole de défi / réponse implique essentiellement la sortie d’un engagement de porte spécifique.Dans le pire des cas, vous devrez peut-être vérifier la sortie de chaque porte unique.
Vérifiez ce référentiel[16], Comprendre un moyen de convertir n’importe quel programme en un circuit Tapleaf.
Comment les piles s’adaptent-elles?
Les deux applications évidentes et les plus apparentées de BitVM dans l’écosystème des piles sont:
Améliorer l’hypothèse de confiance de SBTC
Ajouter une preuve efficace d’efficacité au bloc de piles sur Bitcoin
Pourquoi choisir ces deux applications?Conception SBTC actuelle[17]C’est déjà l’une des ancres bidirectionnelles à deux voies les plus sûres et minimisées à Bitcoin.Néanmoins, dans les modèles de sécurité et les hypothèses de confiance[18]Il y a encore de la place à l’amélioration.Différent de la demande d’au moins 30% des signatures honnêtes ou en faisant confiance à un ensemble de signatures de réputation élevées, les méthodes basées sur BitVM peuvent théoriquement faire que SBTC n’a besoin que d’un participant honnête à exécuter.
De même, bien que chaque bloc de piles soit réglé sur Bitcoin, la conception actuelle vous permet uniquement de vérifier indépendamment les données des piles lorsqu’une copie d’un état de chaîne.Si vous utilisez BitVM, Stacks Block comprend également une preuve efficace, vous pouvez non seulement vérifier l’intégrité (les données du bloc de piles donné sont cohérentes avec le hachage stocké sur le bitcoin), et vous pouvez également vérifier l’exactitude (vous pouvez vérifier Le stockage de stockage en affichant le stockage La preuve de la vérification de vérification Bitcoin est l’exécution réelle de la transaction dans un bloc de piles donné).En d’autres termes: cela permettra aux piles de se transformer en un rouleau optimiste sur Bitcoin.
Comment utiliser BitVM pour mettre en œuvre les méthodes spécifiques de ces applications nécessite plus de recherche et de développement.Mais nous pouvons essayer de décrire certaines idées à des niveaux élevés.
Bitvm et SBTC
Considérez l’exemple de SBTC: le processus d’ancrage est très simple et seule la transaction Bitcoin est nécessaire pour se terminer.Cependant, dans la conception actuelle, le processus de sortie de l’ancrage dépend de la signature pour traiter la demande (sur les piles).Cela apporte quelques contraintes:
La sortie peut prendre du temps, selon le nombre de signatures hors ligne / honnêteté.
Vous devez faire confiance à ce réseau de signature et faire plus largement confiance à l’ensemble des piles.
Si vous changez (ou peut-être), générez une preuve efficace sur le bitcoin et utilisez Bitvm[19],Donc:
La sortie peut être optimiste (par conséquent, elle peut être traitée plus rapidement sur la route du bonheur).
L’ancre nécessite seulement un participant honnête pour fonctionner; vous n’avez pas besoin de faire confiance à 30% du réseau de signature.
La clé est de découvrir avec précision comment construire une preuve de validité.La méthode de force brute décrite dans le livre blanc BitVM peut fonctionner, mais elle peut conduire à un très grand circuit de tapisheaf (milliards de nœuds).Cela signifie à son tour que tout défi prendra beaucoup de temps (cela peut prendre des semaines ou plus), sans parler du coût de l’attention et des ressources (coûts de transaction!).Comme nous pouvons le voir dans l’exemple de Jingziqi, nous pouvons construire une preuve plus concise, qui est personnalisée pour des cas spécifiques.
Bitvm et piles
Quant à l’efficacité de l’ensemble du bloc de piles, il existe de nombreux espaces de conception qui méritent d’être explorés.Par exemple, la granularité d’une seule transaction ou la taille des particules de l’ensemble du bloc est entre les deux (comme une transaction qui constituait la chaîne de dépendance de cause et d’effet)?Est-il possible d’adopter une méthode progressive, comme une preuve d’un simple transfert de jeton, puis d’ajouter progressivement un contrat de clarté?Est-ce une bonne utilisation de l’espace de blocs Bitcoin, car les mineurs de piles et les participants au réseau ont déjà des incitations économiques à maintenir l’historique complet de l’état de la chaîne de piles?
en conclusion
BitVM est un thème passionnant qui nécessite plus de recherches, de réflexion et d’expériences que d’articles de blog, mais j’espère que cela aidera à clarifier l’un des récents développement passionnants de Bitcoin.
