【特集】ZeroSyncの共同創設者ロビン・リヌスがBitVMのホワイトペーパーを公開

BitVMによるBitcoinスマートコントラクトの能力強化

ZeroSyncのブロックチェーンデベロッパーであるロビン・リヌスは、ビットコインのスマートコントラクトの能力を向上させるためのBitVMのホワイトペーパーを公開しました。このホワイトペーパーによると、ビットコインのネットワークの合意ルールのソフトフォークのアップグレードは必要ありません。

BitVMが持つTuring完全性の意義と制限

BitVMによって、ビットコインは他のチェーンと同様にTuring完全になると、レビュアーのサム・パーカーは述べています。Turing完全性は、時間とリソースさえ与えれば任意の計算を行うことができるシステムを指します。 しかし、サム・パーカーは、「技術的な定義では、ビットコインは以前と変わらずTuring完全ではなく、実際に実行したいプログラムに対しては「十分にTuring完全」と言えるランタイムを与えられただけです」と述べています。

BitVMの応用と制限

ホワイトペーパーによると、Potにはゲームやビットコインの契約の妥当性証明の検証など、様々な応用が考えられます。また、ビットコインを他のチェーンとつなげたり、予測市場を構築したり、新しいスマートコントラクトの操作をエミュレートすることも可能です。

BitVMの仕組みと批判

BitVMは、オンチェーンでの実行時に比べて、オフチェーンで計算を実行することにより、ビットコインのスマートコントラクト機能を強化します。詐欺証拠、チャレンジ・レスポンスプロトコル、およびビットコインのTaprootアップグレードを利用して、BitVMは計算を検証します。 Shinobiという疑名を持つビットコインの教育者は、BitVMの潜在能力について楽観的ですが、オフチェーンのデータ管理のコストが非常に高いことと、BitVMが2つの当事者（プルーバーとヴェリファイアー）だけで機能することに制限があることを警告しています。 "@Blockchain" "@BitVM"