以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

DAO:DAOrayaki:預測市場的自動做市商

Author:

Time:1900/1/1 0:00:00

DAOrayakiDAO研究獎金池:

資助地址:DAOrayaki.eth

投票進展:DAOCommittee2/0?通過

賞金總量:100USDC

研究種類:DAO,AMM,LMSR,CPMM

原文作者:Gnosis

貢獻者:Dewei,DAOctor@DAOrayaki

原文:AutomatedMarketMakersforPredictionMarkets

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

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

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

Web3游戲DAO Game7公布開源技術資助計劃的首批受助項目:6月20日消息,由BitDAO和Forte支持的Web3游戲DAO Game7公布開源技術資助計劃的首批受助項目,含去中心化游戲開發工具包Jolly Roger(支持瀏覽器內置索引和EVM兼容網絡的Web3游戲集成)、基于Cairo VM和StarkNet技術堆棧的鏈上游戲引擎Dojo Engine、開源鏈上游戲Primodium。[2023/6/20 21:48:39]

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代幣。

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

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

ApeCoin DAO成立元宇宙工作組的新提案AIP-245獲得通過:金色財經報道,據Snapshot數據顯示,ApeCoin DAO成立元宇宙工作組的新提案AIP-245已獲得通過,該提案旨在建立一個元宇宙工作組。ApeCoin元宇宙工作組的任務是服務ApeCoin DAO內的元宇宙相關工作,支持可持續的社區主導的基礎設施,創造運營效率,推動APE文化進入元宇宙,同時發展社區主導的可持續元宇宙基礎設施。根據投票數據顯示,最終的贊成票比例為88.21%,反對票比例為11.79%。[2023/6/13 21:34:10]

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

基本AMM機制

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

Apollo DAO將關閉其Terra Classic vault,敦促用戶提取所有資金:9月14日,據官網公告,Terra收益聚合器Apollo宣布將關閉其Terra Classic vault。Apollo表示,自Terra崩潰以來回報率低且所需維護水平高,支持Terra Classic網絡不再有意義。

Apollo敦促Terra Classic上的所有Apollo用戶在引入Terra Tax之前提取所有資金,Apollo將引入“全部提取”按鈕簡化提取過程。[2022/9/14 13:28:24]

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

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

Layer2 DAO基礎協議Metis宣布與區塊鏈分析平臺PARSIQ達成戰略合作伙伴關系:據官方消息,美東時間6月8日,Layer 2 基礎協議Metis宣布與區塊鏈分析平臺PARSIQ達成戰略合作伙伴關系,并將合力推動Defi生態系統的數據處理及監控技術的完善,Metis Layer 2生態系統將受益于訪問 PARSIQ 的數據流處理服務,且為Defi項目提供更好的市場活動分析和安全功能。

PARSIQ 是一個區塊鏈監控和工作流自動化平臺,是區塊鏈和鏈下應用程序之間的多層次架構。PARSIQ 的 DeFi 豐富的合作伙伴名單也將受益于 Metis Layer 2,增加了越來越多的 DeFi 用例合作者名單,其中包括 Bagels Finance、OpenDeFi、Asteria 和 Rozoj。

Metis是Layer2 DAO基礎協議,用于DAC(去中心化的自組織公司)的創建、管理和發展。Metis通過其DAC框架,在高性能、高擴展性、低成本的Layer2之上支撐區中心化應用和經濟體的運行。[2021/6/9 23:24:34]

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

MakerDAO新增AAVE和Uniswap DAI-ETH LPToken作為Dai抵押品:12月22日消息,MakerDAO通過執行投票,新增AAVE和Uniswap DAI-ETH LPToken作為Dai抵押品以及通過其它參數調整。Uniswap DAI-ETH LPToken是Uniswap自動做市流動性份額。其他參數調整包括將ETH-A穩定費從2%增加到2.5%、ETH-A穩定費從2%增加到2.5%、WBTC-A穩定費從4%增加到4.5%、BAT-A穩定費從4%增加到8%、KNC-A穩定費從4%降低至2%等。[2020/12/22 16:05:42]

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

對于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:YESDAOLMSMSRLASEREYES幣StoneDAODLMS價格MSR價格

火幣APP下載
TAL:Web3迷思集(二):用戶擁有Web3至關重要

原文作者:俠客張 原文來源:不確定思維 繼續上一期迷思聊起。 我算是一個兼職的內容創作者,這幾年也斷斷續續輸出過一些文章。對于內容的所有權,毋庸置疑它屬于創作者.

1900/1/1 0:00:00
TTE:幣安流動性挖礦支持ZEN、LIT,並開放3個新流動性池

親愛的用戶: 幣安流動性挖礦現已支持ZEN、LIT資產,並開放3個新流動性池:ZEN/USDTZEN/BNBLIT/USDT註意:幣安流動性挖礦是壹種非保本收益產品.

1900/1/1 0:00:00
GATE:Gate.io 非首發上線Startup項目DOMI(DOMI)及免費認購規則公告(免費瓜分1,256,882 個DOMI)

關於Gate.ioStartup免費空投計劃爲回饋平臺用戶,Gate.io上線“免費空投計劃”,在Startup區不定期進行區塊鏈項目的免費空投計劃.

1900/1/1 0:00:00
CEL:幣安Staking上線CELO、ERN高收益活動,年化高達100.00%

親愛的用戶:幣安Staking平臺將於2022年01月13日20:00上線CELO、ERN高收益鎖倉活動,多重收益.

1900/1/1 0:00:00
SDT:一月限時活動

尊敬的WEEX用戶您好!2022新年一月限時活動,簡單投資低風險,年化率50%以上好康優惠,快來WEEX交易所.

1900/1/1 0:00:00
INB:Coinbase 收購 FairX:欲提供合規加密衍生品交易

加密交易所Coinbase正在收購受美國商品期貨交易委員會監管的衍生品平臺FairX,此舉可能為Coinbase在美國提供「加密衍生產品」打開大門.

1900/1/1 0:00:00
ads