「これは実際にビットコイン上で十分効率的にできることが分かりました — ビットコインスクリプトのあらゆる狂った制約の中で。」- BitVM & @ZeroSync_の創設者@robin_linus House of ZK Radio #86で、ロビン・ライナスはBitVMがどのようにしてビットコインの認証制限をブロッカーとして除去しているかを解説し、誤ったSNARKを否定する方が正しいものを完全に検証するよりもコストが安い理由と、その非対称性がビットコインの制限されたスクリプト環境内でSNARKを楽観的に検証するためにどのように活用されているかを説明しました。 これがBitVMを実用的にしている仕組みです。そして、信頼最小化されたビットコインブリッジが、正直な多数派モデルではなく、実存的誠実さの仮定に頼ることができる理由でもあります。 ロビンとの全文の対談をご覧いただき、これらの原始的な要素がどのように新たなビットコイン規模のシステムを解放していくのかを辿ります。