@BabylonLabs_io のドキュメントを、チャートのタブを開いたまま見直していたとき、ある一文がずっと私を引き止めました。「Bitcoin-secured（ビットコインで担保された）」です。私はそれを単なる略語だと受け入れていました。ですが、保証がどこに位置しているのかを確認してみました。
Babylon Genesisは、ブロックを提案し投票するためにCometBFTバリデータを使い、Finality Providersはその上にBTCステークに裏付けられた最終確定性（finality）を追加します。読者は、Bitcoinのステーカーが取引の取り込みから最終的な決済まで、経路全体を管理していると当然のように考えてしまうかもしれません。しかし実際にはそうではありません。
Bitcoinの最終確定性は結末を確保するのであって、それを生み出したあらゆる選択をすべて確保するわけではありません。
それでも価値はあります。EOTSベースの最終確定性は、ステークされたBTCに現実のセキュリティ役割を与えます。しかし、バリデータがある取引を除外しながらも、有効なブロックを生成し続けられると想像した瞬間、その区別が細かすぎる説明に感じられなくなりました。最終確定性レイヤーは、そのチェーンを確実にすることはできますが、「それに値するすべての取引が含まれた」ことを証明することはできません。
これはBabylonだけの話ではありません。ハイブリッド・システムでは、順序付け（ordering）と最終確定（finalization）を分けることがよくあります。問題は、ユーザーが「$BABY のステーカーがCometBFTバリデータを支える一方で、BTCはFinality Providersに委任されている」ことを理解しているかどうかです。
私のチャートは開いたままです。「Bitcoin-secured」は、ひとつの保証というより、並んで存在する2つの信頼モデルのように見えてきました。
@BabylonLabs_io $BABY #baby