Auteur: Haotian, Crypto Observer Source: X (Twitter) @tmel0211
Le livre blanc « 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 tout calculer de manière Turing?
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 ? Preuve contre la fraudeQu’est-ce que la méthode de preuve? 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.
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 coût 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, l’instruction d’unité minimale est en effet complétée par le nœud complet Bitcoin, et l’adresse taproot est superposée à l’infini, et la possibilité de combinaison infinie peut superposer beaucoup de calculs complexes. D’une certaine manière, il n’est pas exagéré de dire qu’il s’agit d’une machine Turing-complète. Mais la superposition illimitée d’adresses taproot ne fera qu’augmenter la consommation de coûts, théoriquement il est possible de tout réaliser dans Turing, mais ce n’est pas pratique.
Par conséquent, la complétude 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 l’engagement Optimism Rollup et Fraud Proof and Bit mentionné dans le livre blanc, qu’est-ce que Logic Gate? Étant donné qu’un seul espace racine et une logique de code exécutable sont limités, n’est-ce pas une idée de Rollup 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?
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 exécute le circuit, il y a une prémisse que Prover doit pré-signer et mettre en gage un certain actif Bitcoin, si Verifier vérifie que Prover est mauvais, il peut envoyer des transactions à la chaîne de la même manière pour déclencher la condition de déverrouillage UTXO du « programme » taptree sur la chaîne, en cas de succès. Le vérificateur peut confisquer la garantie de Prover, qui est 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 de circuit total doit être partagé avant l’exécution, la procédure de preuve de fraude 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 pour s’engager 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 à la mise en œuvre de BitVM ? **
BitVM ne convient actuellement qu’aux opérations en 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 sujets contractuels, et la mise en œuvre de N-N nécessite une conception logique technique plus complexe.
BitVM comment appliquer un script d’adresse taproot unique 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 à regrouper
Un grand nombre d’adresses ont été utilisées pour construire un 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.
BitVM prend idéalement en charge des scénarios limités, ce qui est plus adapté à l’informatique à 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 de mise en œuvre, 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 encore face à de grands défis. Pour illustrer avec un exemple très populaire: BitVM est comme construire un superordinateur plus grand qu’une pièce à l’époque où tout le monde peut utiliser des terminaux mobiles.
Remarque: L’interprétation ci-dessus ne s’applique qu’à la compréhension du cadre technique général de BitVM, afin que tout le monde puisse comprendre la logique technique qui la sous-tend, la méthode de pratique spécifique peut être biaisée, s’il existe des maîtres techniques qui ont une recherche approfondie des détails techniques.
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.
BitVM sera-t-il capable de révolutionner les capacités de contrat intelligent de Bitcoin ?
Auteur: Haotian, Crypto Observer Source: X (Twitter) @tmel0211
Le livre blanc « 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 tout calculer de manière Turing?
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 ? Preuve contre la fraudeQu’est-ce que la méthode de preuve? 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.
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 coût 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, l’instruction d’unité minimale est en effet complétée par le nœud complet Bitcoin, et l’adresse taproot est superposée à l’infini, et la possibilité de combinaison infinie peut superposer beaucoup de calculs complexes. D’une certaine manière, il n’est pas exagéré de dire qu’il s’agit d’une machine Turing-complète. Mais la superposition illimitée d’adresses taproot ne fera qu’augmenter la consommation de coûts, théoriquement il est possible de tout réaliser dans Turing, mais ce n’est pas pratique.
Par conséquent, la complétude 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 l’engagement Optimism Rollup et Fraud Proof and Bit mentionné dans le livre blanc, qu’est-ce que Logic Gate? Étant donné qu’un seul espace racine et une logique de code exécutable sont limités, n’est-ce pas une idée de Rollup 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?
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 exécute le circuit, il y a une prémisse que Prover doit pré-signer et mettre en gage un certain actif Bitcoin, si Verifier vérifie que Prover est mauvais, il peut envoyer des transactions à la chaîne de la même manière pour déclencher la condition de déverrouillage UTXO du « programme » taptree sur la chaîne, en cas de succès. Le vérificateur peut confisquer la garantie de Prover, qui est 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 de circuit total doit être partagé avant l’exécution, la procédure de preuve de fraude 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 pour s’engager 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 à la mise en œuvre de BitVM ? **
BitVM ne convient actuellement qu’aux opérations en 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 sujets contractuels, et la mise en œuvre de N-N nécessite une conception logique technique plus complexe.
BitVM comment appliquer un script d’adresse taproot unique 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 à regrouper
Un grand nombre d’adresses ont été utilisées pour construire un 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.
En général, BitVM est une idée d’ouverture de cerveau et très créative, mais selon son cadre technique de mise en œuvre, 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 encore face à de grands défis. Pour illustrer avec un exemple très populaire: BitVM est comme construire un superordinateur plus grand qu’une pièce à l’époque où tout le monde peut utiliser des terminaux mobiles.
Remarque: L’interprétation ci-dessus ne s’applique qu’à la compréhension du cadre technique général de BitVM, afin que tout le monde puisse comprendre la logique technique qui la sous-tend, la méthode de pratique spécifique peut être biaisée, s’il existe des maîtres techniques qui ont une recherche approfondie des détails techniques.