Pour les contrats intelligents Turing-complete sur Bitcoin, l’utilisateur Twitter @robin_linus a proposé une nouvelle proposition - BitVM.
Il affirme que cela peut être réalisé sans aucune modification du code de Bitcoin.
Étant donné que le langage de script natif de Bitcoin est assez limité, c’est pourquoi nous devons étendre Bitcoin avec différentes couches.
Ces différentes couches agissent comme divers blocs de construction, apportant finalement plus de fonctionnalités à Bitcoin. Et aujourd’hui, nous avons une percée importante : les contrats intelligents.
Cette année, nous avons assisté à une augmentation spectaculaire des discussions sur les rollups sur Bitcoin, les sujets les plus courants étant la souveraineté, les preuves à divulgation nulle de connaissance et les rollups optimistes.
Ces solutions de mise à l’échelle s’exécutent sur L2, mais finissent par revenir à la chaîne principale par cryptographie.
Qu’est-ce que BitVM
BitVM utilise une technologie similaire aux Optimistic Rollups.
Les cumuls optimistes supposent généralement que la transaction est valide, mais allouent un certain temps pour la résolution des litiges.
En cas de litige, le rollup revient à son état précédent.
Le calcul réel du contrat intelligent de BitVM a lieu sur une couche distincte, et en cas de litige, ces litiges sont « enregistrés » sur la chaîne principale de Bitcoin. Par conséquent, toute l’activité BitVM se produit hors chaîne.
** (Note du traducteur : Un registre public et immuable est conservé sur la chaîne principale qui peut être utilisé pour résoudre les différends.) S’il n’y a pas de litige, toute l’activité BitVM aura lieu hors chaîne, c’est-à-dire en dehors de la chaîne Bitcoin principale. Cette activité hors chaîne peut être effectuée plus rapidement et la validité des transactions est assurée en utilisant la chaîne principale de Bitcoin comme base de sécurité et de fiabilité. ）**
BitVM dépend principalement de quatre composants**
Verrouillage de hachage
Verrouillage temporel
Arbre de Merkle
Multi-signature
Verrouillage de hachage
Un verrou de hachage est une clé cachée cryptographique générée par la personne initiant la transaction, ce qui garantit que la transaction ne peut être finalisée qu’après approbation de l’initiateur.
Verrouillage temporel
Une transaction sous un verrou temporel doit être exécutée après une certaine date, heure ou hauteur de bloc.
Merkletree
La branche de l’arbre de Merkle utilise la cryptographie pour enregistrer les résultats de l’exécution d’un script dans la blockchain, plutôt que d’enregistrer toutes les exécutions possibles d’un script.
Cela réduit considérablement l’espace occupé par les transactions, en particulier pour les plus complexes!
** Dans le passé, afin de vérifier la validité d’une transaction, il était nécessaire d’enregistrer tous les chemins d’exécution et résultats possibles, ce qui prenait beaucoup d’espace de stockage. Avec la ramification de l’arbre Merkle, nous n’enregistrons que les résultats de l’exécution réelle, et cette optimisation rend le traitement des transactions plus efficace tout en réduisant les besoins de stockage de la blockchain. ）**
Multisig
Multisig permet souvent à plusieurs parties de partager le contrôle d’un seul portefeuille. Sous la conception de BitVM, vous auriez une signature multiple en deux parties composée d’un prover et d’un vérificateur.
**Alors, comment fonctionne BitVM? **
Les vérificateurs et les validateurs compilent d’abord le contrat intelligent dans une carte d’instructions if-then qui contient tous les résultats possibles.
Pour économiser de l’espace, nous utilisons le format Merkle pour économiser sur la chaîne.
Les deux parties doivent également présigner une série de transactions de contestation et de réponse qui peuvent être utilisées en cas de litige!
Après avoir rempli ces conditions préalables, ils peuvent déposer Bitcoin dans une adresse Taproot, ce qui active le contrat intelligent et permet aux deux parties de commencer à échanger des données hors chaîne ou sur une couche distincte.
Les validateurs peuvent utiliser des verrous temporels pour forcer le voyageur à prendre une décision dans un délai défini.
Si le demandeur fait une fausse déclaration, le vérificateur peut la contester et récupérer son dépôt.
Cela garantit que tous les attaquants perdent leur dépôt et encourage un bon comportement.
Utilisations de BitVM
Maintenant que nous avons une compréhension de base de la structure du contrat BitVM, nous pouvons plonger un peu plus profondément dans ce à quoi il est utilisé.
Actuellement, il y a trois « Engagement » :
Engagement de valeur binaire
Engagement Logic Gate
Engagement de circuit binaire
Engagement bit-value
Cela permet aux approbateurs de définir une valeur de bit sur « 0 » ou « 1 » dans différents scripts et sorties de transactions inutilisées (UTXO), permettant à un script de s’exécuter sur plusieurs transactions, et ces 0 et 1 binaires sont la base de tous les calculs.
** (Note du traducteur : En contrôlant la valeur du bit, diverses opérations de calcul telles que le jugement conditionnel et les opérations logiques peuvent être réalisées.) Cette flexibilité permet à BitVM de prendre en charge des fonctions de contrats intelligents complexes de manière plus robuste. ）**
Promesse de porte logique
Cela permet l’utilisation de portes NAND et implémente la fonctionnalité d’instructions telles que AND, NOT et OR.
La porte AND AND génère une sortie basée sur l’état de deux entrées (telles que deux valeurs de bits).
** Le mécanisme d’engagement de porte logique fournit à BitVM des fonctions plus flexibles et plus puissantes en introduisant des portes ET NON, permettant aux contrats intelligents de prendre en charge des calculs complexes contenant des opérations logiques. ）**
Promesse de circuit binaire
Une fois les différentes portes logiques définies, vous pouvez utiliser des circuits binaires pour construire des systèmes numériques plus complexes.
Considérez-le comme une structure de contrat intelligent complète formée de plusieurs blocs de construction NAND.
Dans BitVM, de même, nous pouvons combiner plusieurs portes logiques pour former une structure de contrat intelligent complète, tout comme plusieurs portes ET NON forment une implémentation modulaire concrète. Cette approche modulaire de la construction rend la conception de contrats intelligents plus flexible et évolutive. ）**
Ressources de référence supplémentaires
C’est tout pour les détails techniques que nous pouvons couvrir jusqu’à présent, et il y a beaucoup de ressources supplémentaires à consulter si vous voulez plonger plus profondément ou en savoir plus sur BitVM.
Voici quelques ressources qui méritent d’être considérées :**
Changement d’attitude
Par observation, nous avons trouvé un phénomène intéressant :**
Il y a eu un énorme changement d’attitude envers la création d’applications sur Bitcoin via BitVM.
Beaucoup de gens ont réagi froidement ou même ouvertement opposés à l’introduction de contrats intelligents dans Bitcoin, mais maintenant ils ont commencé à exprimer leur soutien, ce qui est encourageant!
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: Inaugurer l’ère des contrats intelligents de Bitcoin
Pour les contrats intelligents Turing-complete sur Bitcoin, l’utilisateur Twitter @robin_linus a proposé une nouvelle proposition - BitVM.
Il affirme que cela peut être réalisé sans aucune modification du code de Bitcoin.
Étant donné que le langage de script natif de Bitcoin est assez limité, c’est pourquoi nous devons étendre Bitcoin avec différentes couches.
Ces différentes couches agissent comme divers blocs de construction, apportant finalement plus de fonctionnalités à Bitcoin. Et aujourd’hui, nous avons une percée importante : les contrats intelligents.
Cette année, nous avons assisté à une augmentation spectaculaire des discussions sur les rollups sur Bitcoin, les sujets les plus courants étant la souveraineté, les preuves à divulgation nulle de connaissance et les rollups optimistes.
Ces solutions de mise à l’échelle s’exécutent sur L2, mais finissent par revenir à la chaîne principale par cryptographie.
Qu’est-ce que BitVM
BitVM utilise une technologie similaire aux Optimistic Rollups.
Les cumuls optimistes supposent généralement que la transaction est valide, mais allouent un certain temps pour la résolution des litiges.
En cas de litige, le rollup revient à son état précédent.
Le calcul réel du contrat intelligent de BitVM a lieu sur une couche distincte, et en cas de litige, ces litiges sont « enregistrés » sur la chaîne principale de Bitcoin. Par conséquent, toute l’activité BitVM se produit hors chaîne.
** (Note du traducteur : Un registre public et immuable est conservé sur la chaîne principale qui peut être utilisé pour résoudre les différends.) S’il n’y a pas de litige, toute l’activité BitVM aura lieu hors chaîne, c’est-à-dire en dehors de la chaîne Bitcoin principale. Cette activité hors chaîne peut être effectuée plus rapidement et la validité des transactions est assurée en utilisant la chaîne principale de Bitcoin comme base de sécurité et de fiabilité. ）**
BitVM dépend principalement de quatre composants**
Verrouillage de hachage
Un verrou de hachage est une clé cachée cryptographique générée par la personne initiant la transaction, ce qui garantit que la transaction ne peut être finalisée qu’après approbation de l’initiateur.
Verrouillage temporel
Une transaction sous un verrou temporel doit être exécutée après une certaine date, heure ou hauteur de bloc.
Merkletree
La branche de l’arbre de Merkle utilise la cryptographie pour enregistrer les résultats de l’exécution d’un script dans la blockchain, plutôt que d’enregistrer toutes les exécutions possibles d’un script.
Cela réduit considérablement l’espace occupé par les transactions, en particulier pour les plus complexes!
** Dans le passé, afin de vérifier la validité d’une transaction, il était nécessaire d’enregistrer tous les chemins d’exécution et résultats possibles, ce qui prenait beaucoup d’espace de stockage. Avec la ramification de l’arbre Merkle, nous n’enregistrons que les résultats de l’exécution réelle, et cette optimisation rend le traitement des transactions plus efficace tout en réduisant les besoins de stockage de la blockchain. ）**
Multisig
Multisig permet souvent à plusieurs parties de partager le contrôle d’un seul portefeuille. Sous la conception de BitVM, vous auriez une signature multiple en deux parties composée d’un prover et d’un vérificateur.
**Alors, comment fonctionne BitVM? **
Les vérificateurs et les validateurs compilent d’abord le contrat intelligent dans une carte d’instructions if-then qui contient tous les résultats possibles.
Pour économiser de l’espace, nous utilisons le format Merkle pour économiser sur la chaîne.
Les deux parties doivent également présigner une série de transactions de contestation et de réponse qui peuvent être utilisées en cas de litige!
Après avoir rempli ces conditions préalables, ils peuvent déposer Bitcoin dans une adresse Taproot, ce qui active le contrat intelligent et permet aux deux parties de commencer à échanger des données hors chaîne ou sur une couche distincte.
Les validateurs peuvent utiliser des verrous temporels pour forcer le voyageur à prendre une décision dans un délai défini.
Si le demandeur fait une fausse déclaration, le vérificateur peut la contester et récupérer son dépôt.
Cela garantit que tous les attaquants perdent leur dépôt et encourage un bon comportement.
Utilisations de BitVM
Maintenant que nous avons une compréhension de base de la structure du contrat BitVM, nous pouvons plonger un peu plus profondément dans ce à quoi il est utilisé.
Actuellement, il y a trois « Engagement » :
Engagement bit-value
Cela permet aux approbateurs de définir une valeur de bit sur « 0 » ou « 1 » dans différents scripts et sorties de transactions inutilisées (UTXO), permettant à un script de s’exécuter sur plusieurs transactions, et ces 0 et 1 binaires sont la base de tous les calculs.
** (Note du traducteur : En contrôlant la valeur du bit, diverses opérations de calcul telles que le jugement conditionnel et les opérations logiques peuvent être réalisées.) Cette flexibilité permet à BitVM de prendre en charge des fonctions de contrats intelligents complexes de manière plus robuste. ）**
Promesse de porte logique
Cela permet l’utilisation de portes NAND et implémente la fonctionnalité d’instructions telles que AND, NOT et OR.
La porte AND AND génère une sortie basée sur l’état de deux entrées (telles que deux valeurs de bits).
** Le mécanisme d’engagement de porte logique fournit à BitVM des fonctions plus flexibles et plus puissantes en introduisant des portes ET NON, permettant aux contrats intelligents de prendre en charge des calculs complexes contenant des opérations logiques. ）**
Promesse de circuit binaire
Une fois les différentes portes logiques définies, vous pouvez utiliser des circuits binaires pour construire des systèmes numériques plus complexes.
Considérez-le comme une structure de contrat intelligent complète formée de plusieurs blocs de construction NAND.
Dans BitVM, de même, nous pouvons combiner plusieurs portes logiques pour former une structure de contrat intelligent complète, tout comme plusieurs portes ET NON forment une implémentation modulaire concrète. Cette approche modulaire de la construction rend la conception de contrats intelligents plus flexible et évolutive. ）**
Ressources de référence supplémentaires
C’est tout pour les détails techniques que nous pouvons couvrir jusqu’à présent, et il y a beaucoup de ressources supplémentaires à consulter si vous voulez plonger plus profondément ou en savoir plus sur BitVM.
Voici quelques ressources qui méritent d’être considérées :**
Changement d’attitude
Par observation, nous avons trouvé un phénomène intéressant :**
Il y a eu un énorme changement d’attitude envers la création d’applications sur Bitcoin via BitVM.
Beaucoup de gens ont réagi froidement ou même ouvertement opposés à l’introduction de contrats intelligents dans Bitcoin, mais maintenant ils ont commencé à exprimer leur soutien, ce qui est encourageant!