#BitVM : de potentiels smart contracts sur #Bitcoin ?
Laissez-moi vous parler de BitVM, un nouveau paradigme de calcul conçu pour exprimer des contrats Bitcoin Turing-complets, comme expliqué dans le white paper disponible ici:
Cela ne nécessite aucune modification des règles de consensus du réseau. Au lieu d'exécuter des calculs sur Bitcoin, ceux-ci sont simplement vérifiés, de manière similaire aux #rollups optimistes.
Un prouveur fait une affirmation selon laquelle une fonction donnée évalue certaines entrées spécifiques à une sortie spécifique. Si cette affirmation est fausse, alors le vérificateur peut effectuer une preuve de fraude succincte et punir le prouveur. En utilisant ce mécanisme, toute fonction calculable peut être vérifiée sur Bitcoin.
Un engagement important dans un grand programme dans une adresse Taproot nécessite d'importantes quantités de calcul et de communication hors chaîne, mais l'empreinte sur la chaîne qui en résulte est minimale. Tant que les deux parties collaborent, elles peuvent effectuer un calcul hors chaîne arbitrairement complexe et avec un état, sans laisser de trace dans la chaîne. L'exécution sur la chaîne n'est nécessaire qu'en cas de litige.
BitVM crée un nouvel espace de conception pour des contrats Bitcoin plus expressifs et des calculs hors chaîne. Les applications potentielles comprennent des jeux comme les échecs, le go ou le poker, et en particulier, la vérification des preuves de validité dans les contrats Bitcoin. De plus, il pourrait être possible de relier BTC à des chaînes étrangères, de construire un marché de prédiction ou d'émuler de nouveaux opcodes.
Le principal inconvénient du modèle proposé ici est qu'il est limité à un cadre à deux parties, avec un prouveur et un vérificateur. Une autre limitation est que, pour le prouveur comme pour le vérificateur, d'importantes quantités de calcul et de communication hors chaîne sont nécessaires pour exécuter des programmes. Cependant, ces problèmes semblent susceptibles d'être résolus par des recherches plus approfondies.
Pour conclure, BitVM est une proposition intéressante qui pourrait potentiellement enrichir l'écosystème Bitcoin en permettant l'exécution de calculs plus complexes sur la blockchain. Cependant, comme toute innovation, elle doit être approchée avec prudence. Bien que prometteuse, cette technologie nécessite encore des recherches approfondies pour confirmer sa viabilité et son efficacité. En somme, BitVM pourrait représenter une avancée notable pour les contrats intelligents sur Bitcoin, mais son potentiel réel reste à être déterminé.
#nostrfr
