Un livre blanc intitulé « BitVM: Compute Anything On Bitcoin » a suscité une discussion animée parmi les développeurs, ce qui semble signifier que le réseau Bitcoin implémente des contrats Turing-complets qui peuvent exécuter n’importe quelle fonction calculable?
Cela signifie que le réseau Bitcoin peut reproduire tous les récits d’Ethereum et d’autres écosystèmes? Et il n’est pas nécessaire de changer le consensus Bitcoin existant, ni même les mises à niveau, le simple fait de s’appuyer sur l’opération de base actuelle de Bitcoin_code peut donner au réseau Bitcoin une programmabilité « complexe », de sorte que le réseau Bitcoin puisse Turing-calcul complet de tout?
Attendez, arrêtons de rêver et explorons le chemin des idées de BitVM. Comment l’espace de script effectue-t-il une programmation complexe ? À quoi fait référence l’idée de la synthèse d’optimisme ? Fraud ProofQu’est-ce que le principe de preuve contre la fraude? Quels sont les obstacles à la mise en œuvre de BitVM ? **Ensuite, nous allons vous emmener analyser son cadre logique général étape par étape, afin que tout le monde puisse le comprendre en général. (Mais je ne m’attarde pas sur les détails spécifiques de la mise en œuvre technique)
Comment implémenter des fonctionnalités programmables complexes ?
Étant donné que les capacités de programmation de Bitcoin sont très limitées, ne prenant en charge que la logique simple et les opcodes limités sur les scripts de script, il est impossible de développer des contrats intelligents complexes sur le réseau Bitcoin. Le point central de la proposition de BitVM est que diverses instructions de programme similaires aux circuits binaires sont implémentées via la matrice d’adresse taproot ou taptree, ce qui équivaut à l’exécution complète du contrat. **
Plus précisément, nous pouvons traiter l’instruction conditionnelle de dépense UTXO dans chaque script de script comme la plus petite unité du programme, une exécution de script n’est rien de plus que vrai et faux deux résultats, si vous entrez un certain code dans l’adresse taproot peut obtenir un déterministe 0 ou 1, si un grand nombre d’adresses taproot dans une matrice peut former un taptree ordonné, et le résultat d’exécution a un grand nombre d’effets de texte de circuit binaire tels que 011001, Il peut être considéré comme un programme binaire exécutable. La complexité du programme dépend du nombre d’adresses taproot combinées, plus il y a d’adresses, plus les instructions prédéfinies sont riches pour chaque script dans le cadre du framework Bitcoin, plus le programme que l’ensemble du taptree peut exécuter est complexe. Maker Sense, n’est-ce pas?
C’est assez grand. Cependant, selon cette logique, la plus petite instruction unitaire est en effet complétée par le nœud complet Bitcoin, et l’adresse taproot est superposée à l’infini, et la possibilité d’une combinaison infinie peut superposer beaucoup de calculs complexes. D’une certaine manière, il ne serait pas exagéré de dire qu’il s’agit d’une machine Turing-complète. Mais la superposition infinie d’adresses taproot ne fera qu’augmenter la consommation de coûts, et théoriquement tout peut être réalisé dans Turing, mais ce n’est pas pratique.
Par conséquent, l’exhaustivité de Turing mentionnée dans le livre blanc n’est qu’une déclaration extrêmement idéale, un peu un « concept de vol », même le soi-disant supercalculateur d’Ethereum ne peut pas atteindre pleinement Turing-complet, sans parler du réseau Bitcoin qui ne repose que sur le script?
Analyse de quelques concepts complexes
Sur la base de la compréhension du cadre de base ci-dessus, regardez le Optimism Rollup et Fraud Proof and Bit Commitment mentionnés dans le livre blanc, qu’est-ce que Logic Gate? Étant donné qu’un seul espace racine et une seule logique de code exécutable sont limités, n’est-ce pas une idée de cumul d’exécuter des programmes complexes hors chaîne et de ne mettre que des liens de vérification clés sur la chaîne ?
Et Fraud Proof peut être compris de cette façon, Prover et le vérificateur compilent d’abord un énorme circuit binaire, le réseau Bitcoin lors de l’exécution du circuit, il y a une prémisse que Prover pré-signe et nantit un certain actif Bitcoin, si Verifier vérifie que Prover est mauvais, il peut envoyer des transactions à la chaîne pour déclencher les conditions de déverrouillage UTXO du « programme » taptree sur la chaîne, en cas de succès, vérificateur Les actifs garantis de Prober peuvent être confisqués, ce qui équivaut à un processus à l’épreuve de la fraude.
Dans cette logique, il n’est pas difficile de comprendre pourquoi BitVM ne convient que pour deux parties avec un consensus convenu, c’est-à-dire que le schéma général du circuit doit être partagé avant l’exécution, la procédure de certification du fraudeur doit être exécutée pendant la période de validité et certains actifs doivent être mis en gage et présignés. ** Si les deux parties ne coopèrent pas dans un ensemble de consensus convenu hors chaîne, il est difficile de promouvoir une véritable exécution « contractuelle » en s’appuyant uniquement sur l’environnement d’exécution limité en chaîne du réseau Bitcoin. **
**Quels sont les obstacles à l’atterrissage de BitVM ? **
**1) BitVM ne convient actuellement qu’à la mise en œuvre d’opérations sur la chaîne entre deux parties qui conviennent d’un consensus, et l’environnement sur la chaîne n’est qu’un processus ouvert et transparent d’exécution des contrats. À l’heure actuelle, il ne peut être mis en œuvre qu’entre deux organismes contractants, et la mise en œuvre de N-N nécessite une conception logique technique plus complexe.
** 2) BitVM comment appliquer un seul script d’adresse taproot pour implémenter l’unité de programmation minimale, ne peut pas dépasser le cadre logique d’exécution de Bitcoin ** tel que hashlock, timelock, ne peut pas dépasser les conditions de stockage limitées, cas optimiste Une adresse taproot peut programmer des centaines de portes logiques, plus doivent combiner un grand nombre d’adresses pour la construction de taptree. Le problème est que l’exécution des conditions de déverrouillage prédéfinies de l’adresse racine du robinet nécessite des frais de mineur, et plus il y a de combinaisons d’adresses, plus le coût est élevé. À l’avenir, la technologie de canal bidirectionnel du Lightning Network pourrait réduire les coûts, mais en général, compter sur le réseau Bitcoin pour exécuter des circuits de porte logique est non seulement lent, mais aussi coûteux à penser.
**3) BitVM prend idéalement en charge des scénarios limités, ce qui est plus adapté à l’informatique hors chaîne lourde, et seul un certain consensus et transfert d’actifs doivent s’appuyer sur des scénarios en chaîne, tels que la disposition des actifs des jeux;
En général, BitVM est une idée d’ouverture de cerveau et très créative, mais selon son cadre technique d’implémentation d’atterrissage, on sait qu’elle sera limitée à l’étape de conception du livre blanc à court terme, et l’exploration de scénarios d’application à long terme et l’application d’atterrissage font toujours face à de grands défis. Pour illustrer avec un exemple très populaire: ** BitVM est comme construire un ordinateur géant plus grand qu’une pièce à l’époque où tout le monde peut utiliser des terminaux mobiles. **
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.
Le réseau Bitcoin peut-il atteindre Turing-complet? Quels sont les obstacles à la mise en œuvre de BitVM ?
Écrit à l’origine par Haotian
Un livre blanc intitulé « BitVM: Compute Anything On Bitcoin » a suscité une discussion animée parmi les développeurs, ce qui semble signifier que le réseau Bitcoin implémente des contrats Turing-complets qui peuvent exécuter n’importe quelle fonction calculable?
Cela signifie que le réseau Bitcoin peut reproduire tous les récits d’Ethereum et d’autres écosystèmes? Et il n’est pas nécessaire de changer le consensus Bitcoin existant, ni même les mises à niveau, le simple fait de s’appuyer sur l’opération de base actuelle de Bitcoin_code peut donner au réseau Bitcoin une programmabilité « complexe », de sorte que le réseau Bitcoin puisse Turing-calcul complet de tout?
Attendez, arrêtons de rêver et explorons le chemin des idées de BitVM. Comment l’espace de script effectue-t-il une programmation complexe ? À quoi fait référence l’idée de la synthèse d’optimisme ? Fraud ProofQu’est-ce que le principe de preuve contre la fraude? Quels sont les obstacles à la mise en œuvre de BitVM ? **Ensuite, nous allons vous emmener analyser son cadre logique général étape par étape, afin que tout le monde puisse le comprendre en général. (Mais je ne m’attarde pas sur les détails spécifiques de la mise en œuvre technique)
Comment implémenter des fonctionnalités programmables complexes ?
Étant donné que les capacités de programmation de Bitcoin sont très limitées, ne prenant en charge que la logique simple et les opcodes limités sur les scripts de script, il est impossible de développer des contrats intelligents complexes sur le réseau Bitcoin. Le point central de la proposition de BitVM est que diverses instructions de programme similaires aux circuits binaires sont implémentées via la matrice d’adresse taproot ou taptree, ce qui équivaut à l’exécution complète du contrat. **
Plus précisément, nous pouvons traiter l’instruction conditionnelle de dépense UTXO dans chaque script de script comme la plus petite unité du programme, une exécution de script n’est rien de plus que vrai et faux deux résultats, si vous entrez un certain code dans l’adresse taproot peut obtenir un déterministe 0 ou 1, si un grand nombre d’adresses taproot dans une matrice peut former un taptree ordonné, et le résultat d’exécution a un grand nombre d’effets de texte de circuit binaire tels que 011001, Il peut être considéré comme un programme binaire exécutable. La complexité du programme dépend du nombre d’adresses taproot combinées, plus il y a d’adresses, plus les instructions prédéfinies sont riches pour chaque script dans le cadre du framework Bitcoin, plus le programme que l’ensemble du taptree peut exécuter est complexe. Maker Sense, n’est-ce pas?
C’est assez grand. Cependant, selon cette logique, la plus petite instruction unitaire est en effet complétée par le nœud complet Bitcoin, et l’adresse taproot est superposée à l’infini, et la possibilité d’une combinaison infinie peut superposer beaucoup de calculs complexes. D’une certaine manière, il ne serait pas exagéré de dire qu’il s’agit d’une machine Turing-complète. Mais la superposition infinie d’adresses taproot ne fera qu’augmenter la consommation de coûts, et théoriquement tout peut être réalisé dans Turing, mais ce n’est pas pratique.
Par conséquent, l’exhaustivité de Turing mentionnée dans le livre blanc n’est qu’une déclaration extrêmement idéale, un peu un « concept de vol », même le soi-disant supercalculateur d’Ethereum ne peut pas atteindre pleinement Turing-complet, sans parler du réseau Bitcoin qui ne repose que sur le script?
Analyse de quelques concepts complexes
Sur la base de la compréhension du cadre de base ci-dessus, regardez le Optimism Rollup et Fraud Proof and Bit Commitment mentionnés dans le livre blanc, qu’est-ce que Logic Gate? Étant donné qu’un seul espace racine et une seule logique de code exécutable sont limités, n’est-ce pas une idée de cumul d’exécuter des programmes complexes hors chaîne et de ne mettre que des liens de vérification clés sur la chaîne ?
Et Fraud Proof peut être compris de cette façon, Prover et le vérificateur compilent d’abord un énorme circuit binaire, le réseau Bitcoin lors de l’exécution du circuit, il y a une prémisse que Prover pré-signe et nantit un certain actif Bitcoin, si Verifier vérifie que Prover est mauvais, il peut envoyer des transactions à la chaîne pour déclencher les conditions de déverrouillage UTXO du « programme » taptree sur la chaîne, en cas de succès, vérificateur Les actifs garantis de Prober peuvent être confisqués, ce qui équivaut à un processus à l’épreuve de la fraude.
Dans cette logique, il n’est pas difficile de comprendre pourquoi BitVM ne convient que pour deux parties avec un consensus convenu, c’est-à-dire que le schéma général du circuit doit être partagé avant l’exécution, la procédure de certification du fraudeur doit être exécutée pendant la période de validité et certains actifs doivent être mis en gage et présignés. ** Si les deux parties ne coopèrent pas dans un ensemble de consensus convenu hors chaîne, il est difficile de promouvoir une véritable exécution « contractuelle » en s’appuyant uniquement sur l’environnement d’exécution limité en chaîne du réseau Bitcoin. **
**Quels sont les obstacles à l’atterrissage de BitVM ? **
**1) BitVM ne convient actuellement qu’à la mise en œuvre d’opérations sur la chaîne entre deux parties qui conviennent d’un consensus, et l’environnement sur la chaîne n’est qu’un processus ouvert et transparent d’exécution des contrats. À l’heure actuelle, il ne peut être mis en œuvre qu’entre deux organismes contractants, et la mise en œuvre de N-N nécessite une conception logique technique plus complexe.
** 2) BitVM comment appliquer un seul script d’adresse taproot pour implémenter l’unité de programmation minimale, ne peut pas dépasser le cadre logique d’exécution de Bitcoin ** tel que hashlock, timelock, ne peut pas dépasser les conditions de stockage limitées, cas optimiste Une adresse taproot peut programmer des centaines de portes logiques, plus doivent combiner un grand nombre d’adresses pour la construction de taptree. Le problème est que l’exécution des conditions de déverrouillage prédéfinies de l’adresse racine du robinet nécessite des frais de mineur, et plus il y a de combinaisons d’adresses, plus le coût est élevé. À l’avenir, la technologie de canal bidirectionnel du Lightning Network pourrait réduire les coûts, mais en général, compter sur le réseau Bitcoin pour exécuter des circuits de porte logique est non seulement lent, mais aussi coûteux à penser.
**3) BitVM prend idéalement en charge des scénarios limités, ce qui est plus adapté à l’informatique hors chaîne lourde, et seul un certain consensus et transfert d’actifs doivent s’appuyer sur des scénarios en chaîne, tels que la disposition des actifs des jeux;
En général, BitVM est une idée d’ouverture de cerveau et très créative, mais selon son cadre technique d’implémentation d’atterrissage, on sait qu’elle sera limitée à l’étape de conception du livre blanc à court terme, et l’exploration de scénarios d’application à long terme et l’application d’atterrissage font toujours face à de grands défis. Pour illustrer avec un exemple très populaire: ** BitVM est comme construire un ordinateur géant plus grand qu’une pièce à l’époque où tout le monde peut utiliser des terminaux mobiles. **