UMA Optimistic Oracle

UMA Oracle lạc quan là gì?

UMA Lạc QuanOracle là một thiết kế oracle phi tập trung cho phép hợp đồng thông minh yêu cầu một sự thật cụ thể (thường được viết dưới dạng tuyên bố bằng ngôn ngữ tự nhiên), chấp nhận một câu trả lời được đề xuất theo mặc định, và chỉ leo thang lên một quy trình xác minh dựa trên bỏ phiếu nếu câu trả lời bị thách thức.

Cách tiếp cận “lạc quan” này được sử dụng rộng rãi trong thị trường dự đoán và các ứng dụng khác cần sự thật linh hoạt, dựa trên sự kiện mà không phải trả tiền để công bố các nguồn dữ liệu liên tục. Nó đặc biệt liên quan đến cách mà các thị trường dự đoán giải quyết kết quả, vì nó cung cấp một cách có cấu trúc để biến các sự kiện thực tế lộn xộn thành một kết quả thanh toán trên chuỗi.

Oracle UMA

Trong crypto, “Oracle UMA” thường đề cập đến bộ oracle rộng hơn của UMA: một lớp lạc quan cho các khẳng định nhanh và chi phí thấp cộng với một hệ thống tranh chấp dự phòng gọi là cơ chế xác minh dữ liệu. Thay vì liên tục đẩy dữ liệu lên chuỗi, UMA được thiết kế cho các yêu cầu “kéo” — dữ liệu chỉ được lấy và xác minh khi một hợp đồng cần nó.

Điều này khiến nó phù hợp với các câu hỏi dài hạn (ví dụ, “Sự kiện X có xảy ra vào ngày Y không?”) mà không phù hợp với một nguồn giá. Ý tưởng chính là an ninh kinh tế: các người tham gia đặt cọc, và hành vi không trung thực có thể bị phạt nếu một tranh chấp chứng minh họ sai.

UMA OO

“UMA OO” là viết tắt của Oracle Lạc Quan UMA. Vòng đời rất đơn giản: một người yêu cầu (như một dApp) đặt một câu hỏi; một người đề xuất gửi một câu trả lời cùng với một khoản cọc; sau đó câu trả lời trở thành cuối cùng sau một khoảng thời gian tranh chấp nếu không ai thách thức nó.

Nếu ai đó tranh chấp, hệ thống sẽ leo thang lên lớp xác minh của UMA, nơi các chủ sở hữu token UMA (hoặc cử tri được ủy quyền) xác định kết quả đúng theo các quy tắc và bằng chứng đã định trước. Cấu trúc này cũng hoạt động như một mạng lưới “người giữ” phi tập trung: các người đề xuất có động lực kinh tế để theo dõi các sự kiện và gửi các giải pháp kịp thời, trong khi các người tranh chấp có động lực để thách thức các câu trả lời không chính xác.

Oracle UMA Polymarket

Oracle Lạc Quan của UMA thường được liên kết với Polymarket vì các thị trường dự đoán cần một cách đáng tin cậy để giải quyết các kết quả xảy ra ngoài chuỗi. Trong một quy trình điển hình, các tiêu chí giải quyết của thị trường được mã hóa dưới dạng một tuyên bố rõ ràng (ví dụ, tham chiếu đến một nguồn chính thức hoặc một điều kiện cụ thể), và oracle được yêu cầu xác minh xem tuyên bố đó có đúng vào thời điểm giải quyết hay không.

Một người đề xuất gửi kết quả mà họ tin là phù hợp với các quy tắc, và thị trường chờ qua khoảng thời gian tranh chấp trước khi trả tiền cho người chiến thắng. Đây là một mô hình thực tiễn cho các thị trường dự đoán: thay vì tin tưởng vào một nhà điều hành duy nhất, hệ thống dựa vào sự tham gia mở cộng với các động lực kinh tế để giữ cho các giải pháp chính xác.

UMA giải quyết thị trường như thế nào

UMA giải quyết các thị trường thông qua một trò chơi leo thang: chấp nhận một câu trả lời nhanh chóng khi nó không gây tranh cãi, nhưng cung cấp một con đường đáng tin cậy để thách thức và phân xử khi nó bị tranh chấp.

Từng bước, nó hoạt động như sau: (1) hợp đồng thị trường yêu cầu một giải pháp và chỉ định tuyên bố và các tham số; (2) một người đề xuất đăng một câu trả lời và một khoản cọc; (3) bất kỳ ai cũng có thể tranh chấp trong khoảng thời gian tranh chấp bằng cách đăng cọc của riêng họ; (4) nếu không bị tranh chấp, câu trả lời của người đề xuất sẽ được xác nhận; (5) nếu bị tranh chấp, câu hỏi sẽ được gửi đến cơ chế xác minh dữ liệu của UMA để bỏ phiếu, và kết quả bỏ phiếu trở thành sự thật chính thức được sử dụng để thanh toán. Phép ẩn dụ là một khoản tiền đặt cọc cộng với một quy trình kháng cáo: hầu hết các giao dịch cho thuê kết thúc suôn sẻ (không có tranh chấp), nhưng nếu có sự bất đồng, một phán quyết chính thức sẽ quyết định ai giữ khoản đặt cọc.

Oracle lạc quan UMA v2 so với v3

Oracle Lạc Quan v2 và v3 là các phiên bản của cùng một khái niệm cốt lõi—các khẳng định lạc quan với sự leo thang tranh chấp—nhưng chúng khác nhau về cách các tích hợp được đóng gói và quản lý.

Nói chung, v2 được tích hợp rộng rãi và cung cấp các mẫu linh hoạt cho các hợp đồng yêu cầu và xác minh dữ liệu, trong khi v3 hiện đại hóa quy trình khẳng định và làm cho việc cấu hình các tham số như cọc và thời gian sống (thời gian mà một khẳng định có thể bị thách thức) trở nên dễ dàng hơn.

Nhiều nhóm cũng sử dụng một biến thể oracle lạc quan được quản lý để chuẩn hóa ai có thể đề xuất, cách các tranh chấp được xử lý, và các mặc định nào áp dụng—hữu ích khi một ứng dụng muốn có các rào cản xung quanh hành vi của người đề xuất mà không từ bỏ khả năng leo thang các tranh chấp lên hệ thống xác minh rộng hơn của UMA.

Đối với các nhà phát triển, lựa chọn thực tiễn thường phụ thuộc vào giao diện nào phù hợp nhất với kiến trúc hợp đồng và kiểm soát rủi ro của họ.

Tại sao Oracle Lạc Quan UMA lại quan trọng

Oracle Lạc Quan UMA quan trọng vì nó mở rộng những gì các ứng dụng trên chuỗi có thể làm một cách an toàn với thực tế ngoài chuỗi. Các oracle dựa trên đẩy xuất sắc trong việc phát trực tiếp các chỉ số khách quan như giá cả, nhưng nhiều trường hợp sử dụng DeFi và Web3 phụ thuộc vào các sự thật một lần, nặng về ngữ cảnh—đúng nơi mà xác minh lạc quan tỏa sáng.

Bằng cách làm cho “sự thật” trở nên rẻ khi mọi người đồng ý và đắt chỉ khi có sự bất đồng, thiết kế này có thể mở rộng đến nhiều câu hỏi ngách trong khi giữ cho an ninh được neo trong một quy trình tranh chấp.

Nó cũng làm rõ các đánh đổi mà người dùng và nhà xây dựng nên hiểu, bao gồm các rủi ro về quản trị và động lực: nếu các tranh chấp hiếm, hệ thống sẽ hiệu quả; nếu các tranh chấp thường xuyên hoặc sự tham gia bỏ phiếu yếu, các kết quả có thể trở nên gây tranh cãi.

Đó là lý do tại sao các so sánh như chainlink so với UMA là phổ biến—Chainlink thường được định hình xung quanh các nguồn dữ liệu liên tục, trong khi UMA thường được chọn cho xác minh tùy chỉnh, dựa trên sự kiện. Đối với bất kỳ ai đang tìm hiểu cách mà các thị trường dự đoán giải quyết kết quả trên chuỗi, mô hình của UMA là một mẫu nền tảng: tính cuối cùng lạc quan được hỗ trợ bởi một con đường có thể thực thi để thách thức và xác minh.