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代币。
DAO magipop与iPollo元宇宙基础设施达成战略合作:据官方消息,Web3创作者DAO magipop与Nano Labs旗下的iPollo元宇宙基础设施达成战略合作,magipop于2022年曾获得了StepN的早期投资者、Prodigital Future Fund合伙人Curt Shi(侍海)的投资,在2023年的ETHDenver活动中,获得了NFT赛道bounty奖,证明了其在NFT领域的领先地位和实力。该合作将在iPollo元宇宙基础设施上提供更多创意和有趣的内容,吸引更多用户和社区参与,打造更加丰富的虚拟世界。[2023/3/23 13:22:20]
如果不下雨,Bob用10美元兑换他的10No代币。
Alice为她的代币支付了7.50美元,而Bob为他的代币支付了2.50美元。双方都会认为他们在交易时达成了不错的交易,因为Alice会认为她的代币至少价值8美元,即使她只为它们支付了7.50美元,而Bob会认为他的代币至少价值3美元,尽管他只支付了2.50美元。从外部看系统,根据Alice和Bob在该预测市场中的交易活动,人们可能会说星期六在Gotham下雨的几率约为75%。但是,要达到该概率估计需要从他们进行的交易中收集信息。
BonqDAO攻击事件(0x9210F)黑客地址向Tornado Cash转入70枚ETH:金色财经报道,据CertiK监测,BonqDAO攻击事件黑客地址2 (0x9210F) 向Tornado Cash转入70枚ETH(约11.7万美元)。
目前0x9210F地址中仍有7.5枚ETH和价值约61.3万美元的ALBT。[2023/2/5 11:48:02]
当然,增加更多的交易员和更多的交易,情况就会变得复杂。在许多交易者之间协调这些预测性资产的交易并理解交易对未来的看法可能很困难。这些交易者可能在不同时间活跃,如果没有多个订单簿,可能无法有效协调。通过汇总这些订单簿中的交易数据得出结果概率的简明衡量标准也变得更加困难。这些问题可以通过使用自动化做市商来改善。
基本AMM机制
本质上,自动做市商只是一个市场参与者,它是一个机器人,确保其库存中的每个结果都有一些结果代币,并且结果代币总是有一个可以提供的价格。只要AMM处于活动状态,交易者就可以为预测市场进行买卖结果代币,AMM将汇总交易数据以产生结果概率的估计值。
自动化法律应用联盟发布《DAO示范法》 旨在为DAO提供最佳实践指南:6月20日消息,自动化法律应用联盟(Coalition of Automated Legal Applications,COALA)发布DAO示范法(DAO Model Law)。DAO示范法表示,去中心化自治组织(DAO)可分为两大类:注册的DAO,即根据国家法律组织并在公司注册处注册的DAO;未注册的DAO,即在国家法律规定的法律框架之外创建的DAO,未在公司注册处注册。绝大多数现有的DAO是未注册的DAO,它们的法律地位目前还不确定:它们是合法的。其结果是大量的法律不确定性,这可能不利于开发和利用这种新的社会和商业组织模式。由于DAO本质上是跨国的,《DAO示范法》的起草者和撰稿人认为,最好采用一套统一的、可在国际上实施的示范规则,为DAO及其成员和参与者提供法律确定性。《示范法》旨在为DAO提供最佳实践指南,并鼓励各国采纳或将其规定纳入本国法律。各国应尽可能接近示范法的宗旨和目标,以避免监管分散,并为DAO在跨国基础上的法律地位提供一致的基础。[2021/6/20 23:51:14]
Gnosis为预测市场提供了两个自动化做市商的智能合约实现工具:对数市场评分规则(LogarithmicMarketScoringRules,LMSR)做市商和恒定产品做市商(ConstantProductMarketMaker,CPMM)。这两个做市商都需要资金才能获得开始提供流动性所需的初始结果代币。
火币观察区上线BADGER (Badger DAO):据官网公告,火币全球站全球观察区定于2021年1月20日20时开放BADGER (Badger DAO)币币交易,目前已开放 BADGER 的充币业务。火币将在开放交易后5分钟内限制限价交易的挂单价格,且价格不得高于开盘价格的5倍,5分钟后恢复正常交易。[2021/1/20 16:36:08]
最初由Robin·Hanson描述的LMSR做市商有着丰富的学术历史。它是专为预测市场用例设计的做市商,其属性已得到充分研究。
CPMM是一个较新的做市商,使用与Uniswap和Balancer池相同的机制。它也被称为Gnosis代码库中的固定产品做市商(FPMM)。它最初是为交换代币的更一般用例而设计的,但已针对固定产品做市商合约中的预测市场用例量身定制。
两个做市商都可以用交易之间保持不变的价值来描述。
对于LMSR,不变量的公式是:
invariant=sum(numOutcomes^(-numOutcomeTokensInvent))
MakerDAO创始人:与银行相比Maker运营更为精简且没有资本成本:8月18日,MakerDAO创始人Rune Christensen发推称,Maker社区、主导团队和Maker基金会仍在为RWA(真实世界资产 / 实体资产)正式进入行政投票做相关工作。虽然目前显然存在一些重大的技术和法律挑战,但趋势正在加速。当涉及RWA时,通常涉及DeFi的可持续性和长期使用案例时,Maker协议固有优势就开始真正体现。Rune Christensen表示,与银行相比,Maker运营更为精简,而且Maker没有资本成本。这是因为Maker的“借款人”实际上并没有从任何人那里借用Dai,而是直接生成DAI。这意味着如果Maker可以学会正确地为风险定价,那么Maker将能够削弱整个全球金融体系。今日早间消息,Maker为实体资产开启投票,将引入地产、贸易等企业。而早在6月,MakerDAO就已开展投票,决定是否接受真实资产作为加密贷款抵押品。[2020/8/18]
对于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实例库存中的结果代币数量,即使该参数完全由实例的库存决定。
Web1是关于去中心化和社区管理的开放协议。大部分的价值是由网络的边缘——用户和建设者来承担的。Web2是关于由企业经营的孤立的、中心化的服务.
1900/1/1 0:00:00本文将介绍如何在Astar网络通过PolkaEx赚取其平台代币$PKEX,包括如何在小狐狸上添加Astar网络,如何转移资产到Astar以及具体的赚币步骤。启动时间:2022年,1月24号,北京时间晚上8点.
1900/1/1 0:00:00愿景:去中心化私钥 Qredo的设计理念植根于认识到困扰加密市场的两个最重要的问题——安全性差和流动性分散——源于一个怪癖:私钥的集中管理。这使得机构难以进入生态系统,并启用了广泛的黑客目录.
1900/1/1 0:00:00互联网经济的一个神奇之处在于,观看互联网企业财富榜单,你会发现10年前的榜单和现在的榜单相差甚远。这并不是因为那些以前的顶级公司太过自满——事实上,他们中的大多数都疯狂地收购和制造产品,以避免被取代.
1900/1/1 0:00:00DEX市场规模正在以惊人的速度增长,今年1月其总成交量达1286亿美元,对比去年同期增长1.4倍;而在2020年1月这一数字仅为6亿美元,历史以跳跃的形式向前推进.
1900/1/1 0:00:002021年,加密行业经历了许多标志性的事件:Coinbase成功上市;微策略、PayPal和Tesla等传统公司拥抱加密货币;萨尔瓦多将比特币定为法定货币;美国上线比特币期货ETF;加密货币总市值超过2万亿美元大关;DeFi、新公链、.
1900/1/1 0:00:00