今週、これまでに取り上げてきたビットコインのステーキング内容のほかに、ステーキング・ライトペーパーに書かれたトランザクションモデルも通読しました。というのも、「4つのトランザクション」であることが、すべての上位レベルの説明の根底にある実際の機械的な骨格だからです。

ステーキング・トランザクションは、BTCをバルトのUTXOにロックします。アンボンディング・トランザクションは、ステーカーが自発的に開始して「良い道（happy path）」から離脱するためのもので、設計上、即時ではなく数日かかります。スラッシング・トランザクションは、ステーカー、または委任されたファイナリティ・プロバイダーが、抽出された鍵によってトリガーされたにもかかわらず二重署名した場合に実行されるものです（誰かの裁量によるものではありません）。アンスタキング・トランザクションは、アンボンディング後、あるいは紛争（ディスピュート）ウィンドウが完了した時点で資金を解放する最終ステップです。

4つのトランザクションには2つの可能な経路があります。自発的な退出か、強制的なペナルティか。いずれの場合でも、ステーキングとアンスタキングが共有される入口と出口です。

私は実際に、「ステークしてから、いずれアンスタークする」という見方よりも、「4つの個別のトランザクション」として捉える方が、どこに実際のセキュリティ保証があるのかがより明確になると思います。スラッシング・トランザクションが、強制（enforcement）の仕事を担います。残りの3つは、その周辺の帳簿処理に近いです。

まだ分かっていないのは、アンボンディング期間の厳密な長さが固定のプロトコルパラメータなのか、それともステーカーごと、あるいはファイナリティ・プロバイダーとの関係ごとに変わりうるのかという点です。

#ShareYourThoughts
$ALLO $EUL
@BabylonLabs_io $BABY #baby