> zkMIPSは、MIPS命令セットをベースにした最初のzkVMであり、成熟したMIPSエコシステムとZKMのZKPインフラストラクチャを組み合わせることで、zkVMの迅速な立ち上げが大幅に促進されました。 **文: Stephen D** ! [](https://img.gateio.im/social/moments-adf34afe737eaf864bd510c0b5619ee1) Bitcoinの第2層ネットワークは、ビットコイン取引速度を向上させるための技術的な解決策です。一部の取引をビットコインのメインチェーンからオフチェーン処理に移し、メインチェーンの負担を軽減し、取引処理速度を向上させ、取引コストを削減します。一般的な第2層ネットワーク技術には、ライトニングネットワーク（Lightning Network）、ステートチャネル（State Channels）、そしてzkRollupを組み合わせたBitVM2ブリッジなどがあります。 ## ビットコインの第2層zkRollupソリューションに直面する困難 セキュリティ: セキュリティはビットコインホルダーが最も気にする要素です。セキュリティにはネットワークの一貫性、活性、自己修復能力が考慮されます。一貫性、すなわち合意のセキュリティは、全体の台帳が改ざんされないことを決定し、活性は全体のネットワークの利用可能性を決定し、自己修復能力はネットワークが攻撃や異常から迅速に回復できることを決定します。BTCのzkRollupとして、BTCのセキュリティを継承するためには、zkRollupが二次層の取引を完全に約束し、それをビットコインマイナーが直接検証できる必要があります。ただし、BTCのスクリプトがCovenantを実装するのが難しいという問題があります。BitVM2、関数暗号化、そして最新のColliderScriptなどの有望なソリューションが登場しています。次に、二次層ネットワーク自体の活性と自己修復性の維持が挙げられます。現在、多くのzkRollupが中央集権的なシーケンサーの問題に直面しており、Rollupチェーン自体の中央集権化が非常に高く、他のプレイヤーが参加するための十分なインセンティブが不足しており、悪循環を形成しています。 プログラム可能性：プログラム可能性はBTCFiの基盤です。ブロックチェーンエコシステムで最も価値のある資産として、ビットコインは長い間価値保存ツールと見なされてきましたが、実際の利用や収益生成においては比較的制限されています。この制限は主にビットコインネットワークのスケーラビリティとスクリプト言語の固有の制限に起因し、複雑な分散型金融（DeFi）アプリケーションをサポートすることが困難になっています。ビットコイン保有者にとって、保有しているBTCから収益を得るためには、従来は資産を中央集権取引所に預けたり、ブリッジサービスを使用してパッケージトークン（例：WBTC）に変換するしか選択肢がありませんでした。しかし、これらの方法には中央集権プラットフォームによる信頼リスクなどの追加リスクが伴います。これはビットコインの分散性の本質とは相容れません。DeFi分野でのETHエコシステムの豊富なプロトコルとエコシステムを参考にして、EVMの導入が非常に重要になります。 ## GOAT Network：zkMIPSをベースにしたEVM互換のビットコイン第2レイヤーネットワーク GOATネットワークは、zkMIPS、BitVM2、および分散型シーケンサーに基づいてビットコインレイヤー2にセキュリティ強化を実装する最初の楽観的チャレンジプロトコルであり、ビットコインネットワークのセキュリティを実現するために1対nの仮定のみを必要としながら、100%のEVM互換性を実現します。 GOATネットワークには、次の主要なハイライトがあります。 **本当の分散化を実現する**：革新的な許可なし分散シーケンサープロトコルにより、すべてのクロスチェーンメッセージ、アセットのペッグイン・ペッグアウト、および第2層ネットワークのステートロールアップなどが、BitcoinとGOAT Networkで合意に達することができます。これにより、単一の中央集権的エンティティへの依存を完全に排除し、本当の分散化を確保します。また、この革新により、BitVM2プロトコルの信頼設定が大幅に簡素化され、同等のセキュリティ保護も提供されます。 **ビットコインの完全な検証をフォークする必要はありません**：GOATネットワークは、分散型シーケンサーとBitVM2プロトコルを組み合わせることで、BitVM2プロトコルを実用的にし、ビットコインスクリプトを直接検証し、ビットコインのネイティブセキュリティを継承します。GOATのスケーリング基盤としてのzkMIPSは、100%のEVM互換性を実現するだけでなく、proofの生成と検証プロセスを大幅に加速し、GOATネットワークに前例のない生態系拡張能力をもたらします。 **二重の罰則機構による安全性の確保**：GOATネットワークは、ビットコインLayer 2ネットワークで「二重の罰則」機構を導入した先駆けです。この機構は、ビットコインの検証レイヤーのネイティブな罰則機構とGOATの共通合意レイヤーの罰則機構を組み合わせ、GOAT Rollupプロトコルにおける不正行為の発生確率を効果的に低下させます。この機構は特に、二重署名、ノードのシャットダウン、シーケンサーノードの不正な請求攻撃などの潜在的リスクに対処し、ネットワークの安全性と信頼性を全面的に向上させます。 この技術革新は、ビットコインの第2層ネットワークが分散化の新時代に向けて歩みを進め、ブロックチェーン技術の未来に新たな業界基準を確立することを意味します。 zkMIPSとBitVM2の組み合わせにおいて、zkMIPSはGroth16証明の速度を最適化すると同時に、検証段階においても多くの最適化を行っており、具体的には、ビットコインスクリプト計算のMiller Loopの複雑さをHintsテクニックを利用して著しく低減し、Verifier回路の分割によるコミットメント、zkVMのpublic inputのコミットメントの圧縮、分散型シーケンサーによるpublic inputとスーパーブロックが同じブランチ上にあることを保証することで、BitVM2の楽観的な挑戦プロセスの複雑さを一定程度簡素化しています。 ## zkMIPS: MIPS 命令セットに基づく最初の zkVM zkMIPSは、MIPS命令セットに基づく最初のzkVMであり、MIPS命令セットは成熟した命令セットであり、その利点には次のものがあります： * MIPS32R2の命令はRISCV32IMよりも豊富で、J/JALシリーズの命令では、ジャンプの長さは最大256MiBに達し、静的リンクのシナリオでは非常に便利にジャンプを実現できます。MIPS32r2には豊富なビット操作命令があり、これらの命令はRISCV32IMには存在せず、B拡張を使用する必要があります。MIPS32r2にはMOVN/MOVZなどの条件選択命令があり、多くのシナリオでジャンプ命令の代わりに使用でき、パフォーマンスを向上させ、命令数を減らすことができます。MIPS32r2には整数乗算加算命令があり、パフォーマンスを向上させ、命令数を減らすことができます。MIPS32r2にはSEH、SEB符号拡張命令があり、charおよびshort型のデータに対して簡単に符号拡張操作を行うことができます。* MIPS32r2 のすべてのディレクティブは、全体として非常に成熟しており、20 年以上にわたって広く使用されており、個々のモジュールの相互接続性に問題はありません。 また、著作権紛争の結果として発生する可能性のある混乱もありません。 モノリシックな実装の命令セットではなく、拡張機能の実装として、拡張機能間の慣らし運転に問題が生じる可能性があります。 拡張機能の組み合わせによっては、不完全または大きすぎる問題が発生する場合があります。 MIPS取扱説明書には、コマンドの動作についてより明確で詳細な説明も記載されています。 ブロックチェーン上では、MIPSはMIPS VMをベースにしたOptimismのFraud Profにうまく適用されています。 zkMIPS は完全に機能します。 開発者は、プログラムがRust、Golangなどの広く使用されている高級言語で記述されていることを証明できます。 zkMIPSは、ZKM Playground、ZKM-Project-Template、ZKM Proof Networkなど、使いやすい開発キットを幅広く提供し、プロジェクトや開発者が参入障壁を非常に低くしてZKP製品を構築できるよう支援します。 zkMIPS は、開発者が回路ロジックの安全性を確保するのに役立ちます。 開発者は、最も馴染みのある言語を使用して任意のアプリケーションを実装し、ゼロ知識証明回路の監査から免れることができます。 伝統的な ZKP 開発とは異なり、zkMIPS は厳密に MIPS32r2 命令セットに従っており、開発者がアプリケーションのビジネスロジックをすでに審査している場合、回路を再審査する必要はありません。 ZKMは、開発者やプロジェクトがプルーフを迅速に生成し、水平スケーリングをサポートし、リアルタイムのプルーフ生成を真に実現するためのプルーフネットワークを提供します。 これにより、開発者やプロジェクトは、分散型Web3アプリケーションを非常に効率的に構築することができます。 さらに、zkMIPS は、プリコンパイルなど、さまざまな極端な証明アクセラレーション スキームもサポートしています。 zkMIPSは、業界をリードするユースケースを備えており、GOAT NetworkのビットコインL2やMetisのHybridRollupなど、複数の革新的なzkVMサポートユースケースをサポートしています。また、zkLLM、zkIdentityなど、さまざまな業界でzkVMテクノロジーの広範な採用を推進しています。 zkMIPSは、MIPS命令セットをベースにした最初のzkVMであり、成熟したMIPSエコシステムとZKMのZKPインフラストラクチャを組み合わせることで、zkVMの迅速な導入が大幅に促進されています。
zkMIPS BTC Layer 2 GOATネットワーク開始
文: Stephen D
!
Bitcoinの第2層ネットワークは、ビットコイン取引速度を向上させるための技術的な解決策です。一部の取引をビットコインのメインチェーンからオフチェーン処理に移し、メインチェーンの負担を軽減し、取引処理速度を向上させ、取引コストを削減します。一般的な第2層ネットワーク技術には、ライトニングネットワーク（Lightning Network）、ステートチャネル（State Channels）、そしてzkRollupを組み合わせたBitVM2ブリッジなどがあります。
ビットコインの第2層zkRollupソリューションに直面する困難
セキュリティ: セキュリティはビットコインホルダーが最も気にする要素です。セキュリティにはネットワークの一貫性、活性、自己修復能力が考慮されます。一貫性、すなわち合意のセキュリティは、全体の台帳が改ざんされないことを決定し、活性は全体のネットワークの利用可能性を決定し、自己修復能力はネットワークが攻撃や異常から迅速に回復できることを決定します。BTCのzkRollupとして、BTCのセキュリティを継承するためには、zkRollupが二次層の取引を完全に約束し、それをビットコインマイナーが直接検証できる必要があります。ただし、BTCのスクリプトがCovenantを実装するのが難しいという問題があります。BitVM2、関数暗号化、そして最新のColliderScriptなどの有望なソリューションが登場しています。次に、二次層ネットワーク自体の活性と自己修復性の維持が挙げられます。現在、多くのzkRollupが中央集権的なシーケンサーの問題に直面しており、Rollupチェーン自体の中央集権化が非常に高く、他のプレイヤーが参加するための十分なインセンティブが不足しており、悪循環を形成しています。
プログラム可能性：プログラム可能性はBTCFiの基盤です。ブロックチェーンエコシステムで最も価値のある資産として、ビットコインは長い間価値保存ツールと見なされてきましたが、実際の利用や収益生成においては比較的制限されています。この制限は主にビットコインネットワークのスケーラビリティとスクリプト言語の固有の制限に起因し、複雑な分散型金融（DeFi）アプリケーションをサポートすることが困難になっています。ビットコイン保有者にとって、保有しているBTCから収益を得るためには、従来は資産を中央集権取引所に預けたり、ブリッジサービスを使用してパッケージトークン（例：WBTC）に変換するしか選択肢がありませんでした。しかし、これらの方法には中央集権プラットフォームによる信頼リスクなどの追加リスクが伴います。これはビットコインの分散性の本質とは相容れません。DeFi分野でのETHエコシステムの豊富なプロトコルとエコシステムを参考にして、EVMの導入が非常に重要になります。
GOAT Network：zkMIPSをベースにしたEVM互換のビットコイン第2レイヤーネットワーク
GOATネットワークは、zkMIPS、BitVM2、および分散型シーケンサーに基づいてビットコインレイヤー2にセキュリティ強化を実装する最初の楽観的チャレンジプロトコルであり、ビットコインネットワークのセキュリティを実現するために1対nの仮定のみを必要としながら、100%のEVM互換性を実現します。 GOATネットワークには、次の主要なハイライトがあります。
本当の分散化を実現する：革新的な許可なし分散シーケンサープロトコルにより、すべてのクロスチェーンメッセージ、アセットのペッグイン・ペッグアウト、および第2層ネットワークのステートロールアップなどが、BitcoinとGOAT Networkで合意に達することができます。これにより、単一の中央集権的エンティティへの依存を完全に排除し、本当の分散化を確保します。また、この革新により、BitVM2プロトコルの信頼設定が大幅に簡素化され、同等のセキュリティ保護も提供されます。
ビットコインの完全な検証をフォークする必要はありません：GOATネットワークは、分散型シーケンサーとBitVM2プロトコルを組み合わせることで、BitVM2プロトコルを実用的にし、ビットコインスクリプトを直接検証し、ビットコインのネイティブセキュリティを継承します。GOATのスケーリング基盤としてのzkMIPSは、100%のEVM互換性を実現するだけでなく、proofの生成と検証プロセスを大幅に加速し、GOATネットワークに前例のない生態系拡張能力をもたらします。
二重の罰則機構による安全性の確保：GOATネットワークは、ビットコインLayer 2ネットワークで「二重の罰則」機構を導入した先駆けです。この機構は、ビットコインの検証レイヤーのネイティブな罰則機構とGOATの共通合意レイヤーの罰則機構を組み合わせ、GOAT Rollupプロトコルにおける不正行為の発生確率を効果的に低下させます。この機構は特に、二重署名、ノードのシャットダウン、シーケンサーノードの不正な請求攻撃などの潜在的リスクに対処し、ネットワークの安全性と信頼性を全面的に向上させます。
この技術革新は、ビットコインの第2層ネットワークが分散化の新時代に向けて歩みを進め、ブロックチェーン技術の未来に新たな業界基準を確立することを意味します。
zkMIPSとBitVM2の組み合わせにおいて、zkMIPSはGroth16証明の速度を最適化すると同時に、検証段階においても多くの最適化を行っており、具体的には、ビットコインスクリプト計算のMiller Loopの複雑さをHintsテクニックを利用して著しく低減し、Verifier回路の分割によるコミットメント、zkVMのpublic inputのコミットメントの圧縮、分散型シーケンサーによるpublic inputとスーパーブロックが同じブランチ上にあることを保証することで、BitVM2の楽観的な挑戦プロセスの複雑さを一定程度簡素化しています。
zkMIPS: MIPS 命令セットに基づく最初の zkVM
zkMIPSは、MIPS命令セットに基づく最初のzkVMであり、MIPS命令セットは成熟した命令セットであり、その利点には次のものがあります：
zkMIPS は完全に機能します。 開発者は、プログラムがRust、Golangなどの広く使用されている高級言語で記述されていることを証明できます。 zkMIPSは、ZKM Playground、ZKM-Project-Template、ZKM Proof Networkなど、使いやすい開発キットを幅広く提供し、プロジェクトや開発者が参入障壁を非常に低くしてZKP製品を構築できるよう支援します。
zkMIPS は、開発者が回路ロジックの安全性を確保するのに役立ちます。 開発者は、最も馴染みのある言語を使用して任意のアプリケーションを実装し、ゼロ知識証明回路の監査から免れることができます。 伝統的な ZKP 開発とは異なり、zkMIPS は厳密に MIPS32r2 命令セットに従っており、開発者がアプリケーションのビジネスロジックをすでに審査している場合、回路を再審査する必要はありません。
ZKMは、開発者やプロジェクトがプルーフを迅速に生成し、水平スケーリングをサポートし、リアルタイムのプルーフ生成を真に実現するためのプルーフネットワークを提供します。 これにより、開発者やプロジェクトは、分散型Web3アプリケーションを非常に効率的に構築することができます。 さらに、zkMIPS は、プリコンパイルなど、さまざまな極端な証明アクセラレーション スキームもサポートしています。
zkMIPSは、業界をリードするユースケースを備えており、GOAT NetworkのビットコインL2やMetisのHybridRollupなど、複数の革新的なzkVMサポートユースケースをサポートしています。また、zkLLM、zkIdentityなど、さまざまな業界でzkVMテクノロジーの広範な採用を推進しています。
zkMIPSは、MIPS命令セットをベースにした最初のzkVMであり、成熟したMIPSエコシステムとZKMのZKPインフラストラクチャを組み合わせることで、zkVMの迅速な導入が大幅に促進されています。