#BitVM: Potential Smart Contracts on #Bitcoin?

Selim — Fri, 03 Nov 2023 10:13:22 GMT

#BitVM: Potential Smart Contracts on #Bitcoin?

Let me tell you about BitVM, a new computational paradigm designed to express Turing-complete Bitcoin contracts, as explained in the white paper available here: https://bitvm.org/bitvm.pdf

This does not require any changes to the network's consensus rules. Instead of performing computations on Bitcoin, they are simply verified, in a similar manner to optimistic #rollups.

A prover makes a claim that a given function evaluates certain specific inputs to a specific output. If this claim is false, then the verifier can perform a succinct fraud proof and punish the prover. Using this mechanism, any computable function can be verified on Bitcoin.

A substantial commitment in a large program within a Taproot address requires significant amounts of off-chain computation and communication, but the resulting on-chain footprint is minimal. As long as both parties cooperate, they can perform arbitrarily complex off-chain computation and state without leaving a trace on the chain. On-chain execution is only necessary in the event of a dispute.

BitVM creates a new design space for more expressive Bitcoin contracts and off-chain computation. Potential applications include games like chess, go, or poker, and in particular, the verification of validity proofs in Bitcoin contracts. Moreover, it might be possible to link BTC to foreign chains, construct a prediction market, or emulate new opcodes.

The main downside of the model proposed here is that it is limited to a two-party framework, with a prover and a verifier. Another limitation is that, for both the prover and verifier, significant amounts of off-chain computation and communication are required to execute programs. However, these issues seem likely to be resolved through further research.

In conclusion, BitVM is an intriguing proposal that could potentially enrich the Bitcoin ecosystem by enabling the execution of more complex computations on the blockchain. However, like any innovation, it must be approached with caution. While promising, this technology still requires thorough research to confirm its viability and effectiveness. In summary, BitVM could represent a significant advancement for smart contracts on Bitcoin, but its true potential remains to be determined.

#BitVM : de potentiels smart contracts sur…

Selim — Fri, 03 Nov 2023 08:19:45 GMT

#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: https://bitvm.org/bitvm.pdf

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