jakiro
ありがとう：ありがとうMomir、Xinshuの記事の貴重な修正
>
TL;
-
ビットコインコアの変更は通常、次の理由に抵抗します。b）迅速なイノベーションではなく、安定性と予測可能性を重視します。c）多様なコミュニティでコンセンサスに到達することは困難です。
-
多くの項目は、ビットコインのスケーラビリティを解決する方法があり、ビットコインチェーン自体を変更する必要はないと主張しています。最近、ビットコイン「L2」のスーパーインフレを目撃しました。
-
多くの主張は誤解を招くマーケティングに過ぎませんが、プログラミングをビットコイン-bitvmにもたらすことができる新しいコンピューティングパラダイムも認識しています。
-
BITVMがサポートできる最良の拡張ソリューションは、Op-Rollupタイプのセキュリティ仮定に近いものです（ただし、追加の予防策があります）。
-
BITVMの成功と同様のイニシアチブは、テクノロジーの実現可能性、コミュニティのサポート、および他の「過度のマーケティング」プロジェクトの区別に依存します。
ビットコインはトレーディングブロックチェーンとして構築されており、そのスクリプト言語は意図的に攻撃面を最小限に抑え、ネットワークセキュリティを確保するために無国籍として制限されます。チューリングの完全性がないため、ビットコインのコアがビメディアによってアップグレードされない限り、ブロックチェーンにスマートコントラクトを直接導入することは不可能です。
従来のビットコインコミュニティは、次のようなものです。
-
物語は、無練力通貨ではなく価値ストレージにもっと注意を払っています。ビットコインコミュニティは、ネットワークをポイントからポイントへの支払いシステムとして維持することに集中するつもりであり、迅速な開発にセキュリティと分散化を行います。有名なビットコインホルダーであるマイケル・セイラーは、「誰もが彼らの小さな部分を使って、毎日の通貨を使用するのではなく、ビルの一部でコーヒーを買おうとしていません。
-
システムの安定性はイノベーションよりも優れています。優れた価値ストレージと見なされる資産の場合、予測可能性が不可欠です。たとえば、ネットワークに10の主要なアップグレードしかなく、各アップグレードの成功率が90％であっても、1つの障害の確率は約65％です。通常の事故の理論によると、「複雑なシステムでは、時々無視されることが多い小さな要因が主要なイベントを引き起こすことを期待する必要があります。したがって、ビットコインコミュニティの目標は常に潜在的なエラーを減らす方法でした。
-
多様化されたコミュニティ：多くのビットコイン保有者は、さまざまな角度からビットコインを理解し、さまざまな理由で大切にしています。多様化された分散型コミュニティでコンセンサスに到達することは、課題に満ちており、イノベーションのペースをさらに遅くします。ビットコインコミュニティの多様性を説明するために、碑文と儀式に対するコミュニティの反応を観察できます。ビットコインコミュニティの一部が注文の成功を祝うとき、それはビットコインのクリプトキッティの時代と見なされ、他の人はこれが修理すべき抜け穴であると考えています。
>
1.ビットコイン容量拡張スキームの急速な拡大
上記の状況を考慮して、なぜ突然多数の新しいビットコイン「L2」ソリューションに表示されるのですか？
最近の
-
スタックのようなサイドチェーンは、スマートコントラクト機能と広範なアプリケーションの範囲を提供しますが、これらのメカニズムは広範な受け入れを得ることが困難です。
-
RGB検証プロジェクトなどのクライアントは、メインネットワークのUTXOモデルを使用して、リンクの下でより複雑なトランザクションを作成しますが、ビットコインのメインネットワークとの相互作用には安定性がありません。
-
Lightningネットワークのような状態チャネルは、コアビットコイン開発者と密接に関連しており、より正統性許容範囲と見なされています。
-
BITVMは、フォークまたはビットコインプロトコルの変更を必要としません。
-
BITVMは、ビットコインで計算が実行されるのではなく、ビットコインネットワークのみを使用して紛争があることを確認するため、ビットコインブロックチェーンの詰まりを行いません。
-
>
-
ヴィッキーがチャレンジを停止した場合、それはパウロがパウロを受け取ったことを示し、ポールは一定の期間後にようやく資金を得る。
-
ヴィッキーがパウロが処刑に一貫性がないことを証明した場合、彼女はこれらの資金を求めることができます。
-
Vickyが実行の他の部分が間違っていると疑っている場合、彼女は別の課題を開始して、資金を次の応答アドレスに移動することができます。この目的のために、彼女は特定のTableafのイメージを明らかにしなければなりません。
-
実際、BITVMは理論的に複雑なチェーンプログラムを実行できますが、これらのリンクの下でプログラミングプログラムの複雑さの増加により、ビットコインで詐欺を実行する関連コストは急速に増加しています。過度のプログラムは、実行するために複数のブロックが必要になる場合があり、このプロセスをさらに複雑にします。
-
コンピューティングパワーを備えたマイニングプールは、BITVM（Lightning Networkに似ています）から盗まれる可能性があります。なぜなら、彼らは挑戦者の認証をレビューするために共謀したり、悪意のある俳優が挑戦者を無視するように賄briをすることができるからです。
-
BITVMのインタラクティブな性質により、悪意のある証明によりシステムが操作され、検証からそれを盗むことができます。攻撃は、次の仮定に従って構築できます。
-
Prooferは、トランザクションを開始することによりシーケンスの検証を開始します
-
疑いProoferの行動妥当性の検証は、課題に充実した対応料を含むチャレンジを開始します
-
Proversはコストを徴収することを選択し、同時に課題を無視し、検証プロセスでの責任の一部を満たさない
-
最終的に、BITVMは現在、概念的なフレームワークであり、操作を実行することはほとんど不可能な仮想コンピューターコンセプトです。BITVMの「畳み込み」は、2025年に2025年にいくつかのBITVMプログラムを見ると推定されています。BITVMを実行する技術的リスクを過小評価することはできません。
-
「ビットコイン可聴。」
-
「Bitvm。」
-
「Bitvm：Uma Ferramenta Para contratos ainda mais inteligentes -satsconf 2023 -youtube？」
-
Linus、ロビン。
-
「BITVMとは？Robin LinusとSuper Testnet（SLP520）-Youtubeを使用してください。」
-
BitVMを掘り下げて、チューリングを表現するためにパラダイムを表現します
-
Coinex Institution：BITVM、ビットコインメインネットhttps://www.busines-standard.com/content/press-ani/coinex-institution-bitvm-potentionalentialent of-smart contracts- -thebitcoin-mainnet-123122500619_1.html
>
BTC拡張ソリューションの第1世代
既存のソリューションと比較して、最近の拡張方法の小説は何ですか？私たちの意見では、最もエキサイティングな革新は、Bitcoin（BITVM経由）のエンコーディングプログラムから来ており、BTC（Babylonなど）を信頼する必要はありません。この記事では、前者に焦点を当てます。
>
>
2。BITVM-Overview
BITVMが何であるかを説明するには、最初にエンパワーメントを導入し、その原始的なビトコインタップルートアップグレードを刺激する必要があります。
Taprootは、ビットコイン契約の主要なアップグレードであり、2021年11月にアクティブ化されています。TapRootを介して、スクリプトのハッシュをデフォルトでチェーンに提出する必要があります。スクリプトのパスを実行するときは、チェーンへのパス上のスクリプトを送信するだけです。これにより、効率が向上するだけでなく、トランザクションのサイズはスクリプトのサイズでは増加しません）だけでなく、プライバシーを強化します（スクリプト全体ではなく、トランザクションのパスを公開するだけです）。
Taprootがアップグレードする大きな機会を得て、Robin LinusはBITVMの立ち上げをリードしました。これはビットコインエコシステムの画期的なイノベーションです。
BITVMは、TapRootを使用して、ネットワークコンセンサスルールを変更せずにアップグレードし、ビットコインでのチューリング契約の実現を促進します。楽観的なロールアップと同様に、（実行する代わりに）検証を可能にします。
BITVMは、複雑なチェーンを有効にすることにより、複雑なチェーンを有効にすることにより、チェーンで最小化されます（紛争がある場合にのみ紛争がある場合にのみ紛争が必要な場合にのみ）。
このプロセスには、TapRootアドレスでプログラムを提出し、チャレンジ応答メカニズムを使用して検証するバイナリ回路が含まれます。要約すると、BITVMはチューリングの完全なビットコイン契約を実装しています。最も重要なことは次のとおりです。
ビットコインにバイナリ回路を作成します
バイナリ回路の構築は、計算またはプログラムを実行するためのバイナリロジックドア（または、そうでない、またはそうでないなど）を使用する方法であり、計算された関数を実行できます。
BITVMは、コンピューターチップを介した電流の論理ドアのようなものです（これらの小さな構造は、電流の存在に基づいており、信号が通過するか、つまり、開口部または回転の複雑なシミュレーション、または閉じたものかを決定します）。ビットコインの言語。
本質的に、ゲームから完全なLinuxオペレーティングシステムまでのコンピュータープログラムは、これらの論理的なドアの複雑な配置の結果です。これらのバイナリ番号をロジックドア（ドアなどではなく）と組み合わせることにより、算術ロジック単位（ALU）やメモリシステムなど、さまざまな回路を作成しました。この基本的な技術により、広範なタスクを実行する手順を作成および実行できます。
>
出典：ロジックゲートをステップします（fは0を表し、tは1を表します）
BITVMの前提は、ビットコインスクリプトを使用して、チェーンの下で計算することを約束し（Taprootアドレスに計算されたハッシュを送信します）、プログラムを解決し、プロセスにビットコインを有効にすることにより、バイナリ回路の組み合わせを形成することですスクリプト、しかしスクリプト自体は、計算ロジック全体を実行しませんエッセンス
ビットコインスクリプトは、ビット価値のコミットメントを実現できます。曖昧動作は非常に重要です。個人が他の人が変更できない価値を提出できるため、不快になります。
この方法では、各入力位置を表すために2つのハッシュを使用することが含まれます。1つはデジタル0のハッシュ、もう1つは数字1です。誰かがプログラムを実行したいとき、彼らは入力を示すために元の画像（事前イメージ）を明らかにします。値は0または1に変換されます。これは、元の画像のハッシュ値を代表者0および1の2つのハッシュ値と比較することによって決定されます。
入力と出力が一致しない場合、検証はプロバイダーの資金を没収することにより、プロバイダーを罰する権利を持っています。
チャレンジ応答メカニズム
通常、検証がありますチェーンの下演奏、楽観的であると、証拠の証拠が正直であると仮定しています。論争の場合、プロセスはチェーンに転送され、チャレンジ応答のラウンドを開始しますエッセンスこのメカニズムにより、ほとんどの場合、計算と検証を効率的かつ低コストで実行できることが保証されます。違いがある場合にのみ、ブロックチェーンの言いようのない透明性を最終的な判決に使用する必要があります。
BITVMのチャレンジ応答メカニズムの動的には、ブロックチェーン上のプログラムの実行（VickyやPaulなど）を検証するシステムが含まれます。紛争があるとき、ヴィッキーはポールに彼のプログラムの実行の正しさを証明するように挑戦します。
ヴィッキーはバイナリ回路から論理的なドアを選択し、ポールは入力と出力を明らかにすることでこのドアを開けます。あいまいな状況を確認したり、ヴィッキーがさらなる課題の可能性を使い果たすまで、このプロセスは繰り返されます。ポールは、論理的なドアが開いたときに入力xが0だったと主張しているが、別の論理ドアが開いたときは1だったと主張すると漠然と言った。
パウロは、事前に署名したnicknameトランザクションを使用して、彼が主張する証拠を確保するために資金を預金する必要がありますエッセンスこれらのトランザクションは、進行中の相互作用に基づいて手続きを可能にするチェーンを作成し、資金は課題と対応アドレスの間で揺れ動いています。
応答アドレスの資金は、課題の結果に従って複数のパスに沿って流れる可能性があります。
このシステムは、ブロックチェーン上の紛争および検証手順の実行のための強固で透明な構造を提供します。経済的インセンティブを組み合わせることにより、実行とプログラムの結果の完全性と正確性を促進します。当初、この設計は、2つの当事者の課題反応メカニズムをサポートしていました。ただし、後で示すように、BITVMの貢献者は、多くの参加者がチャレンジャーとして参加できるようにするソリューションを見つけました。
二等分：紛争解決の効率を改善します
チェーンの検証の効率を改善するために、検証は二等分方法を使用できます。これは、事前に提出された論理ドアの高効率検索の方法であり、挑戦する必要がありますチャレンジプロセスは大幅に改善されました。問題の問題を2つに分割することにより、分割方法により、検証が潜在的なエラーの範囲を迅速に減らし、それにより紛争を解決するために必要なステップと時間を短縮できます。この方法は、特にエラーの場所を正確に決定する必要がある場合、複雑な検証プロセスを処理するときに、より効率的かつ直接的なパスを提供します。
以下では、単純化された例を使用して、分割方法の仕組みを説明します。
ポールとヴィッキーは数学的な質問をしています。タイトルは計算（（1+2）+（3+4））+（（5+6）+（7+8））です。
この計算を修正するプロセスは（（1+2）+（3+4））+（（5+6）+（7+8）=（3+7）+（11+15）= 10+26です。 = 36。
ポールが与えられた答えは35です。なぜなら、彼が計算する方法は（（1+2）+（3+4））+（（5+6）+（7+8））=（2+7）+（11であるためです。 +15）= 9+26 = 35。
ヴィッキーがポールに挑戦するとき、彼女は計算の最初の部分（つまり、論理ドアを開く）に伴う計算に挑戦する必要があります。 7+8））= 26）エッセンス
>
>
3.ビットフを使用して、信頼できるブリッジを構築します（信頼最大の橋）
BITVMの最初の実際の実装は、最小の信頼ビットコインブリッジを表すプログラムである可能性があります。ブリッジの詳細を分析することにより、BITVMプログラムの追加の複雑さをよりよく理解できます。以下に、ボブの共同ファウンダーであるアレクセイ・ザミヤチンの提案をまとめたものです。
まず、ビットコインがビットコインスクリプトを使用して、サイドチェーンライトクライアントを含むサイドチェーンブリッジプログラムを操作できる方法を作成する必要があります。
次に、構築する必要がありますリーグ/マルチシグこのネットワークは、BTCの転送と課題反応ゲームの実行を促進しています。同盟は、BITVM設定の一部として橋を運営することを約束しなければなりません。
同盟の最初の設定の複雑さは、各メンバーの数の増加とともに、各メンバーと相互作用しなければならないため、研究者は一定の制限を推測していますn = 100はn = 100ですn = 100はn = 100ですn = 100はn = 100ですn = 100はn = 100です。
>
OPロールアップとは異なり、後者にはNのサイズに制限がなく、このスキームによって提供されるセキュリティ保証は弱いです。ただし、提案された作業ソリューションには、Allianceメンバーの回転が含まれる可能性が高いため、Nは長期間の範囲内で100を超えるものになります。いつでも、これらの100人のメンバーのうちの1人が正直である限り、預金は安全です。悪意のある俳優を抱えていると仮定すると、彼らはいつでもチートすることが証明されている場合、彼らは挑戦することができます。
提携は、預金と撤退の管理と、いつでもサイドチェーンの状態を検証する責任があります。オペレーターと監視タワー（監視師）の両方が、正しい行動をやる気にさせ、誤った課題を防ぐために住宅ローンを提出する必要があります。
このスキームが最も厳しい畳み込みに準拠していないもう1つの理由は、ユーザーがサイドチェーンを一方的に終了することはできないが、1/Nセキュリティの仮定に基づいて提携で撤退を要求する必要があることです。
>
4。BITVMV2：BITVMはその許可のない検証（PermisionLessの検証）をサポートできますか？
3月25日、ロビン・ラインスはBITVM V2を導入しました。BITVM V2の提案の重要な変更は、課題検証の過程で論理ドアを1つずつ開けるのではなく、Prooferが出力ステータスとすべての中間結果を一度に提出する必要があることです。この変更により、BITVMは、これらのコミットメントに対する課題が暗号化の証拠によってサポートされなければならないことを保証します。挑戦者は論争の的となっている証明に特定の暗号化証明書を提供する必要があるため、このメカニズムは根拠のないゴミの課題から除外されます。
BITVM 2は、検証および課題プロセスへの無制限の参加を許可することにより、セキュリティ保証を複数の署名提携の制限に拡大し、BITVMを楽観的な畳み込みのセキュリティ仮定に近づけました。
しかし、橋の建設は、促進するために同盟のマルチシグネチャを依然として要求しています。つまり、アライアンスのメンバーは最悪の場合、彼らの資金を解凍するために彼らの身代みを強要しようとしました。これは、楽観的な畳み込みでは、ユーザーが仲介者の承認を得ずにL1を終了できるため、楽観的な畳み込みのための追加のセキュリティの仮定です。
>
基本チェーンに関する追加のセキュリティの仮定
>
5。BITVM制限
上で説明したように、BITVMが提供できる最良のソリューションは、楽観的な畳み込みに近いセキュリティの仮定です。保険預金の責任を負う同盟の複雑さとその活動の問題に加えて、BITVMに固有のいくつかの追加の複雑さには::
>
6。結論
Ethereum拡張ソリューションの評価を考慮すると、イーサリアムの市場価値の約15〜20％の潜在的な市場価値、つまりビットコインの第2層ソリューションの潜在的な市場価値は膨大かもしれません。
BITVMはまだ初期段階にありますが、本質的には不cru慎な仮想コンピューターコンセプトですが、さまざまなプロジェクトから多くの関心と声明を刺激しています。BITVMチームとは何の関係もない多くのプロジェクトは、彼らの意見では、ビットコインの有望な新しい分野での場所を占めることを望んで、壮大な発表をしようと急いでいます。しかし、より冷静な現実をより慎重にレビューしました：BITVMのGitHubアカウントには少数の貢献者しかなく、実際にグループに関与しているBitVM Builders Telegramグループはわずかです。
Bitcoinのスケーラビリティソリューションに従わなければならない重要な原則は、ビットコインのコアアーキテクチャが変更されていないことです（予測可能性の原則に従って）。この原則を順守し、コアを変更せずにビットコインにプログラム可能なレイヤーを提供する最初のパイオニアソリューションになりました。
この記事は、BITVM開発の初期段階で書かれています。たとえば、最近まで、ビットコインのZK畳み込みを実現するというアイデアは、ZK認証を検証するビットコインが存在しないようにするために必要な基本的な能力が存在しないため、空の塔と同じくらい非現実的であるように思われます。ただし、最近、BITVMの研究者はビットコインスクリプトの進捗状況を共有し、ビットコインのスターク検証装置につながる可能性があります。
ビットコイン拡張ソリューションの実現には、純粋な技術的課題が含まれます。現在の瞬間はこれらの革新のためのユニークな機会の窓を提供しますが、プロジェクトのプロジェクト数の急速なインフレと誤解を招く声明とマーケティングによってもたらされる重要なリスクは、より法的プロジェクトの見通しを破壊する可能性があります。
エコシステムがこの交差点にあるため、ビットコイン拡張ソリューションの成功がイーサリアムをコピーできるかどうかの問題は、技術的であるだけでなく、ブロックチェーンコミュニティのより広いダイナミクスに深く根付いています。結局のところ、コアイーサリアムコミュニティは、L2をEthereum拡張ルート図の重要な部分として選択しており、ビットコインコミュニティはそう言うことはできません。
参照
