結算系統

CloudBank 使用樂觀的解決模型，市場創建者提出的結果在活躍期後會被接受，除非有爭議。 AI 驅動的過期市場自動結算系統對此進行了補充。

樂觀的結算流程

樂觀模型透過假設誠實行為並僅在出現爭議時升級到預言機來最大限度地減少預言機的使用。

提案階段

市場結束時間過後，創建者會呼叫 proposeOutcome() 並報告​​其結果。這會將市場從 TRADING 過渡到 PROPOSED 並開始活躍倒數計時。創建者的初始股份作為支持其提案的債券。

活躍期

在活躍窗口期間，任何人都可以檢查提議的結果。如果結果正確，則無需採取任何行動——期限到期後市場將自動結算。活躍持續時間是在創建時按市場配置的。

爭議機制

如果參與者認為提議的結果不正確，他們可以在活動期間致電 dispute()。這：

1. 將市場轉變為 DISPUTED 狀態。
2. 將解析度升級至 SoraOracle。
3. 暫停活躍計時器，直到預言機回應。

爭議方無需交納反保證金；爭議機制的設計是易於使用的。

SoraOracle

SoraOracle 是一個最小的鏈上預言機，專為二元 (yes/no) 問題解決而設計。

解析度流程

1. 問題在預言機中註冊，包括明文描述和指定的提供者地址。
2. 提供者提交答案（YES 或 NO）。
3. 提交答案後，7 天退款期開始，在此期間可以對答案提出質疑或更正。
4. 退款期過後，答案最終確定，SoraYesNoOracleAdapter 將其轉換為 CTF 相容的支付向量。

供應商模式

Oracle 提供者是被授權回答特定問題的可信任地址。目前的實作使用單提供者模型，其中每個問題都指派給一個解析器。

AI 自動結算（Sora Keeper）

Sora Keeper 是由 Coze AI 提供支援的自動結算代理，無需人工幹預即可處理常規市場決策。

Process

1. 掃描 — 守護者定期查詢超過結束時間且仍處於 TRADING 狀態的市場。
2. 資料收集 — 對於每個過期的市場，守護者從多個來源（新聞 APIs、體育提要、金融資料提供者）取得相關資料。
3. 交叉驗證 — AI 跨來源交叉引用數據，以確定高置信度的結果。
4. 提交 — 如果置信度超過閾值，保管人將作為市場創建者的代表提交 proposeOutcome() 交易。
5. 監控 - 守護者監控活躍期的爭議，並在受到質疑時提供證據。

即使創建者不活躍，該系統也能確保市場迅速解決，從而改善等待贖回的頭寸持有者的用戶體驗。

CTF 救贖

當市場達到 RESOLVED 狀態後，頭寸持有者透過 Gnosis 條件代幣框架贖回他們的獎金：

1. CTF 的 CTF 已使用最終支付向量進行呼叫（例如，reportPayouts() 表示 YES 獲勝）。
2. 獲勝部位的持有者致電 CTF.redeemPositions()，燃燒他們的 ERC-1155 代幣。
3. CTF 將按比例的抵押品釋放給贖回者。

虧損部位的贖回價值為零。在 CANCELLED 市場的情況下，YES 和 NO 代幣都可以等值贖回，返還原始抵押品。

反垃圾郵件質押

為了防止低品質或垃圾市場，創建者在創建市場時必須存入股份。此股份：

• 在有效結算後退款（市場正常結算）。
• 如果市場因無效參數、重複問題或惡意意圖而被取消，則被削減。
• 在樂觀提案階段充當創作者的連結。

質押金金額由平台管理員全域配置，並可能因市場類別而異。