BitVMを発表：ビットコインのスマートコントラクト機能を強化

ブロックチェーン開発企業ZeroSyncがBitVMを発表、ビットコインのスマートコントラクト機能を強化

ブロックチェーン開発者ZeroSyncの共同設立者であるRobin Linus氏は、ビットコインのスマートコントラクト機能を強化することを目的としたソリューションであるBitVMを発表した。

ライナスは次のように説明している。「計算可能な関数であれば、ビットコイン上で検証することができます。BitVMは、潜在的なDeFiユースケースへの扉を開き、スケーラビリティを向上させる。

BitVMがチューリング完全性を実現、ビットコインの計算能力を拡大

BitVMはビットコインにチューリング完全性を導入し、十分な時間とリソースがあればどんな計算でも実行できることを意味する。しかし、あるレビュアーが指摘したように、ビットコインが実用上十分なチューリング完全性を持つようになったと言う方が正確だ。

BitVM'の重要性は、ビットコイン・スクリプトの歴史の中で最もエキサイティングな発見と呼んだ偽名のレビュアーによって反響を呼んでいる。

ゲーム、ビットコイン契約の検証、チェーンの橋渡しなどの応用が考えられる。

可能性のあるアプリケーションには、ゲーム、ビットコイン契約における有効性証明の検証、ビットコインと他のチェーンとの橋渡し、予測市場の構築、新しいスマートコントラクト操作などがある。

BitVMは、楽観的ロールアップや不正証明などのメカニズムによって計算を検証する。

Bitcoin'の組み込みスマートコントラクト機能は基本的なものだが、BitVMはオフチェーンで計算を実行することでそれを強化する。楽観的ロールアップ、不正証明、Bitcoin'のTaprootアップグレードなどのメカニズムを使用して計算を検証する。
BitVMのセットアップでは、プロヴァーは特定の関数が特定の出力を生成すると主張する。虚偽の場合、検証者は不正証明を発行し、証明者にペナルティを課すことができる。これにより、あらゆる計算可能な関数をビットコイン上で検証することができる。

専門家が指摘するように、オフチェーンのデータ管理コストや、2つの当事者のみで作業することの限界は、BitVMが直面する課題の1つである。とはいえ、BitVMはアップグレードを必要とせずにBitcoin上で追加のプログラマビリティを提供し、暗号通貨コミュニティにとってエキサイティングな開発となっている。

Ethereumのようなスマートコントラクト機能をBitcoinにもたらそうと努力しているプロトコルはBitVMだけでなく、Botanix EVM Layer 2とそのSpiderchainサイドチェーンソリューションもこの目標を追求している。ZeroSyncは最近、Starkベースのビットコイン用ZKクライアントを実装し、ネットワークの機能をさらに強化した。