House of ZK Radio #86 では、@robin_linus (@ZeroSync_) が BitVM を作成した理由と、実際にどのように機能するかを説明します。 ロビンはまず、ビットコインがピアツーピア決済システムとしてどのように設計されたかを説明しますが、10分ブロックと10分あたり~4MBは、グローバルに使用するには十分とは言えません。彼は、ビットコインを別のスマート コントラクト チェーンに変えるのではなく、既存のオペコードのみを使用してビットコイン上で zkRollup スタイルのブリッジと L2 を取得する方法を求めていました。 それがBitVMの核となるアイデアにつながりました:楽観的検証 - SNARKをオンチェーンで完全に検証する代わりに、悪い数独ソリューションで2つの競合するセルを指すなど、無効な証明を反証できるだけで済みます。 次に、BitVMが、主張を投稿するオペレーターと、不正を簡潔に証明できるチャレンジャーの2つの役割を中心にシステムを構築することで、ビットコインスクリプトの非常に限定された32ビットの乗算なし環境を一般的な検証レイヤーに変える方法を説明します。信頼モデルは「正直な多数派」から「正直な挑戦者 1 人で十分」に移行し、ソフトフォークなしで信頼を最小限に抑えたブリッジとより表現力豊かな L2 への扉を開きます。 BitVM の進化 (BitVM1 → BitVM2 → BitVM3)、文字化けした回路と Glock、彼が BitVM を「ハックの上のハックの山」と呼ぶ理由、そしてこれらすべてがビットコインネイティブな方法でビットコインをスケーリングするためのより広範なロードマップにどのように適合するかについては、エピソード全体をご覧ください。