跳到主要内容

市场状态机

状态一览​

状态含义允许的主要操作
Uninitialized未初始化创建市场
Active交易期下单 ; 取消订单 ; 铸造yes/no对 ; 回收yes/no对 ; 提取资金 ; 提交预言机市场结果
ResultSubmitted预言机结果已提交发起争议 ; 提交最终市场结果
Dispute争议中投票 ; 提交最终市场结果
FinalCooling最终冷静期发起DAO审核 ; 确认最终结果
DAOReviewDAO 复审中批准该请求 ; 确认最终结果
Settlement结算期市场结算 ; 争议结算 ; 争议投票结算 ; 提取资金 ; 关闭市场
Closed已关闭—

状态转换图​

Uninitialized ──CreateMarket──► Active ──────────────────────► Closed (异常)
                                  │ SubmitMarketResult (到期+读Oracle)
                                  ▼
                            ResultSubmitted ──────► Settlement (无争议: 冷静期后 SubmitFinal)
                                  │ StartDispute (质押发起质疑)
                                  ▼
                               Dispute ──────────► FinalCooling (投票+冷静期后 SubmitFinal)
                                                        │
                          ┌─────────────────────────────┴──────────────────┐
            ConfirmFinalResult(false)                            RequestDaoReview
            FinalCooling 到期                                          ▼

                          ▼                                        DAOReview
                      Settlement ◄────────────────────────────────────┘
                          │           ConfirmFinalResult(true), approvals≥threshold
                          │ CloseMarket (资产全部清空)
                          ▼
                        Closed

时间窗口​

窗口主网开发网目的
争议24h5min预言机提交结果后的质疑窗口
投票48h5min争议结算进行的投票窗口
冷静24h5min冷静期 (无争议确认结果 / 争议结束后的最终冷静期)

结果枚举​

值含义
Pending未出结果
Yes事件发生
No事件未发生
Invalid预言机取值异常,可重试

两条典型路径​

快乐路径(无争议):

创建 → 交易 → 到期提交结果 → 冷静期 24h → SubmitFinal 直接进 Settlement → 领奖 → 关闭。

争议路径:

结果提交后 24h 内有人质押质疑 → 48h 投票 → 24h 冷静 → SubmitFinal 写投票结果 → 24h 最终冷静(可申请 DAO 复审,DAO 达阈值可覆盖)→ Settlement。