DAOrayaki：預測市場的自動做市商-ODAILY_FOR

DAOrayakiDAO研究獎金池：

預測市場需要流動性才能正常運行。然而，盡管大多數人都了解事件發生的可能性意味著什么，但在預測市場中將事件發生的可能性的知識轉化為相應的順序可能是一項困難的工作。而且，去協調參與者之間的預測性資產交易可能很棘手。

一個沒有做市商的簡單案例：

假設Alice和Bob想知道星期六歌譚市是否會下雨。事件的結果是Yes和No。Alice認為至少有80%的可能性會下雨，但Bob認為雖然在歌譚市看起來可能會下雨，但最多只有70%的可能性。

Alice和Bob可以一起以下列方式進行交易：

Alice將7.50美元轉換為7.5Yes和7.5No代幣，而Bob將2.50美元轉換為2.5Yes和2.5No代幣。

然后Alice將她的7.5No代幣換成Bob的2.5Yes代幣。

如果下雨，Alice用系統抵押的10美元贖回她的10個Yes代幣。

Helium：遷移至Solana后Helium錢包將立即支持原生sub DAO代幣贖回:金色財經報道，去中心化無線通信網絡Helium官方發文稱Binance.US宣布計劃在Solana遷移之前，于2023年3月21日下架HNT/USD和HNT/USDT交易對，盡管Helium基金會對Binance.US決定在遷移之前采取這一行動感到失望，但我們理解他們的立場。

Helium表示遷移后Helium錢包應用將立即支持原生subDAO代幣贖回（如HIP70中所述）以及SolanaDeFi平臺內的其他集成，同時為HNT解鎖更多去中心化交易協議。（Medium）[2023/3/14 13:02:38]

如果不下雨，Bob用10美元兌換他的10No代幣。

Alice為她的代幣支付了7.50美元，而Bob為他的代幣支付了2.50美元。雙方都會認為他們在交易時達成了不錯的交易，因為Alice會認為她的代幣至少價值8美元，即使她只為它們支付了7.50美元，而Bob會認為他的代幣至少價值3美元，盡管他只支付了2.50美元。從外部看系統，根據Alice和Bob在該預測市場中的交易活動，人們可能會說星期六在Gotham下雨的幾率約為75%。但是，要達到該概率估計需要從他們進行的交易中收集信息。

NFT借貸協議ParaSpace計劃明年第一季度創建DAO并發行代幣:12月12日消息，波卡生態DeFi平臺Parallel Finance推出的NFT借貸協議ParaSpace在推特上表示，ParaSpace計劃在12月16日前轉向時間鎖合約并啟動一個論壇來使得團隊和社區對可以提案進行討論。此外，原本計劃于2023年第二季度發行治理代幣和創建DAO的計劃將提前至第一季度進行。

據悉，ParaSpace和其平臺上的APE質押功能于昨日正式啟用。用戶可通過NFT借貸形式來進行的APE質押。[2022/12/12 21:39:17]

當然，增加更多的交易員和更多的交易，情況就會變得復雜。在許多交易者之間協調這些預測性資產的交易并理解交易對未來的看法可能很困難。這些交易者可能在不同時間活躍，如果沒有多個訂單簿，可能無法有效協調。通過匯總這些訂單簿中的交易數據得出結果概率的簡明衡量標準也變得更加困難。這些問題可以通過使用自動化做市商來改善。

基本AMM機制

CZ：超過65%的提案由10%的DAO組織發起，大部分DAO很少提案:8月3日消息，CZ在其社交網站表示，超過65%的提案是由10%的DAO組織發起；而60%的DAO組織自成立以來僅提出了三個甚至更少的提案。[2022/8/3 2:56:01]

本質上，自動做市商只是一個市場參與者，它是一個機器人，確保其庫存中的每個結果都有一些結果代幣，并且結果代幣總是有一個可以提供的價格。只要AMM處于活動狀態，交易者就可以為預測市場進行買賣結果代幣，AMM將匯總交易數據以產生結果概率的估計值。

Gnosis為預測市場提供了兩個自動化做市商的智能合約實現工具：對數市場評分規則(LogarithmicMarketScoringRules,LMSR)做市商和恒定產品做市商(ConstantProductMarketMaker,CPMM)。這兩個做市商都需要資金才能獲得開始提供流動性所需的初始結果代幣。

最初由Robin·Hanson描述的LMSR做市商有著豐富的學術歷史。它是專為預測市場用例設計的做市商，其屬性已得到充分研究。

Force DAO 代幣增發漏洞簡析:據慢霧區消息，DeFi 量化對沖基金 Force DAO 項目的 FORCE 代幣被大量增發。經慢霧安全團隊分析發現： 在用戶進行 deposit 操縱時，Force DAO 會為用戶鑄造 xFORCE 代幣，并通過 FORCE 代幣合約的 transferFrom 函數將 FORCE 代幣轉入 ForceProfitSharing 合約中。但 FORCE 代幣合約的 transferFrom 函數使用了 if-else 邏輯來檢查用戶的授權額度，當用戶的授權額度不足時 transferFrom 函數返回 false，而 ForceProfitSharing 合約并未對其返回值進行檢查。導致了 deposit 的邏輯正常執行，xFORCE 代幣被順利鑄造給用戶，但由于 transferFrom 函數執行失敗 FORCE 代幣并未被真正充值進 ForceProfitSharing 合約中。最終造成 FORCE 代幣被非預期的大量鑄造的問題。 此漏洞發生的主要原因在于 FORCE 代幣的 transferFrom 函數使用了`假充值`寫法，但外部合約在對其進行調用時并未嚴格的判斷其返回值，最終導致這一慘劇的發生。慢霧安全團隊建議在對接此類寫法的代幣時使用 require 對其返回值進行檢查，以避免此問題的發生。[2021/4/4 19:45:30]

CPMM是一個較新的做市商，使用與Uniswap和Balancer池相同的機制。它也被稱為Gnosis代碼庫中的固定產品做市商(FPMM)。它最初是為交換代幣的更一般用例而設計的，但已針對固定產品做市商合約中的預測市場用例量身定制。

MakerDAO宣布與付款處理器Simplex合作:3月3日消息，MakerDAO宣布與付款處理器Simplex合作，為穩定幣Dai創建法幣入口。（Coinelegraph ）[2020/3/3]

兩個做市商都可以用交易之間保持不變的價值來描述。

對于LMSR，不變量的公式是：

invariant=sum(numOutcomes^(-numOutcomeTokensInvent））

對于CPMM，不變量的公式是：

invariant=product(numOutcomeTokensInInventoryForOutcome

可以在恒定函數做市商的上下文中考慮該不變值。

當交易者從AMM購買數量的結果代幣時，基本上會發生以下步驟：

交易者將成本金額發送到AMM。

AMM將收到的成本金額轉換為一組結果代幣，并將結果代幣添加到其庫存中。AMM的不變表達式現在被破壞了。

AMM現在將足夠的所需結果代幣發送回交易者，以便恢復不變量。這是購買的所需結果代幣的數量。

同樣，銷售工作如下：

交易者將已售出的結果代幣數量發送給AMM。

AMM將出售的結果代幣添加到其庫存中。AMM的不變表達式現在被破壞了。

AMM將一定數量的全套結果代幣轉換回抵押品并將該抵押品發送回交易者，以便恢復不變量。這個金額是銷售價格。

兩個AMM也可以估計結果的幾率。

LMSR結果的幾率可以通過以下公式找到：

oddsForOutcome=numOutcomes^(-numOutcomeTokensInInven）

可以使用以下公式找到CPU獲得結果的幾率：

oddsWeightForOutcome=product(numOutcomeTokensInInven）

oddsForOutcome=oddsWeightForOutcome/sum(oddsWeight）

LMSR示例

讓我們回到哥譚的Alice和Bob。我們將用10美元創建和資助一個名為CPU的LMSR做市商。CPU接受資金并將其轉換為10Yes和10No用于自己的庫存。市場的初始賠率估計為50:50。

現在假設Alice從CPU購買價值10美元的Yes代幣：

Alice向CPU發送10美元。

CPU將10美元變成10個Yes和10個No代幣。CPU現在有20個Yes和20個No標記，CPU的不變量被破壞。

CPU向Alice返回15.84963Yes代幣，恢復不變量。

在本次交易結束時，CPU有4.15037個Yes和20個No代幣，它估計Yes的幾率為75%，No的幾率為25%。

CPMM示例：

讓我們用10美元資助一個名為Digi的CPMM。與CPU一樣，Digi需要10美元，將其轉換為10個Yes和10個No代幣，并將它們添加到其庫存中。

現在假設Alice從Digi購買了價值10美元的Yes代幣：

Alice向Digi匯了10美元。

Digi將10美元變成10Yes和10No代幣。Digi現在有20個Yes和20個No標記，打破了它的不變量。

Digi將15個Yes代幣返還給Alice，恢復不變量。

在本次交易結束時，Digi有5個Yes和20個No代幣，它估計Yes的幾率是80%，No的幾率是20%。

LMSW和CPMM之間的差異

LMSR和CPMM除了不同曲線形狀的數值差異外，還有一些差異。這些差異體現在每個應用程序中的優點和缺點上。

LMSR優勢

一方面，LMSR在學術工作中得到更多認可，其性質比CPMM研究得更多。更容易找到關于LMSR屬性的論文，或者利用對這個做市商的現有研究。

當應用于組合預測市場時，LMSR分解為自相似的組件。它在這些場景中的分析已經在文獻中進行了相當多的探討。

最后，使用LMSR進行買賣的封閉式表達式允許計算同時進行的一批買賣的凈成本。CPMM不承認預測市場用例的這種表達方式，因此合約上的買賣僅限于一次一個結果代幣。

CPMM優勢

CPMM中涉及的算術往往比LMSR更基本。無需使用COMM編程對數和指數的近似值。

CPMM也可以很容易地動態眾籌，類似于Uniswap和Balancer池。但是，LMSR做市商不容易動態眾籌。LMSR的資金參數沒有基本的封閉形式，取決于LMSR實例庫存中的結果代幣數量，即使該參數完全由實例的庫存決定。

Tags：FORYESLMSMSRFortem CapitalLASEREYES價格DLMS幣MSRFC

酷幣下載