DAO:DAOrayaki：预测市场的自动做市商-ODAILY

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

MakerDAO对一项要求其代表隐藏身份和行踪的提案进行投票:5月22日消息，MakerDAO正在对一项要求其代表隐藏身份和行踪的提案进行投票，MakerDAO将向任何可以提供代表身份已公开的证据的成员提供“举报人赏金”，MakerDAO创始人Rune Christensen表示，强制匿名可以更好地保护MakerDAO成员免受犯罪分子和敌对政府的攻击。该提案现已提交给MakerDAO成员批准。[2023/5/22 15:17:40]

如果不下雨，Bob用10美元兑换他的10No代币。

Alice为她的代币支付了7.50美元，而Bob为他的代币支付了2.50美元。双方都会认为他们在交易时达成了不错的交易，因为Alice会认为她的代币至少价值8美元，即使她只为它们支付了7.50美元，而Bob会认为他的代币至少价值3美元，尽管他只支付了2.50美元。从外部看系统，根据Alice和Bob在该预测市场中的交易活动，人们可能会说星期六在Gotham下雨的几率约为75%。但是，要达到该概率估计需要从他们进行的交易中收集信息。

Spiral DAO向DeFi用户空投的计划将延迟3周执行:4月10日，据官方推特，Spiral DAO计划将初始代币供应的3-5%空投至现有的Balancer、CRV、FXS和SDT质押者以及其他DeFi用户的计划将延迟3周执行，持有金额大于指定阈值的用户才有资格获得空投。

据悉，Spiral DAO采取了一种新颖的DAO模型，将创新带入流动性挖矿、贿赂市场和VeTokenomics。Spiral DAO向其用户分发原生代币奖励，为流动性提供者（LP）提供额外的收益提升和激励。[2023/4/10 13:55:00]

当然，增加更多的交易员和更多的交易，情况就会变得复杂。在许多交易者之间协调这些预测性资产的交易并理解交易对未来的看法可能很困难。这些交易者可能在不同时间活跃，如果没有多个订单簿，可能无法有效协调。通过汇总这些订单簿中的交易数据得出结果概率的简明衡量标准也变得更加困难。这些问题可以通过使用自动化做市商来改善。

基本AMM机制

ADAMoracle将于4月22日启动ADAO与ADAM双币质押:据官方消息，2022年4月22日12:00（GMT+4）,ADAMoracle将正式启动治理代币ADAO与ADAM双币运行。届时，ADAMoracle广域节点挖矿将增加对治理代币ADAO的支持。用户可采用ADAO+ADAM混合质押挖矿的模式产出ADAM，按照100:1的比例，使用ADAO抵扣ADAM并进行抵押。如：每10T需质押1万ADAO和200枚ADAM。

ADAO是基于Web3.0并支持ADAMoracle加密数据计算网络的DAO平台，由ADAMoracle官方发起成立，其治理代币总量为100亿枚，宗旨是助力ADAMoracle全球化发展。[2022/4/19 14:33:51]

本质上，自动做市商只是一个市场参与者，它是一个机器人，确保其库存中的每个结果都有一些结果代币，并且结果代币总是有一个可以提供的价格。只要AMM处于活动状态，交易者就可以为预测市场进行买卖结果代币，AMM将汇总交易数据以产生结果概率的估计值。

资产配置治理组织PieDAO发布提案，将成立NFT封闭式投资基金:2月21日消息，资产配置治理组织 PieDAO 发布提案 PIP-72，提案目的为推动成立 NFT 专项封闭式投资基金。基金运作方式为：DAO 组织初始融资轮融资，投资者在特定时期内将 ETH 存入智能合约，并按其贡献比例获得代表基金份额的 Token。融资成功后，基金管理者根据 PieDAO 事先定义的一套执行标准去购买 NFT。在到达预定时间后，该基金卖出之前购买的 NFT，卖出收益将作为基金收益，供基金份额 Token 持有者分享。目前该提案正在社区讨论。[2022/2/21 10:06:17]

Gnosis为预测市场提供了两个自动化做市商的智能合约实现工具：对数市场评分规则(LogarithmicMarketScoringRules,LMSR)做市商和恒定产品做市商(ConstantProductMarketMaker,CPMM)。这两个做市商都需要资金才能获得开始提供流动性所需的初始结果代币。

律师：MakerDAO集体诉讼一案原告诉求面临挑战:华盛顿律师事务所Anderson Kill的合伙人Stephen Palley在TheBlock刊文评论针对MakerDAO的集体诉讼。原告表示，债务抵押债券（CDP）中抵押品的损失被清算，是因为软件设计存在缺陷，以及未披露或被误传的风险，使得机器人能够在拍卖过程中无需竞标就能以零成本购买抵押品。事实和法律可能会给原告的追偿诉求带来挑战，但被告面临着长期的潜在风险，这是由于他们对DAI和MKR的相对分散和控制的不利事实调查结果。[2020/4/17]

最初由Robin·Hanson描述的LMSR做市商有着丰富的学术历史。它是专为预测市场用例设计的做市商，其属性已得到充分研究。

CPMM是一个较新的做市商，使用与Uniswap和Balancer池相同的机制。它也被称为Gnosis代码库中的固定产品做市商(FPMM)。它最初是为交换代币的更一般用例而设计的，但已针对固定产品做市商合约中的预测市场用例量身定制。

两个做市商都可以用交易之间保持不变的价值来描述。

对于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实例库存中的结果代币数量，即使该参数完全由实例的库存决定。

标签：DAOADAYESLMSmakerdao创始人mushgainada币2023年能涨多少EYES ProtocolDLMS

Gate.io热门资讯