ビットコインのチューリング完全スマートコントラクトについて、Twitterユーザーの@robin\_linusは新しい提案を提案しました-BitVM。彼は、これはビットコインのコードを変更することなく達成できると主張しています。 ビットコインのネイティブスクリプト言語は非常に限られているため、さまざまなレイヤーでビットコインを拡張する必要があります。これらの異なるレイヤーはさまざまな構成要素として機能し、最終的にはビットコインにより多くの機能をもたらします。 そして今日、私たちは重要なブレークスルーを持っています:スマートコントラクト。今年は、ビットコインのロールアップに関する議論が劇的に増加し、最も一般的なトピックは主権、ゼロ知識証明、楽観的ロールアップです。これらのスケーリングソリューションはL2で実行されますが、最終的には暗号的にメインチェーンに戻ります。 **BitVM とは**BitVM は、オプティミスティック ロールアップと同様のテクノロジを使用します。楽観的ロールアップは通常、トランザクションが有効であると想定しますが、紛争解決に一定の期間を割り当てます。紛争が発生した場合、ロールアップは以前の状態に戻ります。BitVMの実際のスマートコントラクトの計算は別のレイヤーで行われ、紛争が発生した場合、これらの紛争はビットコインのメインチェーンに「保存」されます。 したがって、すべての BitVM アクティビティはオフチェーンで発生します。**(翻訳者注:パブリックで不変の記録は、紛争の解決に使用できるメインチェーンに保持されます。 紛争がない場合、すべてのBitVMアクティビティはオフチェーン、つまりメインビットコインチェーン外で行われます。 このオフチェーン活動はより迅速に実行でき、ビットコインのメインチェーンをセキュリティと信頼性の基礎として使用することで、トランザクションの有効性が保証されます。 ）** BitVMは主に4つのコンポーネントに依存しています***ハッシュロック*タイムロック*マークルの木*マルチ署名 **ハッシュロック**ハッシュロックは、トランザクションを開始した人によって生成される暗号化の隠しキーであり、イニシエータからの承認後にのみトランザクションを完了できるようにします。 **タイムロック**タイムロック下のトランザクションは、特定の日付、時刻、またはブロックの高さの後に実行する必要があります。 **マークルツリー**マークルツリーブランチは、スクリプトのすべての可能な実行を記録するのではなく、暗号化を使用してスクリプトの実行結果をブロックチェーンに記録します。これにより、特により複雑なトランザクションの場合、トランザクションが占めるスペースが大幅に削減されます。**以前は、トランザクションの有効性を検証するために、考えられるすべての実行パスと結果を記録する必要があり、多くのストレージスペースを占有していました。 マークルツリー分岐では、実際の実行結果のみを記録し、この最適化により、トランザクション処理がより効率的になり、ブロックチェーンのストレージ要件も削減されます。 ）** **マルチシグ**マルチシグでは、多くの場合、複数の当事者が単一のウォレットの制御を共有できます。 BitVMの設計では、証明者と検証者で構成される2つの部分からなるマルチシグネチャがあります。 **では、BitVMはどのように機能しますか? **証明者とバリデーターは、最初にスマートコントラクトをコンパイルして、考えられるすべての結果を含むif-thenステートメントマップにします。スペースを節約するために、マークル形式を使用してオンチェーンを節約します。両当事者はまた、紛争が発生した場合に使用できる一連の異議申し立ておよび回答トランザクションに事前に署名する必要があります。これらの前提条件を完了すると、スマートコントラクトをアクティブ化し、両当事者がオフチェーンまたは別のレイヤーでデータの交換を開始できるようにするTaprootアドレスにビットコインを預けることができます。バリデーターは、タイムロックを使用して、証明者に定義された時間内に決定を強制することができます。証明者が虚偽の主張をした場合、検証者はこれに異議を唱え、預金を取り戻すことができます。これにより、攻撃者がデポジットを失い、良い行動を奨励します。 **BitVM の使用**BitVMコントラクトの構造の基本を理解したので、BitVMコントラクトの使用目的についてもう少し深く掘り下げることができます。**現在、3つの「コミットメント**」:*があります**ビット値のコミットメント* ロジックゲートコミットメント*バイナリ回路のコミットメント **ビット値のコミットメント**これにより、承認者は異なるスクリプトや未使用のトランザクション出力 (UTXO) でビット値を "0" または "1" に設定でき、1 つのスクリプトを複数のトランザクションで実行でき、これらのバイナリ 0 と 1 がすべての計算の基礎となります** (訳者注:ビット値を制御することで、条件判定や論理演算など様々な計算演算が実現できます。 この柔軟性により、BitVMは複雑なスマートコントラクト機能をより堅牢にサポートできます。 ）** **論理ゲートの約束**これにより、NAND ゲートの使用が可能になり、AND、NOT、OR などのステートメントの機能が実装されます。AND AND ゲートは、2 つの入力 (2 つのビット値など) の状態に基づいて出力を生成します。**論理ゲートコミットメントメカニズムは、AND NOTゲートを導入することでBitVMにより柔軟で強力な機能を提供し、スマートコントラクトが論理演算を含む複雑な計算をサポートできるようにします。 ）** **バイナリ回路の約束**さまざまな論理ゲートを定義したら、バイナリ回路を使用して、より複雑なデジタルシステムを構築できます。これは、複数のNANDビルディングブロックによって形成された完全なスマートコントラクト構造と考えてください。BitVMでも同様に、複数のAND NOTゲートが具体的なモジュラー実装を形成するのと同じように、複数の論理ゲートを組み合わせて完全なスマートコントラクト構造を形成できます。 このモジュール式の構築アプローチにより、スマートコントラクトの設計がより柔軟でスケーラブルになります。 ）** **その他の参考資料**これまでにカバーできる技術的な詳細はこれですべてであり、BitVMについてさらに深く掘り下げたり、詳細を知りたい場合は、チェックする追加のリソースがたくさんあります。検討する価値のあるリソースを次に示します。 **態度の変化**観察により、興味深い現象が見つかりました。BitVMを介してビットコイン上でアプリケーションを構築することに対する態度に大きな変化がありました。多くの人々がビットコインスマートコントラクトの導入に冷たく反応したり、公然と反対したりしましたが、今では支持を表明し始めており、励みになります!
BitVM:ビットコインスマートコントラクト時代の到来を告げる
ビットコインのチューリング完全スマートコントラクトについて、Twitterユーザーの@robin_linusは新しい提案を提案しました-BitVM。
彼は、これはビットコインのコードを変更することなく達成できると主張しています。
ビットコインのネイティブスクリプト言語は非常に限られているため、さまざまなレイヤーでビットコインを拡張する必要があります。
これらの異なるレイヤーはさまざまな構成要素として機能し、最終的にはビットコインにより多くの機能をもたらします。 そして今日、私たちは重要なブレークスルーを持っています:スマートコントラクト。
今年は、ビットコインのロールアップに関する議論が劇的に増加し、最も一般的なトピックは主権、ゼロ知識証明、楽観的ロールアップです。
これらのスケーリングソリューションはL2で実行されますが、最終的には暗号的にメインチェーンに戻ります。
BitVM とは
BitVM は、オプティミスティック ロールアップと同様のテクノロジを使用します。
楽観的ロールアップは通常、トランザクションが有効であると想定しますが、紛争解決に一定の期間を割り当てます。
紛争が発生した場合、ロールアップは以前の状態に戻ります。
BitVMの実際のスマートコントラクトの計算は別のレイヤーで行われ、紛争が発生した場合、これらの紛争はビットコインのメインチェーンに「保存」されます。 したがって、すべての BitVM アクティビティはオフチェーンで発生します。
(翻訳者注:パブリックで不変の記録は、紛争の解決に使用できるメインチェーンに保持されます。 紛争がない場合、すべてのBitVMアクティビティはオフチェーン、つまりメインビットコインチェーン外で行われます。 このオフチェーン活動はより迅速に実行でき、ビットコインのメインチェーンをセキュリティと信頼性の基礎として使用することで、トランザクションの有効性が保証されます。 ）
BitVMは主に4つのコンポーネントに依存しています**
*ハッシュロック *タイムロック *マークルの木 *マルチ署名
ハッシュロック
ハッシュロックは、トランザクションを開始した人によって生成される暗号化の隠しキーであり、イニシエータからの承認後にのみトランザクションを完了できるようにします。
タイムロック
タイムロック下のトランザクションは、特定の日付、時刻、またはブロックの高さの後に実行する必要があります。
マークルツリー
マークルツリーブランチは、スクリプトのすべての可能な実行を記録するのではなく、暗号化を使用してスクリプトの実行結果をブロックチェーンに記録します。
これにより、特により複雑なトランザクションの場合、トランザクションが占めるスペースが大幅に削減されます。
以前は、トランザクションの有効性を検証するために、考えられるすべての実行パスと結果を記録する必要があり、多くのストレージスペースを占有していました。 マークルツリー分岐では、実際の実行結果のみを記録し、この最適化により、トランザクション処理がより効率的になり、ブロックチェーンのストレージ要件も削減されます。 ）
マルチシグ
マルチシグでは、多くの場合、複数の当事者が単一のウォレットの制御を共有できます。 BitVMの設計では、証明者と検証者で構成される2つの部分からなるマルチシグネチャがあります。
**では、BitVMはどのように機能しますか? **
証明者とバリデーターは、最初にスマートコントラクトをコンパイルして、考えられるすべての結果を含むif-thenステートメントマップにします。
スペースを節約するために、マークル形式を使用してオンチェーンを節約します。
両当事者はまた、紛争が発生した場合に使用できる一連の異議申し立ておよび回答トランザクションに事前に署名する必要があります。
これらの前提条件を完了すると、スマートコントラクトをアクティブ化し、両当事者がオフチェーンまたは別のレイヤーでデータの交換を開始できるようにするTaprootアドレスにビットコインを預けることができます。
バリデーターは、タイムロックを使用して、証明者に定義された時間内に決定を強制することができます。
証明者が虚偽の主張をした場合、検証者はこれに異議を唱え、預金を取り戻すことができます。
これにより、攻撃者がデポジットを失い、良い行動を奨励します。
BitVM の使用
BitVMコントラクトの構造の基本を理解したので、BitVMコントラクトの使用目的についてもう少し深く掘り下げることができます。
現在、3つの「コミットメント」:があります
*ビット値のコミットメント
ビット値のコミットメント
これにより、承認者は異なるスクリプトや未使用のトランザクション出力 (UTXO) でビット値を "0" または "1" に設定でき、1 つのスクリプトを複数のトランザクションで実行でき、これらのバイナリ 0 と 1 がすべての計算の基礎となります
** (訳者注:ビット値を制御することで、条件判定や論理演算など様々な計算演算が実現できます。 この柔軟性により、BitVMは複雑なスマートコントラクト機能をより堅牢にサポートできます。 ）**
論理ゲートの約束
これにより、NAND ゲートの使用が可能になり、AND、NOT、OR などのステートメントの機能が実装されます。
AND AND ゲートは、2 つの入力 (2 つのビット値など) の状態に基づいて出力を生成します。
論理ゲートコミットメントメカニズムは、AND NOTゲートを導入することでBitVMにより柔軟で強力な機能を提供し、スマートコントラクトが論理演算を含む複雑な計算をサポートできるようにします。 ）
バイナリ回路の約束
さまざまな論理ゲートを定義したら、バイナリ回路を使用して、より複雑なデジタルシステムを構築できます。
これは、複数のNANDビルディングブロックによって形成された完全なスマートコントラクト構造と考えてください。
BitVMでも同様に、複数のAND NOTゲートが具体的なモジュラー実装を形成するのと同じように、複数の論理ゲートを組み合わせて完全なスマートコントラクト構造を形成できます。 このモジュール式の構築アプローチにより、スマートコントラクトの設計がより柔軟でスケーラブルになります。 ）**
その他の参考資料
これまでにカバーできる技術的な詳細はこれですべてであり、BitVMについてさらに深く掘り下げたり、詳細を知りたい場合は、チェックする追加のリソースがたくさんあります。
検討する価値のあるリソースを次に示します。
態度の変化
観察により、興味深い現象が見つかりました。
BitVMを介してビットコイン上でアプリケーションを構築することに対する態度に大きな変化がありました。
多くの人々がビットコインスマートコントラクトの導入に冷たく反応したり、公然と反対したりしましたが、今では支持を表明し始めており、励みになります!