なぜ今、ビットコイン上で本物のzkRollupを構築することが、この分野で最も難しいエンジニアリング課題の一つなのでしょうか? イーサリアムでは、zkRollupsが証明を公開し、オンチェーンの検証者契約がその有効性を検証できます。そしてイーサリアムのロールアップと同様に、ほとんどの場合、ビットコインのzkRollupはオフチェーンで高速に動作します。幸せな道。 しかしビットコインにはそのようなオンチェーン証明認証がないため、証明を投稿してビットコインに同じ方法で検証させることはできません。だからこそ、ビットコインzkRollupには最悪の場合に備えた「裁判」モードも必要です。不幸な道。 誰かが不正をしたりオフラインになった場合、システムは楽観的なチャレンジプロセスに切り替わります。ビットコインは、あらかじめ署名された取引と時間制限を使ってあらかじめ定義された紛争ゲームを強制し、無効な主張が否定されるかチーターがタイムアウトするまで続きます。 だからこそ、これを構築するのが難しいのです。単にロールアップを作るだけでなく、ビットコインが実際に実行できる最悪のケースの執行メカニズムを設計しているのです。 そして、GOAT BitVM2メインネットが提供しているのが、ビットコインで強制力のある紛争パスを提供し、安全なスケーリングを実用的にしつつ、ビットコイン自体の出口も強制的に保つものです。 BitVM2アーキテクチャ👇の理解に関する新シリーズで、私たちが不幸な道にどのように向けているかを詳しく学びましょう