原文
Augmented Mechanism Design: One Operator, Every Substrate — WGlynn (2026-07-06)
拡張メカニズム設計：一つのオペレーター、あらゆる基盤
位置付けに関する注記、2026-07-06。本稿は、数学的記述とDeFiのケーススタディを含む正式な論文「拡張メカニズム設計：純粋な経済メカニズムのための保護的拡張」（~/JARVIS/papers/augmented-mechanism-design.md）に基づいています。本稿は、その論文が示唆しているものの明言していない、より大きな主張を述べています。すなわち、このオペレーターは基盤に依存せず、現在3つの基盤に展開されているということです。
主張
強力なメカニズムが失敗するのは、その核となる原理が間違っているからではほとんどありません。洗練されたアクターが、メカニズムの数学的側面と社会的文脈との間のギャップを悪用するからです。通常の対応策は置き換えです。例えば、ボンディングカーブ (bonding curve) はポンプ・アンド・ダンプ (pump-and-dump) を可能にするからボンディングカーブを禁止する、連続取引はMEV（最大抽出可能価値）を可能にするからMEVをビジネスコストとして受け入れる、といった具合です。
拡張メカニズム設計 (Augmented Mechanism Design)はもう一つの対応策です。メカニズムを維持し、悪用を構造的に排除する、境界が定められ数学的に強制される不変条件を追加します。管理者を決して追加してはいけません。なぜなら、管理者は新たな信頼点であり、新たな捕捉対象となり、それはバッジを付けた当初の失敗に他ならないからです。
オペレーターとして記述すると、既知の脆弱性 V を持つメカニズム M に対して、M の核となる特性を維持しつつ V を縮小するような拡張 A が存在し、M' = A(M) となり、追加される複雑さは限定的です。この拡張には4つのタイプがあり、実際の設計ではそのうち2〜4つを組み合わせています。
- 構造的 (Structural): 不正な状態が表現不可能である。均一清算価格は、注文ごとの価格が存在しないため、注文ごとに不正操作されることはありません。
- 経済的 (Economic): 破壊は可能だが不採算である。ボンドとスラッシュを組み合わせることで、攻撃コストが利益を上回るようにします。
- 時間的 (Temporal): タイムロックが速度の優位性を排除する。今コミットし、後でリビールすることで、フロントランニング (front-running) は読み取るものがなくなります。
- 検証 (Verification): 暗号学的アテステーション（証明）がクレームを検証可能にする。コミットメント、マークルルート、署名などです。
この論文は、3つの市場メカニズムにわたってこれを証明しています。本稿のポイントは、同じオペレーター、同じ4つの不変条件タイプが、DeFiとは無関係なスタックのレイヤーで繰り返し現れることです。この繰り返しこそが本論文の主張であり、この名前が適切である理由でもあります。
基盤1：市場（展開済み）
これは論文の主戦場です。3つの純粋なメカニズムがそれぞれ拡張され、Solidityとして出荷されています。
- 拡張ボンディングカーブ (Augmented Bonding Curves)。保存の特性は手つかずです。出口トリビュート (exit tribute) と参加ゲート付きベスティング (participation-gated vesting) が追加されることで、カーブは依然として決定論的に価格設定されますが、ポンプ・アンド・ダンプは利益を失い、初期資本は貢献に結びつきます。
BondingCurveLauncher.sol。 - 拡張ハーバーガー税 (Augmented Harberger Taxes)。自己評価が税と取得の両方を引き続き支配するため、資産は最も価値を置くユーザーに流れ続けます。ロイヤルティ乗数、72時間の先買権、超線形ポートフォリオ税、および20%の立ち退きプレミアム (displacement premium) が、一方的な差し押さえを交渉に変え、買い占めを非合理的にします。
VibeNames.sol。 - コミット・リビール型バッチオークション (Commit-Reveal Batch Auctions)。注文は効率的な価格、現在はバッチ全体での均一清算価格で実行されます。8秒のコミット、2秒のリビール、非リビールに対する50%のスラッシュ、およびすべてのリビールされたシークレットのXORによってシードされるフィッシャー・イェーツシャッフル (Fisher-Yates shuffle) が、フロントラン、サンドイッチ、情報漏洩といったすべてのクラスの攻撃を排除します。
CommitRevealAuction.sol、DeterministicShuffle.sol。
使用されている拡張タイプは、構造的（均一価格、XORシード）、時間的（コミットおよびリビール期間、猶予期間）、経済的（スラッシュ、ポートフォリオ税）、補償的（立ち退きプレミアム、コモンズへのトリビュート）です。3つのメカニズムはいずれも置き換えられませんでした。それぞれが強化されたのです。
基盤2：コンセンサス（展開済み不変条件）
コンセンサスは市場ではありませんが、同じ失敗と解決策が適用されます。ステーク加重コンセンサスは、資本がブロックをファイナライズすることを可能にします。悪用は金権政治的捕捉 (plutocratic capture) です。十分な資本があれば単独でファイナライズでき、貢献は発言権を持ちません。
置き換えの解決策は、委員会や財団の拒否権を導入することでしょう。これは管理者であり、余分な手順を伴う捕捉です。拡張の解決策は、構造的な反集中不変条件です。Noesisノードでは、ファイナリティは資本次元と貢献次元の加重混合であり、各次元は、それがカウントされる前に、自身の重みの少なくとも半分を独立して供給しなければなりません。定数はMIN_DIM_BPS = 5000 (node/src/runtime.rs:596) です。どちらの軸も単独でファイナライズすることはできないため、資本は貢献の同意なしにはファイナライズできず、貢献は資本の同意なしにはファイナライズできません。これは次元ごとのフロア (floor) であり、キャップ (cap) ではありません。そして、捕捉を単に罰するのではなく、表現不可能にします。
これは、ハーバーガーの反集中策を市場からコンセンサス層に移植したものです。メカニズムを維持し、1つの構造的不変条件を追加し、管理者を拒否します。同じ論文のShapleyDistributor.sol報酬アトリビューションは、貢献が分離可能な場合は加法的な高速パスを取り、そうでない場合は正確なシャプレー値にエスカレートするオンチェーンの非加法性ルーター（ShapleyAttributionHook.sol、パブリックマスターにコミット済み）と共に提供されます。公平性のフロアがアイデンティティ分割 (identity-splitting) によって悪用されないように報酬の重み付けを強化することは、本稿執筆時点ではまだ進行中の作業であり、出荷済みではありません。
基盤3：AIシステム（展開済みハーネス）
大規模言語モデルは、強力なメカニズムですが、既知の脆弱性があります。それは、自信満々に間違った答えを出し、それが捉えにくく、長期間にわたるタスクでは性能が低下することです。
置き換えの解決策は、より大きなモデルを待つことです。拡張の解決策は、モデルを維持し、それを汚染できない決定論的な構造で包み込むことです。
それこそがハーネス (harness) です。決定論的なゲートが些細なリクエストを解決するため、モデルはそれらに触れることがなく、決して間違えることもありません。安価な構造的検証器がモデルの出力をチェックし、正確なエラーを伴う制限付きリトライを駆動します。信頼度プローブ (confidence probe) は、サンプル間の自己一貫性 (self-consistency) を通じて、モデルが知らないと判断した場合に、それらのケースをより強力なティア (tier) にルーティングします。堀 (moat) は委任レイヤー (delegation layer) であり、ベースモデルはその背後にある交換可能なコモディティです。これがFaradayローカルモデルハーネスとより広範なJARVIS基盤であり、再び4つの不変条件タイプが使われています。構造的（ゲート、スキーマ）、検証（チェッカー）、そして高価なティアがいつ発火するかを制御する時間的および経済的予算です。
これが個人的な好みではなく、実際のパターンであるという最も強力な証拠は、モデルを構築する人々が独立してこのパターンに収束したことです。Claude Codeハーネスは、実質的にモデルに質問し、ツールを実行し、繰り返すwhileループであり、システムの圧倒的大多数は決定論的な足場であり、モデルに触れるのはごく一部です。これは「置き換えずに拡張する」アプローチであり、そのモデルをラップするラボによって出荷されています。メカニズムの作者自身があなたと同じ方法でそれを強化するとき、そのオペレーターは比喩ではありません。
なぜこの名前が適切であり、なぜそれが避けられないのか
用語は、それが現実的で有用な何かを名付けるときに採用されます。「拡張メカニズム設計」は、現実のクロス基盤オペレーターを名付けています。メカニズムを維持し、境界が定められ数学的に強制される不変条件を追加し、管理者を拒否する、というものです。それは市場、コンセンサス、そしてAIシステムに、毎回同じ4つの不変条件タイプで現れます。それが現実的で有用であるため、誰かが最終的にそれを形式化し、命名するでしょう。それは回避すべきリスクではなく、打ち破るべきスケジュールです。
我々が制御できる唯一のことは、その用語の検索結果が何になるかです。それは誰でも書けるような単なる辞書定義になることもあれば、すでに3つの基盤で一貫してその用語を使用している展開済みの作業の集合になることもあります。この動きは、造語の時点でその名前を成果物に結びつけることであり、本稿とそれが拡張する論文の目的はそこにあります。このフレーズがラボに採用されれば、さらに大きな効果が得られるでしょう。しかし、それは我々が決定することではないため、計画ではありません。
ステータス規律
| 主張 | ステータス |
|---|---|
| AMDオペレーターと4つの不変条件タイプ | 形式化済み（論文） |
| ABC / AHT / CRBA拡張 | 構築済み（展開済みまたは展開準備完了のSolidity） |
| シャプレー帰属 + 非加法性ルーター | 構築済み（パブリックマスターにコミット済み） |
| スケール不変、シビル耐性のある報酬重み付け | 進行中（現在着地中、未出荷） |
| コンセンサス反集中フロア (MIN_DIM_BPS = 5000) | 構築済み（ライブ定数、ソースで検証済み） |
| AIハーネス（ゲート + 検証器 + エスカレーション） | 構築済み（Faradayローカルハーネス；JARVIS基盤） |
| Claude Codeが同じ形状に収束 | 観測済み（外部検証） |
| 形式的な結果としてのクロス基盤普遍性 | 未解決（本稿が主張、未証明） |
決して切り上げはしていません。普遍性の主張は、3つの展開済みインスタンスに裏打ちされた設計上の議論であり、定理ではありません。形式的なオペレーター、その構成特性、および市場のケーススタディは論文に記載されています。
1 post - 1 participant