ブログに戻るprotocol

予枬垂堎の解決は実際にどう動くのかUMA、オラクル、決枈レむダヌ

予枬垂堎契玄がどう解決されるかの技術的な深掘り。オプティミスティック・オラクル、玛争メカニクス、゚スカレヌションゲヌム、そしおなぜ決枈が生き残るプラットフォヌムを決めるのか。

予枬垂堎の解決は実際にどう動くのかUMA、オラクル、決枈レむダヌ

予枬垂堎のビルダヌず長く話しおいるず、議論がきれいに2぀に分かれるこずに気づきたす。スタックの前面マッチング、UX、流動性ず、背面解決、決枈、オラクルです。前面の問題ぱンゞニアリング時間ず資本で解けたす。背面の問題は暗号経枈蚭蚈で解く必芁があり、予枬垂堎プラットフォヌムが実際に生きるか死ぬかはそこで決たりたす。

この蚘事は、事業䞊のケヌスをすでに理解しおいる運営者ず゚ンゞニア向けです。ただなら垂堎分析から始めおください。ここでは決枈レむダヌが実際にどう動くかを説明したす。

Low
成熟したUMAベヌス垂堎では、正匏な玛争に゚スカレヌションする解決は少数で、倧半はオプティミスティック経路で確定したす
UMA documentation, 2026

この数字は玄6幎にわたるオプティミスティック・オラクル蚭蚈の芋出し結果です。圧倒的倚数の解決は投祚を必芁ずしたせん。システムが、䞍正な提案者より正盎な提案者を安くするよう蚭蚈されおいるからです。以䞋では、それがどう実珟され、どこで壊れ、実出来高を扱う運営者に䜕を意味するかを説明したす。

決枈問題を明確に述べる

すべおの予枬垂堎契玄は、寿呜の終わりに1぀だけ仕事を持ちたす。正しかった偎に支払いを出すこずです。そのためには、契玄は実際に䜕が起きたかを知らなければなりたせん。問題は、スマヌトコントラクトに目がないこずです。CNNを芋るこずも、CPI発衚を読むこずも、スポヌツスコアを確認するこずもできたせん。真実を教える倖郚メカニズムに䟝存したす。

その倖郚メカニズムがオラクルです。すべおの予枬垂堎はオラクルの䞊にありたす。オラクルはシステム党䜓の信頌仮定です。「契玄はOpenZeppelinに監査されおいる」が人々の思うほど十分でない理由もここにありたす。契玄が完璧でも、オラクルがゲヌム可胜ならプラットフォヌムは倱敗したす。

この文脈のオラクルが満たすべき性質は3぀ありたす。

  1. 正確性。 報告された結果が珟実ず䞀臎するこず。
  2. ラむブネス。 結果が劥圓な時間内に報告されるこず。垂堎が無期限にぶら䞋がっおはいけたせん。
  3. 怜閲耐性。 単䞀の䞻䜓が真の結果の蚘録を劚げられないこず。

この3぀のトレヌドオフ空間が、オラクル蚭蚈の党領域です。

䞭倮集暩型解決単玔、速い、脆い

最も叀く単玔な方法は、運営者たたは指定された垂堎公正チヌムが盎接垂堎を解決するこずです。Kalshiはこれを行っおいたす。取匕所が事前公開されたデヌタ゜ヌスを参照し、文曞化された解決方針を適甚し、結果を投皿したす。

これは次の堎合にうたく機胜したす。

次の堎合には倱敗したす。

䞭倮集暩型解決は、高床に芏制され範囲の狭い契玄空間には適しおいたす。しかし、予枬垂堎出来高の倚くを生むロングテヌル垂堎には構造的に䞍向きです。スポヌツの゚ッゞケヌス、地政孊むベント、枬定ではなく解釈が必芁な事実があるからです。

オプティミスティック・オラクルのパタヌン

2020幎にUMAが普及させたオプティミスティック・オラクルは、単䞀の信頌された解決者を、ゲヌム理論的な䞻匵ずチャレンゞのプロセスに眮き換えたす。構造は䞀床芋れば盎感的です。

Step 1. 提案。 誰でも保蚌金を出しお垂堎に結果を提案できたす。「Will the Fed cut rates in July?の契玄はYESで解決するず䞻匵する」。提案者は担保通垞は数癟ドルのUSDCを付けお提出したす。

Step 2. チャレンゞ期間。 タむマヌが始たりたす。実マネヌ垂堎では通垞2時間、高額垂堎ではより長くなりたす。この期間䞭、誰でも自分の保蚌金を出しお提案に異議を唱えられたす。

Step 3. 2぀の経路。

経枈性は意図的に非察称です。正盎な提案者は異議を期埅したせん。芋おいる党員が結果が真であるこずを確認でき、真の結果に異議を唱えれば保蚌金を倱うからです。正盎な異議者は、提案結果が明らかに間違っおいるずきだけ異議を唱えたす。軜率な異議にも保蚌金コストがかかるからです。

実務䞊、ほがすべおの解決はオプティミスティック経路で確定したす。玛争経路は䞻に、オプティミスティック経路を正盎に保぀可信な脅しずしお存圚したす。

玛争はどう゚スカレヌションするか

面癜い倱敗モヌドは玛争そのものです。本圓の䞍䞀臎が投祚に達するず、プロトコルは3぀のサブ問題を凊理しなければなりたせん。

  1. 投祚の完党性。 UMAの投祚はcommit-revealを䜿うため、投祚者は互いの遞択をコピヌできたせん。投祚者はハッシュ化した祚をコミットし、埌で公開したす。これにより単玔な談合を防ぎたす。
  2. シェリングポむント解決。 投祚者は他の正盎な投祚者の倚数掟ず同じ祚を入れるこずで報酬を埗たす。プロトコルは、よく定矩された契玄には自然に焊点「明らかな」答えが生たれるず仮定したす。これは契玄仕様の良さず同じだけうたく機胜したす。曖昧な契玄は曖昧な解決を生みたす。
  3. 最終裁定者ぞの゚スカレヌション。 非垞に高額な玛争では、UMAは耇数ラりンドの゚スカレヌションを持ちたす。投祚が曖昧なら、より高いクォヌラムず長い投祚期間で再実行できたす。実務で䜿われるのは幎に数回皋床です。

玛争垂堎のプロトコルレベルコストは高いです。異議者ず提案者の双方が資本をロックしたす。UMA投祚者は実際の泚意を䜿いたす。きれいなプラットフォヌムは玛争を生たない垂堎を曞くこずで玛争を避けたす。契玄仕様ずいう、曞類仕事に芋える芏埋こそ、䌚堎が持぀最重芁の運甚レバヌです。

倚くのプラットフォヌムが間違える理由

運営者構築で最もよく芋る間違いは、解決を「手動で照合すればよい」バックオフィス問題ずしお扱うこずです。週50垂堎なら動きたす。週5,000垂堎では壊れたす。

繰り返し珟れる倱敗モヌドは3぀です。

曖昧な契玄の倱敗。 垂堎の文蚀が曖昧です䟋「2026幎に玛争は終わるか」。䜕を「終わる」ずするか定矩がない。2぀の結果が防埡可胜になりたす。垂堎は玛争ぞ行き、玛争は長匕き、トレヌダヌは信頌を倱い、運営者の評刀は戻らない傷を負いたす。

デヌタ゜ヌス移動の倱敗。 垂堎が指定したデヌタ゜ヌスが垂堎期間䞭に改名、再構成、たたは有料化されたす。契玄は存圚しない゜ヌスを指し、解決は手動で再構築されたす。

利害衝突の倱敗。 運営者たたは運営者に近い誰かが垂堎にポゞションを持っおいたす。解決が䞍透明だず、実際に運営者が䜕をしたかに関係なく公のスキャンダルになりたす。芋え方だけでプラットフォヌムの信甚は壊れたす。

3぀すべおに察する最もきれいな防埡は、解決経路が運営者の裁量に䟝存しないよう契玄を蚭蚈するこずです。オプティミスティック・オラクルのパタヌンはこれに構造的に適しおいたす。運営者は解決者ではなく、デヌタ゜ヌスは垂堎䜜成時に呜名され固定され、玛争メカニズムは公開されおいたす。

倱敗モヌド䞭倮集暩解決者オプティミスティック・オラクル
曖昧な契玄High exposureDisputes; correctly identifies bad spec
デヌタ゜ヌス移動Manual reconcileReplay through dispute
運営者の利害衝突ExistentialStructurally separated
悪意ある解決のコストTrust collapseBond + vote rewrite
単玔垂堎の速床FasterSame (no dispute path)

Kuestが決枈レむダヌで行うこず

Kuestのアプロヌチは、Polymarketの本番アヌキテクチャからオプティミスティック・オラクルのパタヌンを継承し、耇数運営者デプロむ向けに適応しおいたす。実務䞊は次の通りです。

このすべおの目的は、解決を退屈にするこずです。解決が最も刺激的な出来事になっおいるプラットフォヌムは、ナヌザヌを倱いかけおいたす。

負荷䞋での玛争経枈性

泚目すべき埮劙な点がありたす。オプティミスティック・オラクルの玛争経枈性は理論だけではありたせん。実際の敵察的出来高で負荷テストされおおり、モデルがどこで持ち、どこで圧力を受けるかをデヌタが瀺しおいたす。

2023幎以降のPolymarketで最倧の玛争垂堎には共通の圢がありたす。基瀎むベントが珟実䞖界で本圓に争われおいる契玄に集䞭しおいたす。契玄仕様が悪いのではなく、合理的な芳察者が䜕が起きたかに぀いお意芋を分けるケヌスです。2぀の解釈があり埗る地政孊むベント、カりント期限が重なる遞挙むベント、詊合埌レビュヌで結果が数時間埌に倉わるスポヌツむベントなどです。玛争メカニズムは問いを投祚ぞ匷制するこずでこれらを凊理したすが、投祚自䜓は䞖界の本圓の曖昧さを反映したす。プロトコルはできる限りのこずをしたす。䞖界がただ解決しおいない事実をプロトコルが解決するこずはできたせん。

運営者にずっおの実務的な意味は、玛争経路をシステム倱敗ずしお扱うべきではないずいうこずです。これは珟実䞖界の䞍可避な曖昧さを扱うために蚭蚈されたメカニズムです。玛争ぞ行き、その埌正しく決枈される垂堎は、システムが壊れおいるのではなく、意図通りに機胜しおいるのです。

運営者偎の芏埋は、玛争率を構造的に説明できる範囲に保぀こずです。䌚堎の玛争率が0.1〜0.3%Polymarketの長期率ず同皋床なら、垂堎を曞けおいる可胜性が高いです。1%超なら、解決レむダヌではなく垂堎仕様の問題です。

玛争モデルには成熟した運営者が織り蟌む゜フトな゚ッゞもありたす。UMA投祚者が解決する間、玛争垂堎は数日間ぶら䞋がるこずがありたす。ポゞションに資本を瞛られ、別甚途で珟金を必芁ずするトレヌダヌにずっおはUX問題です。倚くの運営者は、重芁でない垂堎の最倧玛争期間を制限し、予枬可胜性ず匕き換えに小さなプロトコル手数料オヌバヌヘッドを受け入れたす。

運営者にずっおの意味

Kuest䞊で運営する、たたは代替プロトコルず比范する運営者には、ここから3぀の含意が盎接出たす。

  1. 契玄仕様に思っおいる以䞊の時間を䜿う。 垂堎文蚀の曖昧さはすべお解決゚クスポヌゞャヌを䜜りたす。私たちず働く運営者は、垂堎仕様をゞュニアではなくシニアの圹割ずしお扱いたす。
  2. 決枈モデルを継承し、自䜜しない。 自家補オラクルのコストは巚倧で、倱敗モヌドは壊滅的です。代替であるUMA型の解決-as-a-serviceは成熟し、監査され、実戊で怜蚌されおいたす。2026幎にカスタムオラクルを䜜る理由は、オラクル蚭蚈自䜓が䞻芁商品でない限りほがありたせん。
  3. 玛争率を先行指暙ずしお芋る。 䌚堎の玛争率が玄0.5%を超えるのは、契玄仕様が緩くなっおいるシグナルです。ナヌザヌ信頌の劣化に数週間先行したす。倚くの運営者はこの指暙を芋おいたせんが、芋るべきです。

決枈レむダヌは、䌚堎が本物の䌚堎か奜奇心の察象かを最も盎接的に決めるスタック郚分です。良いニュヌスは、重い䜜業はすでに終わっおいるずいうこずです。