AlizehAli

$SKYAI

@BabylonLabs_io 私は、バビロンのステークがアンボンディングを完了したら、BTCは基本的にステーカーの手元に戻るのだと思っていました。

しかし、実際に引き出し（withdrawal）トランザクションが何を必要とするのかを読んでみたのです。

バビロンのステーキングのライフサイクルには4種類のトランザクションがあります。ステーキング、アンボンディング、スラッシング、そして引き出し（withdrawal）です。アンボンディングはロックを終了させるだけで、コインをどこかへ移動させるわけではありません。

それが、私がほとんど見落としてしまったステップで、正直なところ確かめるために2回読み返しました。$BANK

引き出しトランザクションは、それ自体が別のトランザクションです。その唯一の要件は、その入力（input）が、すでにタイムロックが期限切れになっているステーキング、アンボンディング、またはスラッシングの出力（output）を指していることです。

つまり資金はそこに置かれたまま、アンロックされない状態ではなく、解放された状態で待機し続けます。誰かが実際にその引き出しを送信（broadcast）するまで、動くわけではありません。

自動的に起きる仕組みがあるわけでもありません。キーパー（keeper）もいなければ、自動スイープ（auto-sweep）もありません。あなたの代わりにスイープしてくれる人もいません。

ステーカーは、「アンボンディングされた（unbonded）」が「使用可能（spendable）」になる前に、その4つ目のトランザクションを構築して送信する必要があります。2つの状態、2つのトランザクション。そして多くの解説は、最初のものの後で止まってしまいます。

これは欠陥だと言いたいわけじゃありません。単に、誰も触れないままの未完のステップなだけです。

ほとんどの説明で引き出しステップを省くから、みんなが自分のBTCが勝手に動くのだと思ってしまうのか、それとも「unbonded」はそれより先の意味まで既に理解されているのでしょうか？ $BABY

「アンボンディング（unbonded）」は実際に「引き出された（withdrawn）」と同じなのでしょうか？

「unbonded」は、あなたのBTCがもう移動したことを意味するのですか？

@BabylonLabs_io #baby #baby

$BICO Bitcoin Supercharged Networks の最新の集計数を調べに行った — @BabylonLabs_io $BABY — が、何も見つからなかった。

その代わりに出てきたのは: Union がコミットして、統合を前倒しするために 25 million BABY を引き取った。BOB はさらに早くコミットしており、TVL は 4億ドル超。そのうちおよそ 44% は Babylon の LST 上にすでに構築済み。両者とも独自の明確な発表を伴っている。これら2つのほかにも、Lombard 自身の資料では、Finality Providers の委任先として Corn と Pell Network を挙げている — これは正式な BSN コミットメントほど強いシグナルではないが、実際のものではある。Babylon のドキュメントでは Phase 3 を「“L1s と L2s がプロトコルを統合する”段階」としており — 複数形で進行中、数は付されていない。 $VIC

確認できた BSN コミットメントは 2 件。さらに 2 件はこれからの可能性。公式の稼働総数はゼロ。

実際に検証できるものと、ただ示唆されているものを突き合わせた。昔から出回っている数字があって — 2024年のレビューに基づく「25コミット」 — もう古くなっているので、現時点の数字としては繰り返さない。一方で Babylon は、隣接する数字を明確に 1つは公開している: 現在アクティブな Finality Providers が 250 以上。 #baby

このギャップは、見た目以上に重要だ。Babylon 自身のデフレ機構である BSN 報酬オークションのバーンは、こうしたネットワークが実際に稼働していて、オークションの取引量を生み出している数に直接依存している。最新の BSN 数を誰も公開していないのは雑談レベルの穴ではなく、外からは確認できないトークノミクスの入力変数になっている — その一方で、近接する Finality Provider の数値はすぐそこにあり、しかも正確で公開されている。

静かに実際の成長が進んでいるのか、それとも追跡可能にする人がいないだけの指標なのか？ まだその答えを咀嚼中。

@BabylonLabs_io #baby

@BabylonLabs_io 午前はKelp DAOのエクスプロイトの余波を掘り起こすことに費やしたけれど、バビロンの対応はエクスプロイト自体よりも興味深いデータポイントです。

4月18日、北朝鮮のラザルス・グループに連なる攻撃者がレイヤーゼロ（LayerZero）ブリッジのメッセージを偽造し、裏付けのないrsETHトークンを116,500枚鋳造しました——およそ2億9200万ドル相当。そこから約107,000のrsETHがAaveに担保として預け入れられ、プロトコルには177百万ドル〜246百万ドルと見積もられる不良債権が残されました。エクスプロイト後、AaveのTVL（総ロック額）は260億ドルから140億ドルへと落ち込みました。

「DeFi United」と名付けられた復旧活動では、業界各社から合計で3億1700万ドル超のETHが集められました。Consensys、Avalanche Foundation、Lido、Ether.fiなどが含まれます。5月中旬までに、不正者のrsETHはArbitrum上で焼却され、Aaveの各マーケットでの出金停止も完全に解除され——危機は約1か月で解決しました。$BLESS

バビロン・ファウンデーションの貢献：300万USDT。内訳は具体的に——Aave V3へ200万ドル、Aave V4へ100万ドル。

この内訳を計算してみてください。そのスプリット（分配）に。バビロンは「Aave」に1回の小切手を切っただけではありません。バビロンはV4に入れた2倍の金額を、より古く既に稼働しているV3へ投入しました——ちょうど、バビロン自身のTBV統合が構築されようとしていたまさにそのバージョンです。これは中立的なジェスチャーではありません。バビロンの自社プロダクトにとって重要になるためにバビロンが必要としていた、同じエコシステムへ資本を投じているのです。

そして、数か月経ってもなお腰を据えて見ておきたい部分があります。これはバビロンが自分のエクスプロイトを直しているわけではありません。バビロンが支配していない別人の危機に資金を投じたのです。しかも、そのプロトコルの安定性が、バビロン自身のロードマップにとってすでに“荷重を支える土台（load-bearing）”になっていたから。

マーケティングではこれをエコシステム支援と呼びます。でも実際には、あなた自身の将来のプロダクトが依存するプラットフォームの健全性を守る——保険のように見えます。

戦略的な賢い立ち回り、あるいは「TBVの成功が特にAave次第でどれほど成り立っているか」を静かに認めたものなのでしょうか？

@BabylonLabs_io $BABY #baby $BTW

@BabylonLabs_io 私はBabylonのAave DAO向けTBV提出の際に、ひとつの小さなデザイン上の意思決定にずっと引っかかっていました。それは、vaultBTCを譲渡可能にしないという選択です。

プロトコルには、借入システムの中でロックされたビットコインを表現する方法が必要ですが、その表現を人々が自由に受け渡しできるものにはしません。vaultBTCはバロート（vault）に対して1対1で発行され、制限されており、AaveのHub、Spoke、アダプター契約とのみ相互作用します。それ以外の場所では使えません。 $BEAT

それは意図的だと感じました。Babylonがこの選択をしたのは今回が初めてではありません。数か月前、Morpho上で試験された実験的なバージョンでは、仕組みのレベルで動作が異なり、ERC-20ではなく非代替性トークン（NFT）として構築されていました。流動性はUSDCでわずか14ドルでした。共同創業者David Tseはそれを「バロートとMorphoをつなぐ中間的な非代替性資産」と呼びました。仕組みは違っても、同じ本能です。作られた統合対象を超えて表現が増殖してしまうことは決して許さない。

もしvaultBTCが取引可能になれば、担保表現そのものをめぐって、ビットコインの裏付けとは別のセカンドマーケットが形成されます。実際に譲渡不可であることがそうする理由です——それによって担保が独自の命を得てしまうのを止められるからです。

私はその抑制をむしろ評価しています。柔軟性の代償を払ってでも、すべてのプロトコルに新たな流通トークンが必要とは限りません。

GRVTのUnified Marginを想像してください。そこでは、1つの入金だけでAave経由の利回り獲得、取引の裏付け、そしてスポットのエクスポージャー保有を同時に行えます——そのようにしてvaultBTCも同じ形で吸収しようとしたとしても、できませんでした。Aaveにすでに組み込まれているプラットフォームであっても、独自の別バロートが必要になります。意図して譲渡可能にはしなかった。 $GRVT

ときには、ユーザーにできることを制限することこそが、プロトコルが前提を守る方法そのものです。

譲渡不可は、より洗練された設計なのでしょうか？それとも、DeFiがこれから目指すコンポーザブルな未来に向けて、やりすぎるほどのものを犠牲にしているのでしょうか？

@BabylonLabs_io $BABY #baby

@BabylonLabs_io 「“Babylon integrates with Aave”が意味するのは接続ポイントが1つだけだ」と仮定していました。実際には、Aaveのハブ＆スポーク・アーキテクチャ上に載った、2つの用途特化型Spoke（スポーク）で構成されています。

1つ目はBabylon Core Lending Spokeです。預金者のネイティブBTCはTaproot UTXOとしてロックされ、Ethereum上ではvaultBTCとして表現されます。そしてstablecoinのような資産を借り入れるのに使われます。aave v4はERC-20コラテラルのみを受け付けるため、vaultBTCはそのギャップを埋めるために存在します――vaultに対して1対1で鋳造され、Aave自身のコントラクトとしか相互作用しないよう制限されています。

2つ目はBTC Vault Swap Spokeで、解くための問題が非常に1点に絞られています。ビットコインの決済は遅いということです。清算されたポジションは、Aaveの通常のウィンドウ内にネイティブBTCの償還が来るのを何日も待つことはできません。そこで押収されたvaultは、WBTCへ即時にスワップされます。これにより、パーミッションレスなリクイディターはすぐに負債を決済できます。一方で、別の裁定業者が、ビットコイン固有のタイムラインに従って、のちほど実際のBTCを償還します。

2つのSpoke、役割を半分に分けた。

なぜこの特定の形になっているのかを追いかける必要がありました。Aaveのハブ＆スポークモデルでは、各Spokeのリスクがハブの残りの部分から切り離されています――BTCコラテラルのSpokeに失敗が起きても、無関係のAave市場には波及しません。Aave DAOは、たとえそうだとしても、キャップやパラメータを自分たちの管理下に置き続けます。

その切り離しこそが、実際の設計上の勝ち筋であり、この統合がどう機能しているかの本当の答えです。1つのSpokeがBTCに対する借り入れを扱い、もう1つがビットコインの決済遅延を別々に扱うので、どちらの問題も互いを待つ必要がありません。

このようにリスクをこれほど精密に分離することで統合はより安全になるのでしょうか？それとも、決済を2つの経路に分けることで、1つの失敗ではなく「2つの失敗が起こり得るもの」を作ってしまっているだけでしょうか？

@BabylonLabs_io #baby $KOMA $GIGGLE $BABY

バビロン・ジェネシスは8つの別個のモジュールで動いている――ほとんどの説明は2つしか触れていない

@BabylonLabs_io 私はかつて「Bitcoin plus Cosmos」が、バビロン・ジェネシスという実体を十分に言い表していると思っていました。

しかしその言葉の裏側で、実際にチェーンが何で組み立てられているのかを調べてみたんです。

バビロン・ジェネシスは8つのコア・モジュール――Epoching（エポック処理）、Checkpointing（チェックポイント）、BTC Checkpointing（BTCチェックポイント）、BTC Light Client（BTCライトクライアント）、Zone Concierge（ゾーン・コンシェルジュ）、BTC Staking（BTCステーキング）、Finality（ファイナリティ）、Rewards（リワード）――を動かします。それぞれが、チェーンが動くための異なる要素を担っています。

このプロトコルは、単に2つのものが積み重なっているだけではありません。

「Bitcoin plus Cosmos」は、安全資産と基盤となるフレームワークを指名しています。しかし、誰がステーキング状態を追跡しているのか、誰がブロックを最終確定しているのか、誰がチェックポイントをBitcoinへとアンカーしているのか、あるいは、上にあるものがすべて正しく実行された後に、報酬をどこがルーティングするのか――そういった点は何も言っていません。

8つのうち2つは、名前だけだと混同しやすいです。BTC Stakingは、委任とステーキングのライフサイクルを扱います。Finalityは、プロバイダからのEOTS投票を処理します。Zone Conciergeは、接続されたBSNへ送られるデータを調整します。Epochingは、バビロン・ジェネシスがサイクルの中で内部的にどう前進するかを構造化し、Checkpointingは、BTC CheckpointingおよびBTC Light Clientモジュールを通じて、それらのサイクルをBitcoinにアンカーします。Rewardsは最後に位置し、その上のモジュールがすでに稼いだ分だけを支払います。

しかし、8つのモジュールに名前を付けたからといって、8つの失敗ポイントが同じ重みを持つわけではありません。

いくつかは、先に処理を終える必要があります。報酬のルーティングは、ステーキング、ファイナリティ、そしてアンカーに関するモジュールが、エラーなくすでに所定の役割を果たした後でしか行えません。

この説明を2つの言葉に圧縮するのは、間違いだと言い切ることはできません。ですが、それは「順序」を隠してしまう。頭数（いくつあるか）ではなく、どのモジュールが1つのBTCステークが最終確定され、報酬として反映されるまでに成功しなければならないか、という「流れ」を見えなくしてしまうのです。

8つすべてのモジュール名を挙げれば、バビロンがどこで失敗し得るのかがより分かるのでしょうか？ それとも、実際のリスクは依然として1つか2つに集中しているのでしょうか？

リスクは本当に1つか2つに集中しているのでしょうか？

バビロンの真のリスクはどこに集中しているのか？

$BANK $BABY $GRVT #baby @BabylonLabs_io

バビロンのオフチェーン・リレイヤーが誤ると何が起きるのか

@BabylonLabs_io 以前は、「permissionless（許可不要）」というのは、誰の誠実さも実際には問題にならず、システムは誰が参加しても関係なく動く、という意味だと思っていました。

しかし私は、バビロン自身のアーキテクチャ・ドキュメントにある、その考えをややこしくする具体的な一文を見つけました。

バビロンは、ビットコインとバビロンGenesisの間でデータを中継する監視のためのスイートとして、Submitter、Reporter、Monitorを動かします。誰でもこのソフトウェアを実行できます。許可は不要で、資格を判定してくれる門番もいません。

ですが、その同じアーキテクチャ・ドキュメントには、確実な運用には、過半数でもクォーラムでもなく、各プログラムに対して少なくとも1人の誠実なオペレーターが存在する必要がある、と明記されています。

Hmm。

これは「trustless（信頼不要）」とは意味の異なる主張です。許可不要で参加できることと、確実に誠実なオペレーターがいることは同じではありません。前者は「誰がソフトウェアを実行することを許されているか」の話で、後者は「本当に信頼できる誰かが実際にいるか」の話です。

Monitor（モニター）の役割は、最終性プロバイダーがダブルボートしたときにスラッシングを実行すること、または自動化された経路が失敗した場合にその鍵を抽出することです。しかしそれは、Monitorのオペレーターが実際にオンラインで監視している場合にのみ機能します。結果を後から教えてくれるだけで、事前に検知してくれるわけではありません。#baby

私はその一文にメモをして、しばらく2台目のモニターに開きっぱなしにしていました。

もし特定の役割におけるすべてのオペレーターが同時に失敗するかオフラインになった場合、その同じドキュメント内には「アラームが提起される（raised）」以上のフォールバックはどこにも記載されていません。検出は結局、誰か誠実な監視者がいて、アラームをそもそも見つけられる前提に依存しています。

これがバビロンを壊れやすいものにしていると言いたいわけではありません。分散システムはたいていどこかで「誠実な参加者」を前提に寄りかかります。今回のものは、暗黙のままにされているのではなく、その前提が名指しされているだけです。$BABY

際立っているのは、バビロンのドキュメントが「誰が参加を許されるか」は保証している一方で、「誰が実際に参加するか」は保証していないことです。

もし、誠実なオペレーターという前提が実際に一度でも崩れたなら、関係者は本当に問題になる前に、それに気づけるのでしょうか？

ここでの「permissionless」は「trustless」と同じ意味ですか？

バビロンの自己保管（セルフ・カストディ）がなお「契約委員会」に依存している理由

@BabylonLabs_io 「自己保管（self-custody）」という言葉について、バビロンの件がずっと頭から離れなかった。

私は、それが意味するのは、預け手（ステーカー）だけがあらゆる結果を単独で支配し、例外はないということだと思い込んでいた。

ところが実際にスクリプトの要件を読んでみると、その前提は成り立たなかった。

バビロンのステーキング出力には、3つのスクリプト・パスがある。タイムロックは、ロックが期限切れになればステーカーが単独で退出できるようにする。アンバンディングは、ステーカーが早期に退出できるようにする。スラッシングは、二重署名を行った最終性（ファイナリティ）提供者を罰する。

その3つのうち2つは、契約委員会の署名なしには実行できない。

私はその重要な部分を、ほとんど読み飛ばしていた。

契約委員会は、ビットコインの鍵を持つM-of-Nのグループである。ステーキング要求がそもそも有効化される前に署名が必要であり、さらにアンバンディングやスラッシングの取引が通る前にも、署名が再度必要になる。$BABY

BTC自体はステーカーのスクリプトから一度も離れないため、資産はその全期間を通じて、ステーカーが置いた場所に留まる。

ただし、この依存が実際に許すことについては、きちんと正確に言う価値がある。

この部分について、ステーキング・スクリプトの仕様は明確だ。委員会は要求を却下できる。だが、ステーカーがステーキング時点で事前にコミットしていなかった場所へ資金を振り向けることはできない。できるのは、支出を進めるために必要な署名を差し控えることだけだ。

つまり、委員会は、カストディ（預託管理者）になることなしに、何かが有効化されるのを止められる。#baby

しかしそれでも、ステーカーの退出は（早期であれ懲罰的であれ）、ステーカー自身が個人的に保持していない署名に依存することになる。自己保管は、資金が最終的にどこへ行き得るかを守る。だが、そこへ到達するために協力が必要な当事者をすべて消し去るわけではない。

では、「却下のみ」の権限に委員会を縛り付ければ、自己保管にとっての問題は無くなるのか。それとも、そもそも誰か他人の署名を必要とする時点で、「自己保管」という言葉が本来意味していたものを、すでにややこしくしてしまっているのではないか?

バビロンの依存は本当に「境界づけ」られているのだろうか?

却下のみの権限であっても、カストディ依存に当たるのだろうか？ #baby

なぜバビロンのBABYは手数料・コンセンサス・ガバナンスとしての有用性を活かすのか――投資ではない

@BabylonLabs_io 正直に言うと、トークンエコノミクスの注意書きは、以前はドキュメントのページで「スクロールして読み飛ばす」対象の一部でした。

今回はバビロン自身のページをゆっくり見ていて、結局同じセクションに2回戻ってしまいました。

BABYが担うことは、かなり絞られています。ガスをubbnで支払い、BTCと並べてステークしてコンセンサスに参加し、保有者がガバナンスに投票できるようにする。3つの役割はいずれも、チェーンを実際に動かすことに結びついています。どこにも「保有して待つもの」として売り込んではいません。

配分テーブルの少し下に、数字は仮説的で先を見据えたものであり、通知なしに変更されうるという注意書きがあります。さらに踏み込んで、BABYは投資として機能することを意図していない、と明言しています。

両方のパートをもう一度、今度は並べて見ました。3つの具体的な運用タスクが与えられたトークン。そして、その供給量の数字そのものが固定されていないという警告。

別々に見ると、どちらの行も大きく目立ちません。でも一緒にすると、より鋭い意味が見えてきます。有用性こそが実際のポイントであり、その周囲の数値はまだ暫定的だ、ということです。

そうなると、配分テーブル自体の見え方が変わります。投資家・チーム・アドバイザーのアンロックは2029年4月まで伸びる。コミュニティのインセンティブはすでに放出済み。エコシステムの資金は3年のタイムラインで。これらのすべてが、「それらのカテゴリと、その割合は、まだ変わる可能性がある」という注記の下に置かれています。

それが赤信号だと言っているわけではありません。こうした免責事項はよくあるもので、上昇余地ではなくガスとガバナンスを軸にしたトークンの見せ方も、珍しくありません。

ただ、バビロン自身の文章を読んで気づくのは、まずBABYをインフラとして扱うよう求めており、そのページにあるあらゆる数字を「今のもの」であって「最終のもの」ではないとしている点です。

つまり、有用性は設計で固定されているのに、数字は明確に固定されていない。では、あなたが所有しているものを本当に教えてくれるのはどちらでしょう？

BABYは、その有用性によって判断されるべきですか？それとも供給の数字によって判断されるべきですか？

@BabylonLabs_io #baby $BABY

なぜバビロンのアンボンディング経路は最終性提供者をまったく省くのか

@BabylonLabs_io すべてのアンボンディング要求と、バビロンで起きたすべてのスラッシング事象は、私には同じ種類の終了（エグジット）に見えていました。タイミングが違うだけでした。

しかし実際には、2つのスクリプトを並べて開きました。まったく似ていないはずだと思って。

アンボンディング経路：ステーカーの署名に加えて、カベナントのしきい値。ほかには何もありません。

スラッシング経路：ステーカーの署名、同じカベナントのしきい値、そして最終性提供者の鍵。

追加の署名者が1人いる。それが唯一の違いです。

その1つの包含は見た目の問題ではありません。

署名1つで、支出（spend）を通すために誰が出席しなければならないかが変わります。ステーカーは要求次第でアンボンディングできます。委任していた提供者との協力は不要で、必要なのは自分自身の署名とカベナントの承認だけです。スラッシング経路は、その提供者が二重署名してうっかり自分の鍵を手渡すまで締め出されたままです。

つまり提供者の鍵は、初日からスクリプトに載っていて、プリ署名され、何もしないまま待機しています。ランダムネスが再利用され、それが自分で起きるまで。

それまでのすべては、提供者が指一本動かさなくても完全に走ります。沈黙そのものが目的です。いったん破られると、協力はもう話の外になり、露出した鍵が自分自身で仕事を仕上げます。

ただし、これがアンボンディングを全体としてより安全にする、とは言っていません。どちらの経路も、いずれにせよ同じカベナントのしきい値に依存しています。

どの鍵が存在しているかを1つ見分けるだけで、任意の退出と懲罰的な退出の境界がすべてです。ほかの部分は、2つのスクリプトでまったく同じです。

もしスクリプトの違いがちょうど1人の署名者だけだとしたら、それは小さな設計上の選択ですか？それとも文書全体で最も重要な一行ですか？

1人の署名者の存在が、任意か懲罰かを決めるのですか？

@BabylonLabs_io #baby $BABY $DEXE $EUL

@BabylonLabs_io 新しいステーキングのデザインを見るたびに、最初に確認するのは、ロックされた資金がどれだけの手段で動かせるかです。Babylonでは答えは予想よりも小さく、そしてはるかに意図的なものでした。

ステーキングのアウトプットはTaprootアウトプットで、Babylonは通常のキーによる支払いパスを完全に無効化します。これは、内部キーをNUMSポイントに設定することで行います。NUMSポイントはBIP-341で定義された「袖に何も隠していない」値で、ビットコイン自身のベースポイントGをハッシュして導出されます。このポイントに対する秘密鍵は存在しません。つまり、そのパスは弱いのではなく、意図的に閉じられています。

残るのは、ちょうど3つのスクリプトパスです。

time lock（タイムロック）パスでは、コミットされたビットコインのブロック数が経過した後、ステーカーが単独で支払えます。unbonding（アンボンディング）パスでは、最終性提供者は介在せず、ステーカーは早期に離脱でき、加えて協約（covenant）委員会の署名が一定のしきい値に達している必要があります。

slashing（スラッシング）パスでは、ステーカー、同じ協約のしきい値、そして最終性提供者の鍵をすべてそろえる必要があり、その提供者が二重署名している場合にのみ実行可能になります。

3つの扉。違いは、誰が入れるかではなく、どの署名者が出てこなければならないかです。アンボンディングとスラッシングはほとんど同じに見えます。同じステーカーの署名、同じ協約のしきい値です。違うのは、前者には最終性提供者の鍵が含まれないのに対し、後者には含まれるという点だけ。たったその1つの追加が、自発的な退出を懲罰的なものに変えます。

キー支払いパスを取り除くことで、資金を動かす非公式な抜け道はなくなり、この3つの正式な手段だけが残ります。しかしそれは同時に、セキュリティモデル全体が、これら3つのスクリプトがまさに正しく作られていることに依存する、ということでもあります。下により単純なフォールバックが置かれているわけではありません。

すべての近道を閉じることは、スクリプトをより安全にするのか、それともスクリプト自体のミスに対してより許容しないだけなのでしょうか？

$BABY #baby @BabylonLabs_io

バビロンのEOTS署名は、ダブルサインのあとに何を検証するのか

@BabylonLabs_io 以前は、バビロンでのスラッシング（切り捨て）イベントは、ある委員会がファイナリティ・プロバイダを調査し、彼らが何かの罪を犯していると判断した結果だと思っていました。

バビロンのEOTSメカニズムを通して見てみると、そこには委員会も、審査も、判断の余地もどこにもありません。

バビロンの各ファイナリティ・プロバイダは、あらかじめ公開乱数をコミットします。投票したい将来の各ブロック高ごとに、値を1つずつです。公開側の半分と秘密側の半分が投票ペアとして結びつきます。そして、各高さについて常に署名が1つしか発生しない限り、秘密の乱数は秘密のまま保たれます。失敗が表面化するのは、再利用が起きた瞬間だけです。同じ高さで異なる2つのブロックに署名すると、同じ秘密の乱数が2回使われてしまいます。数学的には、同一の乱数に基づいて構築された2つの署名があれば、その下にある鍵を解くのに十分です。誰もそれを抽出しません。数学が勝手に鍵を差し出させるのです。

そこから先はすべて機械的で、裁量の余地はありません。バビロン上での投票権は、検出された瞬間にゼロに落とされ、プロバイダは永久にトンボスト（tombstone）されます。そして、回収されたその同じ鍵は、そこに委任されているすべてのステークにまたがって、スラッシング取引へ署名できるようになります。

では、バビロンのEOTS署名は実際に何を検証しているのでしょうか。1つあります。特定の高さで特定のダブルサインが起きたこと、そしてその結果として得られる鍵が実在すること、です。プロバイダがブロックを検閲していたかどうか、信頼性の低いインフラを運用していたかどうか、あるいは乱数の再利用に触れない形で不整合に投票していたかどうか——そういったことについては何も言いません。そうした行為は乱数を再利用しないため、鍵も生成されません。

このくらい精密に「ある1つの失敗モード」だけに関するメカニズムになっているものは、定義上、それ以外のすべてのモードについては黙っている、つまり何も語らないのです。

バビロンのEOTSによるスラッシングは、十分に踏み込んでいるのか？

@BabylonLabs_io #baby $BABY

ウォレットは安全だが取引キーが安全ではないとき：GRVTの委任アクセス・リスク

@grvt_io GRVTのAPIモデルを調べるほど、次の重要な区別がより明確になりました。鍵が資金の引き出しに使えない可能性がある一方で、口座を損なうのに十分な力を持つ場合がある、という点です。

GRVTは取引口座のAPIキーを「取引専用」権限として文書化しています。各キーはEthereumアドレスに紐づけられており、その秘密鍵はEIP-712を通じて注文に署名できます。

この切り分けが重要です。取引用の資格情報は、自動的に引き出し用の資格情報にはなりません。

しかし、制限されているからといって無害とは限りません。

取引許可のあるキーが侵害された場合、主なリスクは攻撃者が資産を外部ウォレットへ送ることではありません。問題は、認可された取引の悪用です。攻撃者は望まないエクスポージャーを作成し、利用可能な証拠金を消費し、注文がキーに割り当てられた権限の範囲内で有効に見え続ける間に、口座を清算に近づけることができます。

これは文書化された権限モデルから導かれる推論であり、GRVTのAPIが侵害されたという主張ではありません。

保管（カストディ）層は、設計どおりに動作していたとしても、取引口座が経済的な損害を受けることがあります。ウォレットは所有者のままです。しかし攻撃者が一時的に、口座の価値を変える判断を握ることになります。

そのため、APIセキュリティは単なるシークレット保管以上のものです。実務上の統制には、権限の絞り込み、隔離された署名環境、リアルタイム監視、迅速な無効化、そして定期的なキーローテーションが含まれます。目的は単に引き出しを止めることだけではありません。アクセスが除去されるまでに、委任された取引権限が引き起こし得る損害の大きさを制限することです。

絞り込まれたキーは、被害範囲（爆風半径）を縮小します。ゼロにするわけではありません。

したがって危険なのは、保管（カストディ）を制御しないまま経済的な支配だけを行えることです。この区別は、引き出しセキュリティと同じ注意を払うに値します。

自己保管は、資金が送られ得る場所を守ります。委任アクセスのセキュリティは、その資金がそもそも外へ出る必要が生じる前に行われる判断を守ります。

取引APIキーで最も重要なのは、どの統制でしょうか？

@grvt_io

#grvt

$EVAA

$BSB

$HEI

@NewtonProtocol 私は当初、デフォルト拒否を、許可条件が完了した後にニュートンのポリシーが追加できるようなものだと考えていました。

そのルールを調べれば調べるほど、デフォルトの判断が「依頼がもはや見慣れた形に見えなくなったときに何が起きるか」を決めるのだと気づきました。

たとえば、宛先が承認済みリストに属している場合に、上限未満の振替を許可するポリシーを想像してください。そのロジックは、開発者が想定したすべての取引に対しては機能するかもしれません。

しかし、より難しいテストが始まるのは、依頼の形が変わったときです。

必須フィールドが欠けているかもしれません。資産識別子が新しい形式を使うかもしれません。契約が、ポリシーがこれまで見たことのない関数を公開しているかもしれません。アプリケーションが、新しい取引タイプを導入する一方で、ポリシーは動き続けます。

システムには答えが必要です。

もしポリシーが許可から始まり、拒否の既知の理由だけを探すのなら、見慣れないアクションは「制限が引き金にならなかった」ために生き残ってしまう可能性があります。

その依頼は安全であることが証明されていません。

単に危険だと認識されなかっただけです。

@NewtonProtocol ポリシーは拒否から始まり、すべての条件が存在し、満たされた後にのみ認可を付与します。未知の値、未サポートのアクション、形式が崩れた入力、そして不完全な証拠は、ポリシーがそれらを意図的に評価できるまで拒否のままです。

これは重要です。アプリケーションはポリシーよりも速く進化するからです。古いルールがなお環境を前提としている間に、新しい資産や実行経路が現れることがあります。

デフォルト拒否は、そのギャップが許可に転じることを防ぎます。

許可ルールは、認可が存在する場所を説明します。デフォルトルールは、開発者が想定しなかったものに対してシステムがどう扱うかを決めます。

私がずっと立ち返って考えるのは、そのフォールバックをどこに置くべきかという点です。

すべてのニュートンのポリシーが自分自身で未知の依頼を拒否すべきでしょうか。それとも、信頼できる検証レイヤーが、評価の前に不完全な入力を拒否すべきでしょうか？

ニュートンは未知のアクションをどう扱うべきでしょうか？

@NewtonProtocol #Newt $NEWT
$BILL $FOLKS

#SamsungSKHynixLeveragedETFsNearlyHalve #CXMTReportedlyToListInShanghaiJuly27
#USSaysItWillBlockadeIran
#StocksAndBondsFall

有効な@NewtonProtocol アテステーションが、たった1回のトランザクションでのみ使えるようになる要因は何かをしばらく調べました。

最初は、オペレーターの署名そのものが再利用を防ぐのだろうと考えました。

しかし署名は、オペレーターが署名したメッセージを承認したことを証明するだけです。より難しい問いは、そのメッセージが、アプリケーションが後で実行する「まさにその行為」に結び付けられているかどうかです。

たとえば、あるアテステーションが「1つのウォレットから1つのコントラクトへの引き出し」を承認するとします。

署名されたメッセージが、送信者、対象、パラメータ、チェーン、ノンス、期限に結び付けられていない場合、同じ承認が別のトランザクションでも成立してしまう可能性があります。

暗号は正しくても。

承認が間違っている可能性は残ります。

したがって、有効なアテステーションは「再利用可能な承認」ではなく「特定の意図に対する許可」として扱うべきです。

リプレイには誰かが署名を偽造する必要はありません。必要なのは、元の署名文脈にまだ合致する別のアクションが存在することだけです。

ノンスは再利用を防げます。期限（expiry）は、承認が有効であり続ける期間を制限します。チェーンやコントラクトの結び付けがあれば、別の場所での再利用を防げます。パラメータの結び付けがあれば、承認された金額や受取人が後から変わることを止められます。

有効なアテステーション ≠ 再利用可能な許可。

私が何度も立ち返るのは、アプリケーションが、1つの固有の意図に結び付いていないすべてのアテステーションを拒否すべきかどうかです。

対象、パラメータ、チェーン、またはタイミングが変わり得るのに、承認が有効であり続けるなら、オペレーターは一体何を承認したのでしょうか？

アテステーションのリプレイ防止において、どの結び付けが最も重要なのか？

@NewtonProtocol $NEWT #Newt

#JuneCPIWarshTestimonyBankEarningsSameWeek
#ShanghaiCompositeHitsThreeMonthLow

#EuropeanStocksFall

#SouthKoreaForcedLiquidationsHit344.2BWon

@grvt_io は、GRVTの取引（マッチ）が公正であったといえるために、ユーザーが何を示す必要があるのかについて、しばらく考えました。

ここでいう公正さは、最終的な取引が単に有効だったという意味ではありません。適格な注文が、文書化された優先順位を受け取り、かつ、ルールに基づく理由なくして、より早い注文が置き換えられなかったことを意味します。

GRVTは、照合（マッチング）とデータ保存がオフチェーンで行われる一方、スマートコントラクトがオンチェーンで実行の保証を提供すると説明しています。送信された注文には署名が付いており、決済の経路は、その取引に適用されたルールが満たされているかどうかを、選択されたメイカーとテイカーの組み合わせによって検証できます。

機械的には、これにより選ばれたマッチが許容できるものであったことを裏付けられる場合があります。

しかし、公正なマッチは自動的に、独立してリプレイ可能なマッチでもありません。

検討された公開資料は、注文板フィード、約定（フィル）、およびRPIルールを説明していますが、マッチャーが考慮した、すべての適格な注文と代替案についての、完全な公開シーケンス記録は提供していません。その記録がないと、今日利用可能な公開証拠だけからでは、外部のユーザーは決済出力に基づいて選択の経路を完全に再構成できません。

RPIの流動性が境界を見えやすくします。GRVTはRPIを、アルゴリズムではないUIユーザーにのみ利用可能なメイカー流動性として定義しています。これは、適格なフローに対してより良い約定を生み得る一方で、API参加者には実行可能な流動性の別の見え方を与えることになります。

設計上のトレードオフは理解しています。制限された注文フローはマーケットメイカーを保護し、提示価格を改善できるかもしれません。

それでも、実行の質と、独立して検証可能な優先順位とは別の主張です。

限られた公開再構成だけでは、GRVTが不公正にマッチしたことは証明できません。つまり、公正さの評価の一部について、ユーザーはGRVTの内部記録、文書化されたルール、または外部の保証プロセスに頼る必要があります。

それが、私が繰り返し立ち返ってしまう問いです。

マッチングの公正さは、運用上の保証のままであるべきですか？それとも、ユーザーが独立して検証できるものにすべきですか？

#grvt @grvt_io $EVAA $BILL
$DODO

#SKHynixSinksRecord15%

#TSMCJuneRevenueUp67.9%YoY

#SouthKoreaForcedLiquidationsHit344.2BWon
#EuropeanStocksFall