バビロンはチートするバリデータを捕まえません。代わりに、それぞれ自身の署名がその役割を担います。

この仕組みは「Extractable One-Time Signatures（抽出可能なワンタイム署名）」と呼ばれます。最終性プロバイダが同じ高さで矛盾する2つのブロックに署名した場合、数学そのものが、その秘密鍵をネットワークに露出させます。

ほとんどのスラッシング設計は動き方が違うので、読み返しました。まず不正行為を検知する仕組みが必要で、その後に別プロセスが（事後的に）罰するものです。

ここでは、チートと証拠が同時に到着します。鍵が露出したら、プロトコルはオラクルも、オフチェーンの報告も、何が証拠に当たるかを決める委員会も介さずに、直接スラッシングを発動できます。

ペナルティは調べるまで、そのプロバイダにだけ着地するのだと思い込んでいました。さらに、そのプロバイダに委任されたビットコインは、それがプロバイダ自身が出資（ステーク）した分だけに限られず、全てスラッシャブルになります。

これによりリスクの捉え方が完全に変わります。最終性プロバイダは自前の資本をあまり持っていないことが多いので、本当のエクスポージャーは、彼らに委任した相手にあります。

見落としていたもう一つの結果もあります。二重署名をして捕まったプロバイダはトゥームストーン（墓標化）され、投票権の回復が永久に禁じられます。1回罰金を科されただけで続行できるわけではありません。

ふだんの癖で、EigenLayerのアプローチと比べてみました。この仕組みはEthereumのスマートコントラクトのロジックに依存していますが、こちらは署名方式そのものにより近く、直接Bitcoinに結びついています。

それでも、ここで重要なのは正直な注意点だと思います。エレガントな暗号は集中リスクを消し去るわけではありません。委任が慎重に分散されていない場合、誰かのミスの代金を実際に払うのが「誰か」が変わるだけです。

@BabylonLabs_io #baby $BABY