IOSG ｜ Bitvm: Bitcoin Programming Dawn

Merci: Merci Momiour, la précieuse modification de Xinshu de l’article

>

TL;

• Les changements dans les noyaux Bitcoin sont généralement résistés.b) Attachez l’importance à la stabilité et à la prévisibilité, plutôt qu’à l’innovation rapide.c) Il est difficile de parvenir à un consensus dans une communauté diversifiée.

• De nombreux éléments affirment qu’il existe des méthodes pour résoudre l’évolutivité du bitcoin et n’a pas besoin de changer la chaîne Bitcoin elle-même.Récemment, nous avons assisté à la super inflation des « L2 » Bitcoin.

• Bien que de nombreuses affirmations ne soient que le marketing trompeur, nous reconnaissons également un nouveau paradigme informatique qui peut apporter la programmation à Bitcoin -BitVM.

• La meilleure solution d’extension que BitVM peut prendre en charge est proche des hypothèses de sécurité du type de rollup op (bien qu’il existe des précautions supplémentaires).

• Le succès de BitVM et des initiatives similaires dépend de la faisabilité de la technologie, du soutien de la communauté et de la distinction entre d’autres projets de « marketing excessif ».

Bitcoin est construit en tant que blockchain commercial, et son langage de script se limite intentionnellement comme sans état pour minimiser la surface d’attaque et assurer la sécurité du réseau.En raison du manque de réduction de Turing, il est impossible d’introduire des contrats intelligents directement sur la blockchain à moins que le noyau de Bitcoin ne soit mis à niveau par un bimedia.

La communauté traditionnelle de Bitcoin est résistante aux changements.

• Le récit accorde plus d’attention au stockage de valeur au lieu de la monnaie inaculaire: la communauté Bitcoin a l’intention de se concentrer sur le maintien du réseau en tant que système de paiement point à point, et met la sécurité et la décentralisation sur un développement rapide.Comme l’a dit le célèbre détenteur de Bitcoin, Michael Saylor: « Personne n’essaie d’en utiliser une petite partie pour acheter une tasse de café sur une partie d’un bâtiment sur la cinquième avenue. »

• La stabilité du système est meilleure que l’innovation: pour les actifs considérés comme un excellent stockage de valeur, la prévisibilité est essentielle.Par exemple, même si le réseau n’a que 10 mises à niveau majeures et que le taux de réussite de chaque mise à niveau est de 90%, la probabilité d’un échec est d’environ 65%!Selon la théorie des accidents normaux: « Dans les systèmes complexes, nous devons nous attendre à un petit facteur qui peut souvent être ignoré occasionnellement provoquer des événements majeurs. Par conséquent, l’objectif de la communauté Bitcoin a toujours été un moyen de réduire les erreurs potentielles.

• Communautés diversifiées: de nombreux détenteurs de Bitcoin comprennent le bitcoin sous différents angles et le chérissent pour différentes raisons.Atteindre un consensus dans une communauté diversifiée et décentralisée est plein de défis, ce qui ralentit encore le rythme de l’innovation.Pour expliquer la diversité de la communauté Bitcoin, vous pouvez observer la réponse de la communauté à l’inscription et aux ordinaux.Lorsqu’une partie de la communauté Bitcoin célèbre le succès de l’ordre, il est considéré comme le temps des cryptokitties de Bitcoin, et l’autre personne pense qu’il s’agit d’une échappatoire qui devrait être réparée.

>

1. L’expansion rapide du schéma d’expansion de la capacité Bitcoin

Compte tenu de la situation ci-dessus, pourquoi apparaître soudainement un grand nombre de nouvelles solutions Bitcoin « L2 »?

Récent

1. Les chaînes latérales comme les piles offrent des capacités de contrat intelligentes et une portée approfondie des applications.

2. Des clients tels que les projets de vérification RVB utilisent le modèle UTXO du réseau principal pour effectuer des transactions plus complexes sous le lien, mais leur interaction avec le réseau principal de Bitcoin manque de stabilité.

3. Le canal d’état comme le réseau Lightning est étroitement lié aux développeurs de Bitcoin de base et est considéré comme une méthode de tolérance plus orthodoxe.

>

La première génération de solution d’extension BTC

Par rapport aux solutions existantes, quelles sont les romans de la récente méthode d’expansion?À notre avis, l’innovation la plus excitante vient du programme d’encodage sur Bitcoin (via BitVM) et pas besoin de faire confiance à BTC (comme Babylon).Cet article se concentrera sur le premier.

>

>

2. Bitvm -Overview

Pour expliquer ce qu’est BitVM, nous devons d’abord introduire l’autonomisation et stimuler sa mise à niveau de radice de tapoot primitive.

Taproot est une mise à niveau majeure de l’accord Bitcoin et activée en novembre 2021.Grâce à Taproot, le hachage du script doit être soumis par défaut sur la chaîne.Lorsque vous effectuez un chemin du script, il vous suffit de soumettre le script sur le chemin de la chaîne.Cela améliore non seulement l’efficacité (la taille de la transaction n’augmentera pas avec la taille du script), mais améliore également la confidentialité (elle exposera uniquement le chemin de la transaction, pas l’ensemble du script).

Avec une énorme occasion pour la rafale de mise à niveau, Robin Linus a pris la tête du lancement de BitVM, qui est une innovation révolutionnaire dans l’écosystème Bitcoin.

Bitvm est un paradigme informatique.Il permet la vérification (au lieu d’exécuter), similaire aux rouleaux optimistes.

BitVM est minimisé sur la chaîne en activant la chaîne compliquée en activant la chaîne compliquée (uniquement lorsque le différend n’est requis que lorsqu’il n’y a un différend que lorsqu’il y a un différend).

Ce processus implique le circuit binaire qui soumet le programme dans l’adresse de tapoot et utilise le mécanisme de réponse-réponse pour vérifier.En résumé, BitVM met en œuvre le contrat complet de Bitcoin de Turing, la chose la plus importante est:

• Bitvm ne nécessite pas de changement de fourche ou de protocole Bitcoin.

• Bitvm ne fait pas de blocage Bitcoin Blockchain, car les calculs ne sont pas effectués sur Bitcoin, mais utilisent uniquement le réseau Bitcoin pour vérifier quand il y a des litiges.

• >

Construisez un circuit binaire sur Bitcoin

La construction de circuits binaires est une méthode qui utilise des portes logiques binaires (telles que et, ou, non) pour effectuer des calculs ou des programmes, qui peuvent remplir toutes les fonctions calculées.

BitVM est comme la porte logique du courant à travers la puce informatique (ces minuscules structures sont basées sur l’existence du courant, déterminent si le signal passe, c’est-à-dire la simulation complexe de l’ouverture ou du virage, ou fermé) et se convertit en La langue de Bitcoin.

Essentiellement, tout programme informatique, des jeux à des systèmes d’exploitation Linux complets, est le résultat de la disposition complexe de ces portes logiques.En combinant ces nombres binaires avec des portes logiques (telles que et et non les portes), nous avons créé divers circuits, y compris les unités logiques arithmétiques (ALUS) et les systèmes de mémoire.Cette technologie de base nous permet d’écrire et d’effectuer des procédures pour effectuer des tâches étendues.

>

Source: Passant à travers des portes logiques;

La prémisse de BitVM est d’utiliser le script Bitcoin pour faire une promesse de calculer sous la chaîne (soumettre un hachage calculé à l’adresse de la tapoot), et pour former une combinaison de circuits binaires en résolvant n’importe quel programme et en activant la vérification de l’exécution. script, maisLe script lui-même n’effectue pas toute la logique de calculEssence

Le script Bitcoin peut obtenir des engagements de valeur bits, qui peuvent être affichés et punisÉquivoqueLe comportement est très important.Il se rend compte inconfortable car il permet aux individus de soumettre la valeur que d’autres ne peuvent pas modifier.

Cette méthode implique l’utilisation de deux hachages pour représenter chaque position d’entrée: un hachage pour le numérique 0 et l’autre pour les numéros 1.Lorsque quelqu’un veut exécuter le programme, il révèle une image originale (pré-image) pour indiquer l’entrée.La valeur sera convertie en 0 ou 1, qui est déterminée en comparant les valeurs de hachage de l’image d’origine avec les deux valeurs de hachage des représentants 0 et 1.

Si l’entrée et la sortie ne sont pas appariées, les vérifications ont le droit de punir le fournisseur en confisquant les fonds du fournisseur.

Mécanisme de défi-réponse

La vérification est généralement dansSous la chaîneLa performance, optimiste, suppose que la preuve de la preuve est honnête.Dans le cas de la controverse, le processus est transféré à la chaîne etDémarrer une série de réponses défisEssenceCe mécanisme garantit que dans la plupart des cas, le calcul et la vérification peuvent être effectués efficacement et à faible coût, et uniquement lorsqu’il y a des différences, l’indemnité et la transparence de la blockchain doivent être utilisées pour la décision finale.

La dynamique du mécanisme de défi-réponse dans BITVM implique un système qui vérifie l’exécution du programme sur la blockchain (comme Vicky et Paul).Lorsqu’il y a un différend, Vicky défie Paul pour prouver l’exactitude de l’exécution de son programme.

Vicky sélectionne une porte logique dans un circuit binaire, et Paul ouvre cette porte en révélant l’entrée et la sortie.Jusqu’à confirmer la situation vague ou Vicky a épuisé la possibilité de nouveaux défis, ce processus sera répété.Vaguement a dit que Paul prétend qu’un X entrée était de 0 lorsqu’une porte logique a été ouverte, mais elle était 1 lorsqu’une autre porte logique a été ouverte.

Paul doit déposer des fonds pour garantir les preuves qu’il prétend en utilisant la transaction pré-Sign -NickNameEssenceCes transactions ont créé une chaîne qui permet de procéder en fonction de l’interaction en cours, et les fonds se balancent entre les défis et les adresses de réponse.

Les fonds dans l’adresse de réponse peuvent circuler sur plusieurs chemins en fonction des résultats du défi:

• Si Vicky arrête le défi, cela montre que Paul a reçu Paul et que Paul obtient enfin des fonds après une certaine période de temps.

• Si Vicky prouve que Paul est incohérent dans l’exécution (vaguement), elle peut demander ces fonds.

• Si Vicky soupçonne que l’autre partie de l’exécution est erronée, elle peut lancer un autre défi pour déplacer les fonds vers l’adresse de réponse suivante.À cette fin, elle doit révéler une image d’un tablière spécifique.

Ce système fournit une structure solide et transparente pour l’exécution des litiges et des procédures de vérification sur la blockchain.En combinant des incitations financières, il favorise l’intégrité et la précision de l’exécution et des résultats du programme.Initialement, la conception a soutenu le mécanisme du défi-réponse des deux parties.Cependant, comme nous le montrerons plus tard, les contributeurs de BitVM ont trouvé une solution pour permettre à de nombreux participants de participer en tant que challengers.

Bissection: améliorer l’efficacité de la résolution des différends

Afin d’améliorer l’efficacité de la vérification de la chaîne, les vérifications peuvent utiliser la méthode de bissection, qui est une méthode de recherche à haute efficacité sur la porte logique qui est soumise à l’avance pour trouver la porte logique qui devrait être contestée. Le processus de défi s’est considérablement amélioré.En divisant le problème du problème en deux, la méthode de division permet à la vérification de réduire rapidement la portée de l’erreur potentielle, réduisant ainsi les étapes et le temps nécessaires pour résoudre le différend.Cette méthode fournit un chemin plus efficace et direct lors du traitement du processus de vérification complexe, en particulier lorsque l’emplacement d’erreur doit être déterminé avec précision.

Dans ce qui suit, nous utilisons un exemple simplifié pour expliquer comment fonctionne la méthode de division:

Paul et Vicky font des questions mathématiques, le titre est le calcul ((1 + 2) + (3 + 4)) + ((5 + 6) + (7 + 8)).

Le processus de correction de ce calcul est ((1 + 2) + (3 + 4)) + ((5 + 6) + (7 + 8)) = (3 + 7) + (11 + 15) = 10 + 26 = 36.

La réponse donnée par Paul est de 35, car la façon dont il calcule est ((1 + 2) + (3 + 4)) + ((5 + 6) + (7 + 8)) = (2 + 7) + (11 +15) = 9 + 26 = 35.

Lorsque Vicky défie Paul, elle n’a qu’à contester le calcul impliqué dans la première partie du calcul (c’est-à-dire ouvrir la porte logique), car ils conviennent que le calcul de la deuxième partie est précis ((5 + 6) + ( 7 + 8)) = 26) Essence

>

>

3. Utilisez Bitvm pour construire un pont de confiance (pont minimisé en fiducie)

La première implémentation réelle de Bitvm est probablement un programme qui représente le pont Bitcoin de confiance minimum.En analysant les détails du pont, nous pouvons mieux comprendre la complexité supplémentaire du programme BITVM.Ci-dessous, nous résumons la proposition d’Alexei Zamyatin, co-fondatrice de Bob.

Tout d’abord, vous devez créer une méthode qui permet à Bitcoin d’utiliser le script Bitcoin pour utiliser un programme de pont de chaîne latérale, y compris un client léger de la chaîne latérale.

Ensuite, vous devez en construire unLigue / multi-sigLe réseau facilite le transfert de BTC et l’exécution des jeux de défis-réponse.L’alliance doit promettre d’exécuter le pont dans le cadre des paramètres BitVM.

La complexité des paramètres initiaux de l’alliance augmente dans une croissance secondaire avec l’augmentation du nombre de membres. 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est le n = 100 est.

>

Contrairement à OP Rollup, ce dernier n’a pas de limite à la taille de N, et l’assurance de sécurité fournie par ce schéma est faible.Cependant, la solution de travail proposée est susceptible d’inclure la rotation des membres de l’alliance, de sorte que N sera supérieur à 100 dans une longue portée.À tout moment, tant que l’un de ces 100 membres est honnête, le dépôt restera sûr.En supposant ceux qui ont des acteurs malveillants, ils peuvent être mis au défi à tout moment sur la chaîne.

Les alliances sont responsables de la gestion des dépôts et des retraits et de la vérification des états de la chaîne latérale à tout moment.L’opérateur et la tour de surveillance (tour de guets) doivent soumettre des hypothèques pour motiver les comportements corrects et prévenir de faux défis.

Une autre raison pour laquelle ce schéma n’est pas conforme à la convolution la plus stricte est que les utilisateurs ne peuvent pas quitter unilatéralement la chaîne latérale, mais doivent demander le retrait avec des alliances en fonction des hypothèses de sécurité 1 / n.

>

4. Bitvm v2: Bitvm peut-il prendre en charge cette vérification sans permision (vérification sans permision)?

Le 25 mars, Robin Linus a présenté Bitvm V2.Le changement clé de la proposition Bitvm V2 est que le fournisseur doit soumettre l’état de sortie et tous les résultats intermédiaires en même temps, plutôt que d’ouvrir la porte logique une par un dans le processus de vérification des défis.Avec ce changement, BitVM garantit que tout défi à ces engagements doit être étayé par des preuves de chiffrement.Ce mécanisme filtre les défis des ordures non fondés, car les challengers doivent fournir des certificats de cryptage spécifiques aux preuves controversées.

En permettant une participation illimitée au processus de vérification et de défi, Bitvm 2 a élargi son assurance de sécurité aux restrictions de plusieurs alliances de signature et se rapproche de BitVM de l’hypothèse de sécurité d’une convolution optimiste.

Cependant, la construction du pont exige toujours que la multiplication de l’alliance de promouvoir, ce qui signifie que les membres de l’alliance peuvent provoquer des problèmes d’activité.Il s’agit d’une hypothèse de sécurité supplémentaire pour une convolution optimiste, car dans la convolution optimiste, les utilisateurs peuvent quitter L1 sans obtenir d’approbation intermédiaire.

>

Hypothèses de sécurité supplémentaires sur la chaîne de base

>

5. Bitvm Restrictions

Comme nous l’avons discuté ci-dessus, la meilleure solution que BitVM peut fournir est les hypothèses de sécurité proches de la convolution optimiste.En plus de la complexité de l’alliance responsable des dépôts d’assurance et de ses problèmes d’activité, une complexité supplémentaire unique à BitVM comprend ::

• Bien que BitVM puisse théoriquement effectuer des programmes de chaîne complexes, en fait, avec l’augmentation de la complexité des programmes de programmation sous ces liens, le coût pertinent de la fraude prouve sur Bitcoin a augmenté rapidement.Des programmes excessifs peuvent nécessiter plusieurs blocs pour fonctionner, compliquant encore ce processus.

• Les piscines minières avec une puissance de calcul peuvent être volées à BitVM (similaire au réseau Lightning), car ils peuvent conspirer pour revoir la certification des challengers, ou les acteurs malveillants peuvent les soudoyer pour ignorer les challengers.

• En raison de la nature interactive de BitVM, les preuves malveillantes peuvent manipuler le système et la voler de la vérification.L’attaque peut être construite en fonction des hypothèses suivantes:

• Le rétréateur commence à vérifier la séquence en démarrant la transaction

• La vérification de la validité comportementale de Suspion Repreiver démarre un défi, qui contient les frais de réponse qui paient le registre du défi

• Les provers choisissent de percevoir les coûts, ignorent en même temps les défis et ne remplissent pas certaines de leurs responsabilités dans le processus de vérification

• En fin de compte, BitVM est actuellement un cadre conceptuel et un concept informatique virtuel qui est presque impossible à effectuer une opération.La « convolution » de BitVM est loin du niveau d’application.Le risque technique d’effectuer BitVM ne peut pas être sous-estimé.

>

6. Conclusion

Compte tenu de l’évaluation de la solution d’expansion Ethereum, la valeur marchande potentielle d’environ 15 à 20% de la valeur marchande d’Ethereum – la valeur marchande potentielle de la solution de deuxième couche de Bitcoin peut être énorme.

Bien que BitVM soit encore aux premiers stades – il s’agit essentiellement d’un concept informatique virtuel sans scrupules – Il a stimulé de nombreux intérêts et déclarations de divers projets, qui sont désireux d’utiliser leur potentiel.De nombreux projets qui n’ont rien à voir avec l’équipe BitVM se précipitent pour faire une grande annonce, dans l’espoir d’occuper une place dans un nouveau domaine prometteur de Bitcoin à leur avis.Cependant, plus soigneusement examiné une réalité plus sobre: Le compte GitHub de BitVM n’a que quelques contributeurs, et seuls quelques groupes de télégrammes BitVM Builders sont en fait impliqués dans le groupe.

Tout principe clé que les solutions d’évolutivité de Bitcoin doivent suivre est que l’architecture centrale du bitcoin doit rester inchangée (selon les principes de prévisibilité).Bitvm adhérant à ce principe, devenant la première solution pionnière à fournir une couche programmable sur le Bitcoin sans changer son noyau.

Cet article est écrit au début du développement BitVM.Par exemple, jusqu’à récemment, l’idée de réaliser ZK Convolution sur Bitcoin semble être aussi irréaliste que la tour vide, car la capacité de base requise – comme la capacité de Bitcoin à vérifier la certification ZK – n’existe pas.Cependant, récemment, les chercheurs BITVM ont partagé la progression du script Bitcoin, ce qui peut conduire au dispositif de vérification Stark sur Bitcoin.

La réalisation des solutions d’extension Bitcoin dépasse les défis techniques purs;Bien que le moment actuel offre une fenêtre d’opportunité unique pour ces innovations, l’inflation rapide du nombre de projets du projet et les risques importants apportés par des déclarations trompeuses et le marketing peuvent détruire les perspectives de plus de projets juridiques.

Alors que l’écosystème se dresse à ce carrefour, le problème de savoir si le succès des solutions d’extension de Bitcoin peut copier Ethereum n’est pas seulement technique, mais aussi profondément enraciné dans la dynamique plus large de la communauté de la blockchain.Après tout, la communauté d’Ethereum de base a choisi L2 comme l’élément clé du diagramme d’itinéraire d’agrandissement de Ethereum, et la communauté Bitcoin ne peut pas le dire.

Référence

• « Bitcoin Audible. »

• « Bitvm. »

• « Bitvm: uma Ferramenta para contratos ainda mais Inteligetes -Super testnet -satsconf 2023 -youtube. »

• Linus, Robin.

• « Qu’est-ce que Bitvm? Avec Robin Linus et Super TestNet (SLP520) -youtube. »

• Dive profonde dans le paradigm de Bitvm-computing pour exprimer un bitcoin complet.

• COINEX INSTITUTION: Bitvm, le potentiel des contrats intelligents sur le bitcoin mainnet https://www.busines-standard.com/content/press-ani/coinex-institu -The-bitcoin-Mainnet-123122500619_1.html