返回博客protocol

预测市场裁定的真实运作方式:UMA、oracle 与结算层

对预测市场合约如何被裁定的深度技术解析 —— optimistic oracle、争议机制、升级博弈,以及为何结算才是决定哪些平台能存活下来的环节。

预测市场裁定的真实运作方式:UMA、oracle 与结算层

如果你在预测市场的构建者圈子里待得够久,就会注意到讨论会清晰地分成 两类:栈的前端(matching、UX、流动性)和栈的后端(裁定、结算、 oracle)。前端问题可以用工程工时和资本来解决。后端问题需要靠加密 经济学设计来解决 —— 而这正是预测市场平台真正存活或消亡之处。

这篇文章是写给那些已经理解商业逻辑(如果还没有,请先看 我们的市场分析)并且想了解结算层实际如何工作的运营者 和工程师。

较低
在成熟的 UMA 市场中,只有少数裁定会升级为正式争议;大多数都通过乐观路径完成结算
UMA 文档,2026

这个数字是大约六年 optimistic oracle 设计的核心成果:绝大多数裁定 从来不需要投票,因为系统的设计就是要让诚实的提案者比不诚实者成本更 低。下文将说明这是如何实现的、它在什么地方会出问题,以及对在其上运 行真实交易量的运营者意味着什么。

把结算问题清楚地表述出来

每个预测市场合约在生命周期末端只有一个工作:向正确的一方支付。要做 到这一点,合约必须知道现实中究竟发生了什么。挑战在于 smart contract 没有眼睛 —— 它无法看 CNN,读 CPI 数据,或查看体育比分。它依赖外部 机制来告诉它真相。

这个外部机制就是 oracle。每个预测市场都建立在它之上。oracle 是 整个系统的信任假设。这就是为什么"合约由 OpenZeppelin 审计过"远没 有人们想象中那么重要 —— 合约可以毫无瑕疵,但只要 oracle 可被操纵, 平台依然会失败。

在这种场景下,任何 oracle 都必须满足三个属性:

  1. 正确性。 报告的结果必须与现实一致。
  2. Liveness。 结果必须在裁定后合理的时间窗口内被报告;市场不能 无限期挂起。
  3. 抗审查。 任何单一参与者都不能阻止真实结果被记录。

这三个属性之间的权衡空间,构成了整个 oracle 设计领域。

中心化裁定:简单、快速、脆弱

最古老也最简单的方式,是由运营者(或指定的市场完整性团队)直接裁定 市场。Kalshi 就是这么做的:交易所查阅事先公布的数据源,应用其 书面化的裁定政策,然后发布结果。

它在以下情况下运作良好:

它在以下情况下失败:

中心化裁定适合高度受监管、范围狭窄的合约空间。它在结构上不适合驱动 预测市场大部分交易量的长尾市场 —— 体育的边缘情况、地缘政治事件、 任何底层事实需要解释而非测量的内容。

Optimistic oracle 模式

由 UMA 在 2020 年推广的 optimistic oracle,将单一可信裁定者替换为 基于博弈论的"主张-质疑"流程。一旦看清,结构就很直观。

第 1 步:提案。 任何人都可以通过抵押保证金来对一个市场提出结果 主张。"我主张关于 美联储 7 月会降息吗? 的合约结果为 YES。"提案 者附上抵押品(通常是几百美元的 USDC)并提交。

第 2 步:质疑窗口。 计时器开始 —— 真金白银的市场通常是 2 小时, 更高利益的市场更长。在这个窗口内,任何人都可以通过抵押自己的保证金 来对该提案发起争议。

第 3 步:两条路径。

经济激励是有意设计为非对称的。诚实的提案者预期不会被质疑 —— 因为所 有旁观者都看得到结果是真实的,质疑一个真实结果意味着失去保证金。 诚实的争议者只有在所提议结果明显错误时才发起争议 —— 因为轻率的 争议同样要赔上保证金。

实际结果是,几乎所有裁定都通过乐观路径完成。争议路径的存在主要是 作为可信威慑,让乐观路径保持诚实。

争议是如何真正升级的

有意思的失败模式正是争议本身。当真正的分歧抵达投票时,协议必须处理 三个子问题:

  1. 投票完整性。 UMA 的投票使用 commit-reveal,使投票者无法相互 抄袭选择。投票者先提交一个被哈希过的投票,之后再揭示。这能阻止 平凡的串谋。
  2. 谢林点裁定。 投票者因与其他诚实投票者的多数一致投票而获得 报酬。协议假设对任何良好规范的合约,会自然涌现一个聚焦点("显 而易见"的答案)。这与合约规范一样靠谱 —— 含糊的合约只能得到 含糊的裁定。
  3. 终极仲裁升级。 对极高利益的争议,UMA 设有多轮升级:如果某次 投票模糊,可以以更高法定人数和更长投票窗口重跑。实际上每年大概 只用上几次。

一个被争议市场的协议级成本很高。争议者和提案者都有资本被锁。UMA 投票者要付出真实注意力。一个干净的平台靠书写不会引发争议的市场来避 开争议。合约规范的纪律 —— 听起来像文书工作 —— 实际上才是一个 venue 最重要的运营杠杆。

大多数平台为什么会做错

我们在运营者搭建中看到的最常见错误,是把裁定当成可以用"我们手动对 账"解决的后台事务。这在每周 50 个市场的规模下行得通,到了 5000 个 就崩溃。

三种失败模式始终重复出现:

含糊合约的失败。 市场被含糊地表述(例如,"冲突会在 2026 年结 束吗?"却没有定义"结束")。两种结果都站得住脚。市场进入争议,争 议拖延,交易者失去信心,运营者的声誉受到无法挽回的打击。

数据源迁移的失败。 市场指定的某个数据源在生命周期中途被改名、 重组或加上付费墙。合约指向已不存在的数据源,裁定不得不被手动重建。

利益冲突的失败。 运营者(或与运营者关系密切的人)在该市场中持 仓。当裁定不透明时,无论运营者实际上做了什么,这都会演变成公共 丑闻。仅是观感问题就足以摧毁平台的可信度。

针对这三种失败最干净的防御,是把合约设计成裁定路径不依赖于运营者的 自由裁量。Optimistic oracle 模式在结构上非常契合:运营者不是裁定 者,数据源在市场创建时就被命名并锁定,争议机制公开可见。

失败模式中心化裁定者Optimistic oracle
含糊合约高暴露争议;正确识别糟糕规范
数据源迁移手动对账通过争议重放
运营者利益冲突存亡级结构上分离
恶意裁定的成本信任崩溃保证金 + 投票改写
简单市场上的速度更快相同(无争议路径)

Kuest 在结算层实际做了什么

Kuest 的方案继承了 Polymarket 生产架构中的 optimistic oracle 模式, 并为多运营者部署做了加固。落到实践上主要是:

这一切的目的是让裁定变得无聊。一个"裁定是发生的最刺激的事"的平台, 就是一个即将流失用户的平台。

争议经济学在压力下的真实表现

有一个值得多停留的细节:optimistic oracle 的争议经济学并不仅仅是 理论。它已被真实的对抗性交易量进行了压力测试,数据告诉了我们模型在 何处稳固、在何处会承压。

自 2023 年以来 Polymarket 上最大的被争议市场,呈现共同的形态。它 们集中在底层事件在现实世界中本身就存在真正分歧的合约 —— 不是合约 被糟糕地规范化,而是合理观察者对发生了什么意见相左。具有两种可信解 读的地缘政治事件、计票截止时间互相重叠的选举事件、赛后复审在数小时 后改变结果的体育事件。争议机制通过把问题强制送上投票来处理这些情 形,但投票本身反映的是世界中真实存在的模糊性。协议做了一个协议能做 的最大努力;它无法裁定那些世界本身尚未裁定的事实。

这对运营者实际意味着什么:争议路径不是一种你应当当作系统故障来处理 的"例外"。它是被设计进系统的机制,用来处理现实事件中无可化简的 模糊性。进入争议、最终正确结算的市场,是系统按预期运作的样子,而 不是系统坏掉的样子。

运营者侧的纪律是把争议率维持在结构上可解释的范围内。如果你的 venue 争议率为 0.1–0.3%(与 Polymarket 长期速率一致),你大概率 正在书写不错的市场。如果看到超过 1%,那是市场本身规范不足,你面对 的是合约设计问题,不是结算层问题。

争议模型也有一些众所周知的软边缘,成熟运营者会围绕它们做规划。被 争议的市场可能会在投票悬而未决中挂上几天,等待 UMA 投票者裁决;如 果交易者因不相关的原因需要这笔现金,但资本却被锁在仓位里,这就是 一个 UX 问题。多数运营者通过为非关键市场封顶最大争议窗口、并接受 小幅协议费用开销作为换取可预测性的对价来应对这一点。

如果你正在运营,这意味着什么

对任何运行在 Kuest 上、或在评估该协议与替代方案的运营者,可以直接 得出三点启示。

  1. 在合约规范上花的时间应当比你预想的更多。 市场措辞中的每一处 模糊都创造裁定暴露。我们合作的运营者把市场规范当作高级岗位,而 不是初级岗位。
  2. 继承一个结算模型,不要自建。 自研 oracle 的成本极高,失败 模式是灾难性的,而替代方案 —— 把 UMA 风格的裁定作为服务来用 —— 已经成熟、经过审计、久经实战。在 2026 年,几乎没有理由自建 oracle,除非 oracle 设计本身就是你的主营产品。
  3. 把争议率作为先行指标来观察。 一个 venue 的争议率超过约 0.5% 是合约规范开始松弛的信号。它会比用户信任的下滑提前数周出 现。多数运营者并不关注这一指标;他们应当关注。

结算层是栈中最直接决定你的 venue 是一个 venue 还是一个新奇玩意儿 的部分。好消息是,它也是繁重工作已经被做完的部分。