我们认为,在这种情况下,如果有良好的图形界面,直接近似显示对用户来说更简单,因此进一步增加了生产性协调难度和非生产性协调难度之间的差距。我们描述了一个近似启发过程,参考了Critch2022以及一个使用随机梯度下降(SGD)的策略执行器,尽管我们可以使用任何全局优化算法,例如Adam、Adagrad等。然后我们讨论计算可行性以及如何使策略执行器无需信任和/或保持隐私。
想要进一步了解二次方融资机制背景及相关实践和研究,可查看文末参考文献,DAOrayaki去中心化编辑委员会对二次方机制特作整理。
标准QF策略中的信息挑战
Buterin、Weyl和Hitzig指出,“动态实施很可能是可取的,因为最佳贡献仍将取决于其他人的贡献”。换句话说,除非我知道别人贡献了多少,否则我不知道贡献多少,但除非他们知道我贡献了多少,否则其他人不知道贡献多少。但老实说,我不会经常登录来检查和调整我的分配。
让我们说明如果只是简单地呈现匹配的静态预计会发生什么。每个项目将从$0的静态匹配开始。第一个收到贡献的项目将跳转到100%预算的静态匹配。这会随着时间的推移而稀释,但最初的影响是如此之大,以至于它很可能会持续存在,即实际上,被“吸引”来的参与者不会作二次检查然后退出。
直观的结论是,“先行者”对公共物品的结果具有不成比例的影响。Gitcoin的相关数据初步表明,可能确实存在先行者优势。
我们能想出一个“智能”预计吗?这样的努力可能会面临全信息限制,引入中心化的严重偏见,或两者兼而有之。
显示原理
显示原理指出,对于任何机制m1都有一个“直接机制”m2,直接询问代理人的偏好并为他们执行策略。是否m2比m1更有用,取决于偏好的描述长度。在QF这里,完整的偏好描述是一个连续函数
;但是,我们可以近似指定此函数为一维或二维的一些数据点。请注意,我们不考虑联合效用,因为这会增加描述长度;所以,这更适用于相对独立的商品或单一商品的博弈。
启发
我们有无数的方法来改善用户界面,但一个简单的界面可能是一个基于点击/拖动的界面,人们可以拖动和/或键入一些
的值。另一个可能是“批量价格”用户界面,用户可以对我们的“批量折扣”出价,直到他们满意为止。我们还向用户解释,他们在项目上花费的金额永远不会超过他们给我们的个人估值。然后我们将使用任何常见的插值方法并将结果
提交给策略执行器。请注意,如果给定项目的总边际效用近似值偏离,则该项目可能资金不足或资金过剩,因为边际社会效益(MSB)将与其他项目相差k。我们预计,随着越来越多的人报告一个给定项目,随机错误近似值将平均化。
这个例子有助于你建立概念,标准QF在用户每次登录时都会重新查询用户的出价,因为匹配金额会不断变化。此UI会预先查询一个最少的出价集。
该方案类似于Critch2022中介绍的,这也表明一个讨论组件比启发本身更重要。请注意,Critch2022通常预设的是高度敬业的个体子集,试图代表整个世界的效用,而不是茫茫多不那么敬业的自私代理人的项目需要无私,并且参与/奉献也遵循80/20法则)。Critch的观点是有道理的,尽管进一步的讨论超出这篇文章的范围。
优化
用户将授权一些支付给机器人,然后机器人将运行梯度下降,模拟用户在频繁检查和调整分配时可能会做的事情。
Buterin、Weyl和Hitzig(2018)还指出,非凹效用是自然的,但会使系统的吸引子非全局。因此,我们可以通过使用梯度下降/全局最优化的随机变种来实现收益,从这个意义上说,SGD也可以作为一种策略修改来诱导相关均衡。
在机制中使用区块链-SGD-协调器可能是一个更广泛的加密经济研究领域。例如,代理人对损失函数的选择会影响它选择的均衡,这可能使设计者能够控制效率与公平、风险与收益等。一个自然的问题是,人们在同一场游戏的不同协调者之间选边站,元游戏是否会因此产生。
均衡选择问题与维度灾难有关——吸引子的数量和发现它们的难度可能会因人数而急剧增加。我们现在正在优化具有超过数千亿参数的深度学习模型的事实让我们感到欣慰,尽管这种规模的优化成功可能涉及各种前沿技术和手动调整。我们预计优化超过数千到数百万的贡献量不会有很大的问题,特别是如果空间确实是凹的,而且考虑到问题的本质不是黑匣子,我们可以对起点做出有根据的猜测。然而,一旦我们需要证明,计算就会突然变得昂贵起来。我们强调,如果参与者在心理上执行,SGD算法面临的任何优化挑战将更加严峻。
如果我们使用报告估值的线性插值,离散优化也可能提供优化。我们不需要沿着梯度下降,而是在点之间移动。
交互复杂度
公共物品的性质是,每个物品i都与每个参与者j相关。因此,系统的交易成本是X*Y*K,其中X=人口,Y=公共物品选项的数量,K=交易成本。我们认为,进入效用曲线的K低于使用直接贡献博弈的K,如果UI设计没毛病,K基本上是最小的,瓶颈是X*Y。由于激励的原因,降采样X可能不可行,而对Y的随机降采样的改进可能来自同行评审、搜索和个性化推荐。
同意、无需信任和隐私
因为我们授权机器人替我们花钱,所以我们必须强制机器人做正确的事情。这是一个共识和/或证明的用例。
我们也可能希望输入和个人分配是隐私的。SGD方法实际上更适合差分隐私,因为计算本质上是最大批量的,即总的最终分配可以直到最后才揭晓。在直接贡献的情况下,我们必须定期更新分配估计,这暴露了更新频率和隐私之间的权衡。
鉴于这种隐私能力,我们可能想重新审视MACI匿名化。
心理学
有人可能会争辩说,看到一场巨大的和/或夸大的匹配预计,能让人享受参与QF的乐趣,比起潜在的机制最优化的扭曲,这是值得的,并且/或者机制的最优化在实践中是一个不切实际的目标。如果该机制的很大一部分吸引力实际上是其心理效应而不是博弈论效应,那么我们仍然可以报告预计匹配。
混合系统
同时具有传统的QF体验和SGD体验是可能的。在这种情况下,SGD代理将信息传达给传统参与者会很有帮助,这再一次提醒了我们更新频率的权衡问题。
感谢
感谢GlenWeyl的有力反馈,作者后来使用“竞标语言”框架对这个概念进行了重大修改和扩展。如果有兴趣,请看较新的文章,不过本文仍可作为一篇很好的背景文章理解。
参考文献
1.DAOrayakiPodcast|二次方治理规模化的现实约束与解法探索
2.DAOrayaki|二次方治理规模化的权衡取舍
3.DAOrayaki|二次方融资与有效利他主义
4.DAOrayaki|二次方融资的社交网络
5.DAOrayaki|基于非货币资本资助的二次方信任模型
6.DAOrayaki|抽签二次方投票
7.DAOrayaki|从默认选择到二次方投票:投票一览
8.DAOrayaki|二次方投票:机制设计如何使民主激进化
9.DAOrayaki|二次方投票和区块链治理
10.DAOrayaki|二次方投票与公共物品
11.二次方资助V2协议:抗女巫攻击、公平和规模化的链上二次方投票
12.累进税系统提高二次方资助的公平性
13.DoraFactoryEricZhang:使用累进税系统提高二次方资助的公平性
14.二次方融资的攻击与防守
15.社会实验|让社区资助爆发巨大能量,当二次方投票遇上黑客马拉松
16.「激进市场」和二次方投票|用市场本身去监管市场
17.DAOrayaki|Vitalik最早提出和发表《自由激进主义》3.5w字全文详解
18.DAOrayaki|Vitalik最早发表《自由激进主义》3.5w字全文详解
19.DAOrayaki|Vitalik等人《自由激进主义》3.5w字全文详解
尾注
https://anvaka.github.io/fieldplay/?cx=0480000000000005&cy=3.0061&w=13.711400000000001&h=13.711400000000001&dt=0.01&fo=0.998&dp=0.009&cm=1&vf=%2F%2F%20alpha%20%3D%200.5%2C%20V_i%5Ep%28F_p%29%20%3D%20arctan%28F_p%29%0Avec2%20get_velocity%28vec2%20p%29%20%
https://anvaka.github.io/fieldplay/?cx=9.78905&cy=7.32765&w=32.5177&h=32.5177&dt=0.01&fo=0.998&dp=0.009&cm=1&vf=%2F%2F%20Prisoner%27s%20Dilemma%3A%20alpha%20%3D%200.5%2C%20V_i%5Ep%28F_p%29%20%3D%20F_p%20%2F%202%0Avec2%20get_velocity%28vec2%20p%29%20%7B%0A%
https://www.wolframalpha.com/input?i=3d+plot+0.5%280.5%28sqrt%28x%29+%2B+sqrt%28y%29%29%5E2+%2B+0.5x%29+-+x+and+0.5%280.5%28sqrt%28x%29+%2B+sqrt%28y%29%29%5E2+%2B+0.5y%29+-+y%2C+x+from+0+to+1%2C+y+from+0+to+1
https://www.youtube.com/watch?v=yDJ5KiZx7Yw
https://optimization.cbe.cornell.edu/index.php?title=Adam
https://optimization.cbe.cornell.edu/index.php?title=AdaGrad
https://arxiv.org/abs/1809.06421
https://gov.gitcoin.co/t/improving-grant-matching-estimates-during-the-round/7809/3
https://www.youtube.com/watch?v=yDJ5KiZx7Yw
https://en.wikipedia.org/wiki/Pareto_principle
https://anvaka.github.io/fieldplay/?cx=9.78415&cy=6.979699999999999&w=32.5079&h=32.5079&dt=0.01&fo=0.998&dp=0.009&cm=1&vf=%2F%2F%20alpha%20%3D%201.%2C%20V_i%5Ep%28F_p%29%20%3D%205%28arctan%28F_p%20-%2010%29%20-%20arctan%28-10%29%29%0Avec2%20get_velocity%28
https://en.wikipedia.org/wiki/Correlated_equilibrium
https://ocw.mit.edu/courses/14-01-principles-of-microeconomics-fall-2018/88b8835701f40269b3fb5b5e537179a3_MIT14_01F18_lec18_25.pdf
https://en.wikipedia.org/wiki/Equilibrium_selection
https://en.wikipedia.org/wiki/Folk_theorem_(game_theory)
https://www.goodreads.com/quotes/82034-he-who-controls-the-spice-controls-the-universe
https://docs.cosmos.network/main/intro/overview.html
https://protocol.penumbra.zone/main/crypto/flow-encryption/threshold-encryption.html
https://ethresear.ch/t/maci-anonymization-using-rerandomizable-encryption/7054
https://ethresear.ch/t/quadratic-funding-optimal-incremental-revelation-for-the-multi-good-case/13109
塞尔维亚和南斯拉夫的菲利普亲王加入了比特币创业公司JAN3,担任CSO。他将与高层人士接触并监督战略举措,以加速比特币在国家和个人中的应用.
不难发现熊市中机构的最大操作则是融资和推出基金来展望未来的投资计划,比如今天的Huobi联创杜均联合BMAN推出4亿美元Web3基金,更有上个月的红杉资本28.5亿美元的新基金.
Tether推出新的稳定币MXNT,价格与墨西哥比索挂钩Tether宣布推出与墨西哥比索1:1挂钩的新稳定币MXNT,标志着其进入拉丁美洲市场.
据官方消息,交易平台PrimeXBT现已支持TRC20-USDT和TRC20-USDC。 PrimeXBT是一个基于比特币的平台,成立于2018年,提供比特币、以太币、莱特币等多种数字资产杠杆交.
Web3概念爆火,但似乎Web3的落地实践与普通百姓的生产生活还有些距离。Web3将来会在哪些方面通过什么路径改变我们的世界?本期嘉宾:梁伟|现任中国电信集团区块链与数字经济联合实验室主任、中国.
作为全球最受欢迎的公链之一,波场TRON自创立以来始终保持高速发展,生态建设全面开花,各项数据突飞猛进.