Hệ thống giải quyết

CloudBank sử dụng mô hình giải quyết lạc quan trong đó những người sáng tạo thị trường đề xuất các kết quả được chấp nhận sau một khoảng thời gian tồn tại trừ khi bị tranh chấp. Điều này được bổ sung bởi hệ thống thanh toán tự động được hỗ trợ bởi AI dành cho các thị trường đã hết hạn.

Dòng thanh toán lạc quan

Mô hình lạc quan giảm thiểu việc sử dụng oracle bằng cách giả định hành vi trung thực và chỉ leo thang lên oracle khi có tranh chấp.

Giai đoạn đề xuất

Sau khi thời gian kết thúc của thị trường trôi qua, người tạo sẽ gọi proposeOutcome() với kết quả được báo cáo của họ. Điều này sẽ chuyển thị trường từ TRADING sang PROPOSED và bắt đầu đếm ngược sự sống động. Cổ phần ban đầu của người sáng tạo đóng vai trò như một trái phiếu ủng hộ đề xuất của họ.

Thời kỳ sống động

Trong cửa sổ hoạt động, bất kỳ ai cũng có thể kiểm tra kết quả được đề xuất. Nếu kết quả đúng thì không cần thực hiện hành động nào - thị trường sẽ tự động ổn định sau khi hết thời gian. Thời lượng tồn tại được định cấu hình cho mỗi thị trường tại thời điểm tạo.

Cơ chế tranh chấp

Nếu người tham gia tin rằng kết quả đề xuất là không chính xác, họ có thể gọi dispute() trong thời gian tồn tại. Cái này:

1. Chuyển thị trường sang trạng thái DISPUTED.
2. Nâng độ phân giải lên SoraOracle.
3. Tạm dừng bộ đếm thời gian hoạt động cho đến khi oracle phản hồi.

Người tranh chấp không cần phải nộp trái phiếu đối ứng; cơ chế tranh chấp được thiết kế để có thể truy cập được.

SoraOracle

SoraOracle là một oracle trên chuỗi tối thiểu được thiết kế để giải quyết câu hỏi nhị phân (yes/no).

Luồng giải quyết

1. Một câu hỏi được đăng ký với oracle, bao gồm mô tả văn bản gốc và địa chỉ nhà cung cấp được chỉ định.
2. Nhà cung cấp gửi câu trả lời (YES hoặc NO).
3. Thời gian hoàn tiền trong 7 ngày bắt đầu sau khi câu trả lời được gửi, trong thời gian đó câu trả lời có thể được thử thách hoặc sửa chữa.
4. Sau thời gian hoàn tiền, câu trả lời sẽ được hoàn thiện và SoraYesNoOracleAdapter chuyển nó thành vectơ thanh toán tương thích với CTF.

Mô hình nhà cung cấp

Nhà cung cấp Oracle là những địa chỉ đáng tin cậy được ủy quyền để trả lời các câu hỏi cụ thể. Việc triển khai hiện tại sử dụng mô hình một nhà cung cấp trong đó mỗi câu hỏi được gán cho một người giải quyết.

AI Tự động thanh toán (Sora Keeper)

Sora Keeper là một tác nhân thanh toán tự động được cung cấp bởi Coze AI để xử lý các giải pháp thị trường thông thường mà không cần sự can thiệp của con người.

Process

1. Quét — Người quản lý truy vấn định kỳ các thị trường đã qua thời gian kết thúc vẫn ở trạng thái TRADING.
2. Thu thập dữ liệu — Đối với mỗi thị trường đã hết hạn, người quản lý sẽ tìm nạp dữ liệu liên quan từ nhiều nguồn (tin tức APIs, nguồn cấp dữ liệu thể thao, nhà cung cấp dữ liệu tài chính).
3. Xác thực chéo — Dữ liệu AI tham chiếu chéo giữa các nguồn để xác định kết quả với độ tin cậy cao.
4. Gửi — Nếu độ tin cậy vượt quá ngưỡng, người giữ sẽ gửi giao dịch proposeOutcome() với tư cách là người đại diện của người tạo thị trường.
5. Giám sát — Người quản lý giám sát thời gian tồn tại của các tranh chấp và có thể cung cấp bằng chứng nếu bị thách thức.

Hệ thống này đảm bảo thị trường được giải quyết kịp thời ngay cả khi người sáng tạo không hoạt động, cải thiện trải nghiệm người dùng cho những người nắm giữ vị trí đang chờ đổi thưởng.

CTF Quy đổi

Sau khi thị trường đạt đến trạng thái RESOLVED, người nắm giữ vị trí sẽ đổi số tiền thắng của mình thông qua Khung mã thông báo có điều kiện Gnosis:

1. CTF của CTF đã được gọi với vectơ thanh toán cuối cùng (ví dụ: reportPayouts() cho YES chiến thắng).
2. Những người nắm giữ vị trí chiến thắng gọi CTF.redeemPositions(), đốt mã thông báo ERC-1155 của họ.
3. CTF giải phóng tài sản thế chấp theo tỷ lệ cho người mua lại.

Vị thế thua không có giá trị quy đổi. Trong trường hợp thị trường CANCELLED, cả mã thông báo YES và NO đều có thể mua lại với giá trị bằng nhau, trả lại tài sản thế chấp ban đầu.

Chống thư rác

Để ngăn chặn thị trường spam hoặc chất lượng thấp, người sáng tạo phải đặt cọc cổ phần khi tạo thị trường. Cổ phần này:

• Được hoàn lại sau khi thanh toán hợp lệ (thị trường giải quyết bình thường).
• Bị chém nếu thị trường bị hủy do thông số không hợp lệ, câu hỏi trùng lặp hoặc mục đích xấu.
• Đóng vai trò là sự gắn kết của người sáng tạo trong giai đoạn đề xuất lạc quan.

Số tiền đặt cược được quản trị viên nền tảng định cấu hình trên toàn cầu và có thể thay đổi tùy theo danh mục thị trường.