単語: ZKBase (formerly ZKSpace)この設計の主な目的は、BitcoinBlockchain用に特別にカスタマイズされたレイヤー2ネットワークを構築することです。 ビットコイン レイヤ 2 ネットワークは、ビットコイン エコシステム内でより高速で効率的なトランザクションに対する需要の高まりに対応するように設計されています。 特定のトランザクション処理タスクをメインネットから解放することで、ビットコインメインネットの混雑を緩和し、トランザクション確認に必要な時間を大幅に短縮することを目的としています。ビットコイン仮想マシン(VM)の計算能力に固有の制限を考えると、私たちの設計ではBitVMを使用しており、ネットワークの2つのレイヤー間でスマートコントラクトを実行する可能性を示しています。 BitVM は、チャレンジとレスポンスのシナリオを活用することで、従来の制限を打ち破るビットコインネットワークプログラマビリティへの新しいアプローチを示します。ビットコイン レイヤ 2 ネットワークのセキュリティと整合性を強化するために、この設計では、ゼロ知識証明 (ZK) テクノロジを統合して状態検証を実装しています。 これらの高度な暗号化技術により、BitcoinMainnetは、基盤となるトランザクションのプライバシーと機密性を損なうことなく、レイヤー2ネットワークの状態を効果的に検証できます。 ゼロ知識証明は、トランザクションの詳細を明らかにすることなく情報を検証し、レイヤー2ネットワークの整合性を確保しながらプライバシーを確保します。全体として、この設計は、基盤となるトランザクションのプライバシーとセキュリティを維持しながら、レイヤー2ネットワーク、スマートコントラクト実行のためのBitVMの採用、状態検証のためのゼロ知識証明技術の統合を通じて、ビットコインネットワークのスケーラビリティ、速度、効率を向上させることを目的としています。#### 0、アーキテクチャレイヤー2ブロックチェーンはアカウントモデルを使用します。 ブロックチェーン全体の状態は、Halo2プルーフシステムに基づいてzkVMによって検証されます。 レイヤー2の状態はBitcoinMainnetネットワークと同期され、すべてのレイヤー2の状態はBitVMによって実装されたゼロ知識証明(ZKP)バリデーターによって検証されます。 UTXOを使用して、すべてのレイヤー2状態を追跡します。 さらに、信頼できるOracleマシンを使用して、ロック/ロック解除スクリプトの入力/出力のみがレイヤー2プロトコルに従うようにします。#### 1、レイヤー2評議会および信頼できるOracleマシン選ばれたユーザ グループで構成されるレイヤ 2 委員会は、レイヤ 2 ネットワークの全体的な健全性を監督します。 プロトコルに問題が発生した場合、委員会は介入してプロトコルを停止し、すべてのユーザーの資産を保護することができます。 信頼できるOracle Machineは、入力/出力UTXOとスクリプトの正確性を検証するために重要です。#### 2、レイヤー 1 からレイヤー 2レイヤー2プロトコルを表すために、ビットコインネットワーク上に単一のTaprootAddressを作成します。 UTXOが作成され、TaprootAddressに転送されると、対応するUTXOは実際にBitcoinメインネットからレイヤー2に「チャージ」されます。プロトコルまたはコミッションアカウントは、レイヤー2に「預けられた」すべてのUTXO資産の「転送」権限を具体的に処理します。 プロトコル、信頼できるOracle Machineまたは委員会アカウントのみが、預けられたUTXOの所有権を変更できます。 Trusted Oracle Machineは、正しい出力UTXOスクリプトが所有権移転トランザクションに含まれることを保証します。#### 3. Bitcoinメインネットに同期されたブロックすべてのレイヤー2ネットワークのステータスは、ブロックの形でBitcoinMainnetに同期されます。 ブロックの場合、次の情報を提供する必要があります。· 特定のブロック内のトランザクション。· これらの取引を適用した後の新しいアカウントステータス。· 現在のブロック状態にある新しいUTXO(プロトコルが壊れていても常に準備ができています)。· ビットコインネットワークの情報をブロックします。· ゼロ知識証明(前のブロックから現在のブロックへの状態遷移を正当化) これらすべてのBitcoinMainnetのステータスは、UTXOトランザクション履歴に記録されます。**3.1 構成証明の詳細**ゼロ知識証明は、レイヤー2の正しさを検証するために使用されます。 次のことを実証してみてください。· レイヤ 2 のブロック トランザクションは正しく署名されます。· すべてのアカウントの新しいステータスが正しく処理されます。· BitcoinMainnetの特定のブロックより前のすべてのトップアップトランザクションは正しく処理されます。· 現在の状態では、すべてのUTXO割り当てが正しく作成されています。**3.2 ブロック情報チャレンジ**BitcoinMainnetで指定されたブロック情報の正確性を確保するために、チャレンジアンドレスポンススキームを使用しています。 証明者は、ロックされた時間内に特定のブロックの後にさらにN個のブロックがあることを指摘することで、ブロック情報の正確性を証明できます。**3.3 ZKP 回線と BitVM の機能強化**BitVMの論文に示されているように、ZKP検証は、2人の参加者が挑戦できるバイナリ回路として表すことができます。 署名済みトランザクションでは、チャレンジを送信して回線のビットプロミスを取得できます。 0 と 1 が明らかになった場合、チャレンジは成功です。 BitVM を使用して ZKP を検証するには、次の 2 つの点に注意する必要があります。同じバイナリ回路は、一度だけ使用されることを約束します。 つまり、同じ回路コミットメントが複数のブロックに使用されると、1ビットコミットメントの0と1が明らかになる場合があります。ZKP検証では、回路の充足に加えて「共通入力」をチェックする必要があります。これら2つの欠点に対処するために、レイヤ2の各ブロックに対して、一意のバイナリ回路が作成され、「共通入力」が固定されます。 ビットコインスクリプトは、パブリック入力のハッシュとチェックを処理するために使用されます。 正しいパブリック入力ビット・コミットメントは、信頼できるOracleマシンによってチェックされます。 巡回区の満足度に関する限り、委員会のどのメンバーもそれに異議を唱える権利があります。#### 4. レイヤー2からBitcoinMainnetへ資産は、引き出しと強制引き出しの2つの方法でレイヤー2からBitcoinMainnetに移動できます。 出金トランザクションはレイヤー2からトリガーされ、ZKP回線はトランザクションが期待どおりに処理されることを保証します。 強制出金取引は、ビットコインネットワークから開始されます。**4.1 出金および強制出金取引**レイヤー2からトリガーされた引き出しトランザクションは、ZKP回線を使用して検証され、トランザクションが正しく処理されていることを確認します。 ビットコインネットワークから開始された強制出金トランザクションは、次のブロック状態の更新に含める必要があります。**4.2 UTXOの割り当て**ブロックの状態が更新されると、UTXOの割り当てが同期されます。 プロトコルが停止した場合、すべてのユーザー資産のセキュリティを確保するために、すべてのUTXOを適用することができます。 これらのUTXOのうち、撤回された、または強制的に撤回されたUTXOのみがプロトコルによって署名されます。#### 5. レイヤ 2 の出口ZKPが未検証になると、委員会はプロトコルを中止し、撤退しなければなりません。 プロトコルが停止した場合、委員会はレイヤー2の最新のブロック状態で指定されたすべてのUTXO割り当てに署名します。 これらの署名により、ユーザーは損失なくレイヤー2から撤退できます。
ZKByteの簡単な分析:ZKとBitVmに基づくビットコインレイヤー2拡張ソリューション
単語: ZKBase (formerly ZKSpace)
この設計の主な目的は、BitcoinBlockchain用に特別にカスタマイズされたレイヤー2ネットワークを構築することです。 ビットコイン レイヤ 2 ネットワークは、ビットコイン エコシステム内でより高速で効率的なトランザクションに対する需要の高まりに対応するように設計されています。 特定のトランザクション処理タスクをメインネットから解放することで、ビットコインメインネットの混雑を緩和し、トランザクション確認に必要な時間を大幅に短縮することを目的としています。
ビットコイン仮想マシン(VM)の計算能力に固有の制限を考えると、私たちの設計ではBitVMを使用しており、ネットワークの2つのレイヤー間でスマートコントラクトを実行する可能性を示しています。 BitVM は、チャレンジとレスポンスのシナリオを活用することで、従来の制限を打ち破るビットコインネットワークプログラマビリティへの新しいアプローチを示します。
ビットコイン レイヤ 2 ネットワークのセキュリティと整合性を強化するために、この設計では、ゼロ知識証明 (ZK) テクノロジを統合して状態検証を実装しています。 これらの高度な暗号化技術により、BitcoinMainnetは、基盤となるトランザクションのプライバシーと機密性を損なうことなく、レイヤー2ネットワークの状態を効果的に検証できます。 ゼロ知識証明は、トランザクションの詳細を明らかにすることなく情報を検証し、レイヤー2ネットワークの整合性を確保しながらプライバシーを確保します。
全体として、この設計は、基盤となるトランザクションのプライバシーとセキュリティを維持しながら、レイヤー2ネットワーク、スマートコントラクト実行のためのBitVMの採用、状態検証のためのゼロ知識証明技術の統合を通じて、ビットコインネットワークのスケーラビリティ、速度、効率を向上させることを目的としています。
0、アーキテクチャ
レイヤー2ブロックチェーンはアカウントモデルを使用します。 ブロックチェーン全体の状態は、Halo2プルーフシステムに基づいてzkVMによって検証されます。 レイヤー2の状態はBitcoinMainnetネットワークと同期され、すべてのレイヤー2の状態はBitVMによって実装されたゼロ知識証明(ZKP)バリデーターによって検証されます。 UTXOを使用して、すべてのレイヤー2状態を追跡します。 さらに、信頼できるOracleマシンを使用して、ロック/ロック解除スクリプトの入力/出力のみがレイヤー2プロトコルに従うようにします。
1、レイヤー2評議会および信頼できるOracleマシン
選ばれたユーザ グループで構成されるレイヤ 2 委員会は、レイヤ 2 ネットワークの全体的な健全性を監督します。 プロトコルに問題が発生した場合、委員会は介入してプロトコルを停止し、すべてのユーザーの資産を保護することができます。 信頼できるOracle Machineは、入力/出力UTXOとスクリプトの正確性を検証するために重要です。
2、レイヤー 1 からレイヤー 2
レイヤー2プロトコルを表すために、ビットコインネットワーク上に単一のTaprootAddressを作成します。 UTXOが作成され、TaprootAddressに転送されると、対応するUTXOは実際にBitcoinメインネットからレイヤー2に「チャージ」されます。
プロトコルまたはコミッションアカウントは、レイヤー2に「預けられた」すべてのUTXO資産の「転送」権限を具体的に処理します。 プロトコル、信頼できるOracle Machineまたは委員会アカウントのみが、預けられたUTXOの所有権を変更できます。 Trusted Oracle Machineは、正しい出力UTXOスクリプトが所有権移転トランザクションに含まれることを保証します。
3. Bitcoinメインネットに同期されたブロック
すべてのレイヤー2ネットワークのステータスは、ブロックの形でBitcoinMainnetに同期されます。 ブロックの場合、次の情報を提供する必要があります。
· 特定のブロック内のトランザクション。
· これらの取引を適用した後の新しいアカウントステータス。
· 現在のブロック状態にある新しいUTXO(プロトコルが壊れていても常に準備ができています)。
· ビットコインネットワークの情報をブロックします。
· ゼロ知識証明(前のブロックから現在のブロックへの状態遷移を正当化) これらすべてのBitcoinMainnetのステータスは、UTXOトランザクション履歴に記録されます。
3.1 構成証明の詳細
ゼロ知識証明は、レイヤー2の正しさを検証するために使用されます。 次のことを実証してみてください。
· レイヤ 2 のブロック トランザクションは正しく署名されます。
· すべてのアカウントの新しいステータスが正しく処理されます。
· BitcoinMainnetの特定のブロックより前のすべてのトップアップトランザクションは正しく処理されます。
· 現在の状態では、すべてのUTXO割り当てが正しく作成されています。
3.2 ブロック情報チャレンジ
BitcoinMainnetで指定されたブロック情報の正確性を確保するために、チャレンジアンドレスポンススキームを使用しています。 証明者は、ロックされた時間内に特定のブロックの後にさらにN個のブロックがあることを指摘することで、ブロック情報の正確性を証明できます。
3.3 ZKP 回線と BitVM の機能強化
BitVMの論文に示されているように、ZKP検証は、2人の参加者が挑戦できるバイナリ回路として表すことができます。 署名済みトランザクションでは、チャレンジを送信して回線のビットプロミスを取得できます。 0 と 1 が明らかになった場合、チャレンジは成功です。 BitVM を使用して ZKP を検証するには、次の 2 つの点に注意する必要があります。
同じバイナリ回路は、一度だけ使用されることを約束します。 つまり、同じ回路コミットメントが複数のブロックに使用されると、1ビットコミットメントの0と1が明らかになる場合があります。
ZKP検証では、回路の充足に加えて「共通入力」をチェックする必要があります。
これら2つの欠点に対処するために、レイヤ2の各ブロックに対して、一意のバイナリ回路が作成され、「共通入力」が固定されます。 ビットコインスクリプトは、パブリック入力のハッシュとチェックを処理するために使用されます。 正しいパブリック入力ビット・コミットメントは、信頼できるOracleマシンによってチェックされます。 巡回区の満足度に関する限り、委員会のどのメンバーもそれに異議を唱える権利があります。
4. レイヤー2からBitcoinMainnetへ
資産は、引き出しと強制引き出しの2つの方法でレイヤー2からBitcoinMainnetに移動できます。 出金トランザクションはレイヤー2からトリガーされ、ZKP回線はトランザクションが期待どおりに処理されることを保証します。 強制出金取引は、ビットコインネットワークから開始されます。
4.1 出金および強制出金取引
レイヤー2からトリガーされた引き出しトランザクションは、ZKP回線を使用して検証され、トランザクションが正しく処理されていることを確認します。 ビットコインネットワークから開始された強制出金トランザクションは、次のブロック状態の更新に含める必要があります。
4.2 UTXOの割り当て
ブロックの状態が更新されると、UTXOの割り当てが同期されます。 プロトコルが停止した場合、すべてのユーザー資産のセキュリティを確保するために、すべてのUTXOを適用することができます。 これらのUTXOのうち、撤回された、または強制的に撤回されたUTXOのみがプロトコルによって署名されます。
5. レイヤ 2 の出口
ZKPが未検証になると、委員会はプロトコルを中止し、撤退しなければなりません。 プロトコルが停止した場合、委員会はレイヤー2の最新のブロック状態で指定されたすべてのUTXO割り当てに署名します。 これらの署名により、ユーザーは損失なくレイヤー2から撤退できます。