Nhóm tiền thưởng nghiên cứu DAOrayaki DAO:

Địa chỉ tài trợ: DAOrayaki.eth

Địa chỉ tài trợ: DAOrayaki.eth

Tổng tiền thưởng: 100 USDC

Tiến trình bỏ phiếu: Ủy ban DAO 2/0 thông qua

Tổng tiền thưởng: 100 USDC

Các loại nghiên cứu: DAO, AMM, LMSR, CPMM

Tác giả gốc: Gnosis

Người đóng góp: Dewei, DAOctor @DAOrayaki

Bản gốc: Nhà tạo lập thị trường tự động cho thị trường dự đoán

Thị trường dự đoán yêu cầu thanh khoản để hoạt động bình thường. Tuy nhiên, trong khi hầu hết mọi người hiểu khả năng xảy ra của các sự kiện nghĩa là gì, thì việc dịch kiến ​​thức về khả năng xảy ra của các sự kiện thành một thứ tự tương ứng trong thị trường dự đoán có thể là một công việc khó khăn. Ngoài ra, việc điều phối các giao dịch tài sản dự đoán giữa những người tham gia có thể khó khăn.

Một trường hợp đơn giản không có nhà tạo lập thị trường:

• Giả sử Alice và Bob muốn biết liệu trời có mưa ở Thành phố Gotham vào Thứ Bảy hay không. Kết quả của sự kiện là Có và Không. Alice nghĩ rằng có ít nhất 80% khả năng có mưa, nhưng Bob nghĩ rằng mặc dù có vẻ như trời sẽ mưa ở Gotham, nhưng khả năng cao nhất chỉ là 70%.

• Alice và Bob có thể giao dịch với nhau theo các cách sau:

• Alice chuyển đổi 7,5 đô la thành mã thông báo 7,5 Có và 7,5 Không và Bob chuyển đổi 2,50 đô la thành mã thông báo 2,5 Có và 2,5 Không.

• Alice sau đó đổi 7,5 Không có mã thông báo của mình để lấy 2,5 Có mã thông báo của Bob.

Nếu trời mưa, Alice sẽ đổi 10 thẻ Yes của mình bằng 10 đô la được thế chấp bởi hệ thống.

Nếu trời không mưa, Bob đổi 10 đô la của mình lấy 10 Không có mã thông báo nào.

Alice đã trả 7,5 đô la cho mã thông báo của cô ấy và Bob đã trả 2,5 đô la cho mã thông báo của anh ấy. Cả hai bên sẽ nghĩ rằng họ đã có một thỏa thuận tốt khi họ giao dịch, bởi vì Alice sẽ nghĩ rằng mã thông báo của cô ấy trị giá ít nhất là 8 đô la, mặc dù cô ấy chỉ trả 7,50 đô la cho chúng và Bob sẽ nghĩ rằng mã thông báo của anh ấy trị giá ít nhất là 3 đô la, mặc dù Anh ấy chỉ đã trả $2,50. Nhìn vào hệ thống từ bên ngoài, người ta có thể nói rằng có khoảng 75% khả năng mưa ở Gotham vào thứ Bảy, dựa trên hoạt động giao dịch của Alice và Bob trong thị trường dự đoán đó. Tuy nhiên, để đạt được ước tính xác suất đó yêu cầu thu thập thông tin từ các giao dịch mà họ thực hiện.

Tất nhiên, thêm nhiều thương nhân và nhiều giao dịch hơn, và mọi thứ trở nên phức tạp. Phối hợp các giao dịch trong các tài sản dự đoán này giữa nhiều nhà giao dịch và hiểu những gì các giao dịch nói về tương lai có thể khó khăn. Những nhà giao dịch này có thể hoạt động vào những thời điểm khác nhau và không thể phối hợp hiệu quả nếu không có nhiều sổ lệnh. Nó cũng trở nên khó khăn hơn để đạt được một thước đo ngắn gọn về xác suất của một kết quả bằng cách tổng hợp dữ liệu giao dịch trong các sổ lệnh này. Những vấn đề này có thể được cải thiện bằng cách sử dụng các nhà tạo lập thị trường tự động.

Cơ chế AMM cơ bản

Về cơ bản, Nhà tạo lập thị trường tự động (AMM) chỉ là một bên tham gia thị trường, một robot đảm bảo rằng mọi kết quả trong kho của nó đều có một số mã thông báo kết quả và mã thông báo kết quả đó luôn có mức giá mà nó có thể đưa ra. Người giao dịch có thể mua và bán mã thông báo kết quả cho thị trường dự đoán miễn là AMM đang hoạt động và AMM sẽ tổng hợp dữ liệu giao dịch để đưa ra ước tính về xác suất kết quả.

Gnosis cung cấp hai công cụ triển khai hợp đồng thông minh cho các nhà tạo lập thị trường tự động cho các thị trường dự đoán: các nhà tạo lập thị trường Quy tắc chấm điểm thị trường logarit (LMSR) và các nhà tạo lập thị trường sản phẩm không đổi (CPMM). Cả hai nhà tạo lập thị trường đều cần vốn để có được mã thông báo kết quả ban đầu cần thiết để bắt đầu cung cấp thanh khoản.

Các nhà tạo lập thị trường LMSR, ban đầu được mô tả bởi Robin Hanson, có một lịch sử học thuật phong phú. Nó là một nhà tạo lập thị trường được thiết kế cho các trường hợp sử dụng thị trường dự đoán và các thuộc tính của nó đã được nghiên cứu kỹ lưỡng.

CPMM là một nhà tạo lập thị trường mới hơn sử dụng cơ chế tương tự như nhóm Uniswap và Balancer. Nó còn được gọi là Nhà tạo thị trường sản phẩm cố định (FPMM) trong cơ sở mã Gnosis. Ban đầu nó được thiết kế cho trường hợp sử dụng phổ biến hơn là trao đổi mã thông báo, nhưng đã được điều chỉnh cho trường hợp sử dụng thị trường dự đoán trong các hợp đồng của nhà sản xuất thị trường sản phẩm cố định.

invariant = sum(num Outcomes^(-num Outcome Tokens Invent））

Cả hai nhà tạo lập thị trường có thể được mô tả bằng một giá trị không đổi giữa các giao dịch.

invariant = product(numOutcomeTokensInInventoryForOutcome

Đối với LMSR, công thức cho bất biến là:

Đối với CPMM, công thức cho bất biến là:

• Giá trị bất biến này có thể được xem xét trong bối cảnh của một nhà tạo lập thị trường chức năng không đổi.

• Khi một nhà giao dịch mua một số lượng Token kết quả từ AMM, về cơ bản sẽ diễn ra các bước sau:

• Nhà giao dịch gửi số tiền chi phí tới AMM.

AMM chuyển đổi số tiền chi phí nhận được thành một tập hợp mã thông báo kết quả và thêm mã thông báo kết quả vào khoảng không quảng cáo của nó. Các biểu thức bất biến của AMM hiện đã bị hỏng.

• AMM hiện gửi đủ mã thông báo kết quả mong muốn trở lại người giao dịch để các bất biến được khôi phục. Đây là số lượng mã thông báo kết quả mong muốn được mua.

• Tương tự như vậy, bán hàng hoạt động như sau:

• Nhà giao dịch gửi số lượng mã thông báo kết quả đã bán cho AMM.

AMM thêm mã thông báo kết quả của việc bán hàng vào kho của nó. Các biểu thức bất biến của AMM hiện đã bị hỏng.

AMM chuyển đổi một số lượng nhất định của toàn bộ mã thông báo kết quả trở lại thành tài sản thế chấp và gửi tài sản thế chấp đó trở lại người giao dịch để khôi phục các giá trị bất biến. Số tiền này là giá bán.

oddsForOutcome = numOutcomes^(-numOutcomeTokensInInven）

Hai AMM cũng có thể ước tính tỷ lệ cược của một kết quả.

oddsWeightForOutcome = product(numOutcomeTokensInInven）

oddsForOutcome = oddsWeightForOutcome / sum(oddsWeight）

Tỷ lệ cược của một kết quả LMSR có thể được tìm thấy bằng công thức sau:

Cơ hội đạt được kết quả của CPU có thể được tìm thấy bằng cách sử dụng công thức sau:

ví dụ LMSR

• Hãy quay trở lại với Alice và Bob ở Gotham. Chúng tôi sẽ sử dụng 10 đô la để tạo và tài trợ cho một nhà tạo lập thị trường LMSR có tên là CPU. CPU lấy tiền và chuyển nó thành 10 Có và 10 Không cho kho của chính nó. Tỷ lệ cược ban đầu trên thị trường được ước tính là 50:50.

• Bây giờ, giả sử Alice mua mã thông báo Yes trị giá $10 từ CPU:

• Alice gửi $10 cho CPU.

CPU biến 10 đô la thành 10 thẻ Có và 10 Không. CPU hiện có 20 mã thông báo Có và 20 Không, đồng thời giá trị bất biến của CPU bị hỏng (giá trị bất biến phải là 1, nhưng hiện tại là 1/2).

CPU trả về 15.84963 mã thông báo Yes cho Alice, khôi phục các giá trị bất biến.

Vào cuối giao dịch này, CPU có 4.15037 Có và 20 mã thông báo Không, ước tính 75% cơ hội Có và 25% cơ hội Không.

Ví dụ CPMM:

• Hãy tài trợ cho một CPMM có tên là Digi với 10 đô la. Giống như CPU, Digi lấy 10 đô la, chuyển đổi nó thành 10 thẻ Có và 10 Không, rồi thêm chúng vào kho của mình.

• Bây giờ, giả sử Alice mua mã thông báo Có trị giá 10 đô la từ Digi:

• Alice gửi $10 cho Digi.

Digi biến 10 đô la thành 10 Có và 10 Không. Digi hiện có 20 Có và 20 Không có mã thông báo, phá vỡ tính bất biến của nó (bất biến phải là 100, nhưng bây giờ là 400).

Digi trả lại 15 thẻ Yes cho Alice, khôi phục giá trị bất biến.

Khi kết thúc giao dịch này, Digi có 5 đồng xu Có và 20 đồng xu Không, và ước tính khả năng trả lời Có là 80% và khả năng trả lời Không là 20%.

Sự khác biệt giữa LMSW và CPMM

LMSR và CPMM có một số khác biệt bên cạnh sự khác biệt về số lượng của các hình dạng đường cong khác nhau. Những khác biệt này thể hiện ở điểm mạnh và điểm yếu trong từng ứng dụng.

Ưu điểm của LMSR

Một mặt, LMSR được công nhận nhiều hơn trong công việc học thuật và các thuộc tính của nó được nghiên cứu nhiều hơn CPMM. Sẽ dễ dàng hơn để tìm các bài báo về các thuộc tính của LMSR hoặc sử dụng nghiên cứu hiện có về nhà tạo lập thị trường này.

Khi được áp dụng cho các thị trường dự đoán tổng hợp, LMSR sẽ phân tách thành các thành phần tương tự nhau. Phân tích của nó trong các tình huống này đã được khám phá khá nhiều trong tài liệu.

Cuối cùng, một biểu thức dạng đóng để mua và bán bằng LMSR cho phép tính toán chi phí ròng của một đợt mua và bán đồng thời. CPMM không nhận ra biểu thức này của trường hợp sử dụng thị trường dự đoán, do đó, việc mua và bán trên hợp đồng được giới hạn ở một mã thông báo kết quả tại một thời điểm.

Ưu điểm của CPMM