
给小白的 web3 入门指南
作者:定慧 | 排版:Bo | 审核:InsNFTNFT≠小图片 实际上,一篇文章、一段语音、一段视频,任何你在互联网上看到的文件,都有机会被铸造成一枚 NFT。 每份文件,经过密码学计算,都有一段属于自己独一无二的代码。而一旦这段代码被记录在区块链上,你用能够证明自己拥有这段代码,以及其背后所映射的文件。 想象一下,如果英雄联盟将英雄的皮肤铸造为 NFT,并且被吃鸡兼容了,你就能在吃鸡的游戏中给你的角色换上英雄联盟的皮肤。 除此之外,NFT 一旦能够被识别,还可以做为门票、VIP会员卡、优惠卷、版权证书、房产证等等很多用途。 如果你想学习更多,甚至铸造一个属于自己的 NFT,可以扫码查看这个网站哦~ 👇 https://myfirstnft.info/DAO如果你是一个自由职业者,你更愿意被大公司雇佣领死工资天天 996,还是跟灵活自由的为大公司提供外包服务,或是做媒体接广告? 前者能给你稳定,后者能给你自由。 而 DAO 则介于两者之间,既能给你团体归属与支持,同时适合自由的超级个体组队搞项目,而非被要求与命令。 在 web2 世界,员工给老板打工,把产品卖给消费者。消费者...

SeeDAO |为什么SeeDAO从Web3转向了数字游民?
2025年3月份,SeeDAO在安徽南塘做了一个线下共居活动。在这场共居活动中,我们初步讨论了SeeDAO从Web3转向数字游民的转型 。 从2025年2月份到2025年4月份,我、白鱼以及一些其他的SeeDAO小伙伴陆陆续续在路上走了2个多月。其中的一段旅程是与乡建DAO的严老师共同完成的,他带我们走过了福建屏南、贵州榕江、成都蒲江的多个村子,参观了珠海、上海、香港的农场或农耕活动;另一部分则是跟随已经成为数字游民在路上的SeeDAO小伙伴完成的。在他们的引导下,我们也去参观了浙江安吉、四川资阳里的多个数字游民基地。 在这两个月的游历中,我们还参加了香港Web3嘉年华和成都麓湖哲学节。这样高密度的研究,以及研究过程中产生的强烈对比,让我更加确信我们需要这样的转型。 建设什么? 到底要建设什么?我相信这并不是SeeDAO一个社区所面临的难题。我们常常能听到这样一个词语:Web3 builder。可是,我们究竟为了什么而做builder?还是这只是一个大家都陷入虚无的情况下聊以自慰的词语? 建设以太坊?建设比特币?或是建设他们之外的地方任何一条链?这些链代表了什么?或者更赤裸一点:...

Web3 设计师的工作指南
【摘要】本文是一名 Web3 设计工作者基于自身经验撰写的一份 Web3 设计工作者指南。作者从 Web3 所需的设计师类型、设计工作对于 Web3 领域的重要性、Web3 与 Web2 设计工作的区别、设计师在 Web3 工作的收益、如何参与等角度进行了详细介绍。为想进入 Web3 工作的设计师们提供参考。 【标签】# Web3 设计 #工作指南 # Web3 工作 #自由职业 作者:Angela Ching|译者:Luna Lee|校对:Sue Tang|排版:Queeny近期,有同行的设计朋友问一直问我在 Web3 中工作是什么体验——比如,设计工作在 Web3 中有啥变化吗?需要很了解技术吗?该怎么加入呢? 对于设计师而言,Web3 领域存在很多的机会,但同时也充满了风险和不确定性。为了避免反复回答同样的问题,我就偷个懒,统一为那些想进入这个领域的新锐设计师提供一份资源指南。主要对以下主题进行概述:Web3 需要哪种类型的设计师?为什么设计在 Web3 领域很重要?作为设计师,在 Web3 领域的好处是?作为设计师在 Web3 工作的好处“自由职业者/社区/项目” vs ...
让Web3重返生活 Website: https://seedao.xyz/ Discord: https://discord.com/invite/seedao-xyz

给小白的 web3 入门指南
作者:定慧 | 排版:Bo | 审核:InsNFTNFT≠小图片 实际上,一篇文章、一段语音、一段视频,任何你在互联网上看到的文件,都有机会被铸造成一枚 NFT。 每份文件,经过密码学计算,都有一段属于自己独一无二的代码。而一旦这段代码被记录在区块链上,你用能够证明自己拥有这段代码,以及其背后所映射的文件。 想象一下,如果英雄联盟将英雄的皮肤铸造为 NFT,并且被吃鸡兼容了,你就能在吃鸡的游戏中给你的角色换上英雄联盟的皮肤。 除此之外,NFT 一旦能够被识别,还可以做为门票、VIP会员卡、优惠卷、版权证书、房产证等等很多用途。 如果你想学习更多,甚至铸造一个属于自己的 NFT,可以扫码查看这个网站哦~ 👇 https://myfirstnft.info/DAO如果你是一个自由职业者,你更愿意被大公司雇佣领死工资天天 996,还是跟灵活自由的为大公司提供外包服务,或是做媒体接广告? 前者能给你稳定,后者能给你自由。 而 DAO 则介于两者之间,既能给你团体归属与支持,同时适合自由的超级个体组队搞项目,而非被要求与命令。 在 web2 世界,员工给老板打工,把产品卖给消费者。消费者...

SeeDAO |为什么SeeDAO从Web3转向了数字游民?
2025年3月份,SeeDAO在安徽南塘做了一个线下共居活动。在这场共居活动中,我们初步讨论了SeeDAO从Web3转向数字游民的转型 。 从2025年2月份到2025年4月份,我、白鱼以及一些其他的SeeDAO小伙伴陆陆续续在路上走了2个多月。其中的一段旅程是与乡建DAO的严老师共同完成的,他带我们走过了福建屏南、贵州榕江、成都蒲江的多个村子,参观了珠海、上海、香港的农场或农耕活动;另一部分则是跟随已经成为数字游民在路上的SeeDAO小伙伴完成的。在他们的引导下,我们也去参观了浙江安吉、四川资阳里的多个数字游民基地。 在这两个月的游历中,我们还参加了香港Web3嘉年华和成都麓湖哲学节。这样高密度的研究,以及研究过程中产生的强烈对比,让我更加确信我们需要这样的转型。 建设什么? 到底要建设什么?我相信这并不是SeeDAO一个社区所面临的难题。我们常常能听到这样一个词语:Web3 builder。可是,我们究竟为了什么而做builder?还是这只是一个大家都陷入虚无的情况下聊以自慰的词语? 建设以太坊?建设比特币?或是建设他们之外的地方任何一条链?这些链代表了什么?或者更赤裸一点:...

Web3 设计师的工作指南
【摘要】本文是一名 Web3 设计工作者基于自身经验撰写的一份 Web3 设计工作者指南。作者从 Web3 所需的设计师类型、设计工作对于 Web3 领域的重要性、Web3 与 Web2 设计工作的区别、设计师在 Web3 工作的收益、如何参与等角度进行了详细介绍。为想进入 Web3 工作的设计师们提供参考。 【标签】# Web3 设计 #工作指南 # Web3 工作 #自由职业 作者:Angela Ching|译者:Luna Lee|校对:Sue Tang|排版:Queeny近期,有同行的设计朋友问一直问我在 Web3 中工作是什么体验——比如,设计工作在 Web3 中有啥变化吗?需要很了解技术吗?该怎么加入呢? 对于设计师而言,Web3 领域存在很多的机会,但同时也充满了风险和不确定性。为了避免反复回答同样的问题,我就偷个懒,统一为那些想进入这个领域的新锐设计师提供一份资源指南。主要对以下主题进行概述:Web3 需要哪种类型的设计师?为什么设计在 Web3 领域很重要?作为设计师,在 Web3 领域的好处是?作为设计师在 Web3 工作的好处“自由职业者/社区/项目” vs ...
让Web3重返生活 Website: https://seedao.xyz/ Discord: https://discord.com/invite/seedao-xyz

Subscribe to SeeDAO

Subscribe to SeeDAO
Share Dialog
Share Dialog
>100 subscribers
>100 subscribers


在我们之前发表在 BlockScience,关于 Gitcoin Grants 研究合作的文章中,我们公开探索了使用 cadCAD 实现的网络科学技术,识别 Grants 生态系统中共谋模式的研究方向。在这篇文章中,我们探索了在这篇文章中,我们探索了利用二次方融资和配对二次方融资机制的假想共谋情景,并建议动员社区来发现更多的假想情景。这些假设的攻击向量将*用于测试“最优差距”算法的有效性——我们提出的解决方案,以数据科学检测共谋模式。我们的下一篇文章将为更倾向于技术的读者详细介绍优化差距的设计和挑战。*
【标签】#二次方融资 #模型 #Gitcoin #公共物品
作者:Jiajia,Danilo Lessa Bernardineli,Jeff Emmett|翻译:weiwei|校对:shawn|排版:zik
Gitcoin的使命是帮助开源开发者合作,并通过二次方融资(QF)匹配赞助资金,从他们对社区资助的贡献中获得经济利益。
正如前面的一篇文章所指出的,二次方融资容易受到几种攻击。其中,最突出的是“女巫攻击”和“共谋攻击”,前者是指攻击者创建大量的虚假账户,以欺骗系统,后者是指恶意的真实用户相互勾结,以欺骗系统。解决这些攻击向量的困难在于,它们和合法的、有机的资助贡献所产生的交易模式的重叠。
在下面的文章中,我们将简要解释二次方融资算法,演示几种类型的攻击向量,并简要介绍优化差距作为标记潜在共谋者的度量。
我们的目标是帮助社区理解 QF 的机制,以及设计和减轻攻击向量的潜在方法,这样社区就可以有更强大的检测工具来报告潜在的攻击。
开源项目与其他公共物品一样,获得的资金比它们为他人创造的价值要少,这是因为它们所交付的产品的丰富性(开源)。这背后的原因是,公共物品的非排他性(意思是即使你不付钱,也没有人可以阻止你使用它),以及非竞争性的消费(意思是,我使用公共物品不会伤害你)。
例如,国防、城市公园、公共道路和建筑都是公共物品。公共物品的困难在于,由于产品的非排他性,人们有很大的机会选择搭便车,而不是支付他们本应支付的份额。就像你高中小组项目里的那个懒汉一样,他什么都没做,但却因为你的努力得到了肯定,搭便车是我们社会没有充分支持公共物品的原因。

传统上,通过税收或私有化(如土地所有权或版权法)将公共物品内部化,来解决搭便车问题。然而,这些问题通常涉及一个中央机构——政府、公司或非营利委员会——强制收取款项和分配资金。
然而,大型中央机构不一定能有效地分配资源——它们往往不知道什么是最重要的公共物品,或者每个项目实际需要多少支持。这种信息从下而上比从上而下更有效。
2018年,Vilatik、Zoe 和 Glen 针对这个问题提出了一个新的解决方案:二次方融资。它有一个算法,可以匹配赞助资金,以二次偏好(从而不成比例地奖励)小捐助者——因为小捐助者作为一个整体,可能对哪些开源项目对社区最有利有更大的集体洞察力。
此外,鼓励小额捐款对以太坊社区生态系统的长期发展是健康的,以太坊社区正在产生大量公共物品,因此,社区也面临上述的公共物品困境。
Gitcoin 使用 QF 作为其正在进行的 Gitcoin Grants 生态系统中的资金匹配算法,这是以太坊项目和初创公司的主要资金来源之一。

二次方融资取每个社区贡献的平方根,把它们加起来,然后再取总和的平方。之后,资助机构(Gitcoin)与大型机构捐赠者(如以太坊基金会和其他知名DeFi项目)的匹配资金,支付“QF”结果之间的差额。
最终,算法将更高比例的匹配资金,分配给了有很多小额捐赠者参与的资助项目,而不是有少数大额捐赠者参与的资助项目。这实际上认为支持一个项目的人数,比支持它的资金数额更有说服力。
要理解如何防范二次方融资中固有的攻击向量,首先要像攻击者一样思考。揭示攻击向量的不同模式使我们能够设计简单而严谨的工具,在一个实时的,潜在高风险的融资环境中检测这些模式,这涉及数百万美元。
在本节中,我们将探索不同的方法来应对二次方融资博弈:
拆分捐款
与真实的人协调虚假捐款
拆分资助
亚对策和升级
正如 Vitalik 的博客文章所指出的那样,QF 机制很容易受到女巫攻击和共谋攻击。一名攻击者可以决定创建一个虚假资助,捐赠给他自己,然后收集匹配资金作为“利息”。由于捐款数量的增加会带来更多的匹配资金,最简单的攻击方式就是将捐款分成多个账户,然后捐赠给自己。

从上图中我们可以看出,随着绿色方块(原始捐款)的面积减少而数量增加,黄色区域(匹配资金)与绿色区域(捐款)的比例增加。
在最极端的情况下,如果绿色方块的数量增加到无限多的无限量捐款,理论上你可以用一个小的原始捐款吸引大量的匹配资金,前提是你将捐款分散到多个账户中。
当然,Gitcoin 团队采取的安全措施已经缓解了上述许多攻击因素,我们将在下面讨论。

作为这类攻击的一个例子,请看下面 @GitcoinDisputes 账户关于 2020 年 7 月 Gitcoin 资助共谋的推文。

为了减轻女巫攻击向量,即创建假账户来获取匹配资金,Gitcoin 目前使用女巫检测算法(为用户分配女巫评分),并鼓励用户在许多不同的平台上进行身份验证(特别是包括 BrightID、Idena、POAP、和 3box),为添加的每一层提供增加的资助匹配。

这样做的效果是,确保额外的资助匹配资金流向那些更有可能成为真人的身份。然而,还有其他形式的共谋攻击,超出了单纯的女巫攻击的范畴。
虽然创建虚假账户来吸引匹配资金可以通过抗女巫设计来阻止,但共谋者可以很容易地通过协调一组真实账户来“挖掘 Gitcoin 匹配资金”,并在群体中分配“利益”。

为了减少共谋攻击向量,Gitcoin 采用了一种新的“配对资助”机制,这是由 Vitalik 提出的。基本的想法是减少那些似乎高度协调的捐赠者,给同一资助池的匹配。如果两位捐献人(一对)捐献给一组类似的资助,那么该资助的配对资金将扣除一定的金额。你可以在这里找到配对资助机制的细节。
关于配对机制可能还有进一步的考虑——这个解决方案假设有机贡献彼此之间很少有重叠,但我们经常在有机社区中看到相反的情况,他们支持彼此的工作。配对机制还可能惩罚“收集”资助,这是一种工具,用户可以向预先选定的项目列表捐款。就像任何精心设计的解决特定类型的共谋的解决方案一样,总是有其他的方法来玩弄它。
为了进一步减轻共谋攻击向量,Gitcoin 采用了一种标记机制,其中被要求作弊的用户可以向 Gitcoin 争议解决程序报告作弊者。只需要1个用户报告共谋就可以“破坏”整个计划,在第8回合中报告了大约35个标记。
**另一种避开女巫攻击检测和配对资助的方法,是将现有的资金分成许多资助,**或创建假资助并协调真实帐户向它们捐款。
只要共谋者可以找到一些方法,将大笔“捐款”分割成许多小账户,并以小的资助提案来回收,他们就能吸引更多的匹配资金,因为 QF 机制更高比例地奖励参与者的数量,而不是每个参与者的捐款数额。
例如,一个恶意参与者可以将他们的资助分成几个小的资助提案,并将他们最初的“种子”资金分成几十个小的捐款,每个捐款不重叠地捐赠给这些小的资助提案。
虽然这种类型的共谋还没有被社区报告,但在有足够的激励和不断增长的匹配池的情况下,这样的共谋很可能会出现。
在像 Commons Stack 或 Metagame 等紧密联系的有机社区中,这种类型的行为也会被注意到,在这些社区中,许多小型相互联系的团队紧密合作,以资助并实现更大的目标。我们应该小心,为减少共谋而引入的任何系统机制,都要尽量减少对有机社区参与的负面影响,否则我们可能剥夺了寻求服务的用户的权利。

读者现在可能已经注意到,这是攻击者和 Grant 版主之间无休止的捉迷藏游戏。随着防止这些攻击的新机制的实施(如 MACI 设计、女巫抵抗、女巫评分、社区标记或匹配资助),共谋者提出了越来越复杂的策略,从虚假资助和账户,到恶意行为的大规模协调。我们需要注意的是,任何针对特定类型共谋问题的定制设计的分析解决方案都可以(而且很可能)被另一个精心设计的共谋策略所操纵。
正是出于这个原因,我们建议使用算法治理策略,这种策略简单、一般化,但严格且在数学上合理。我们努力追求简单。
”明确的目的和原则产生智慧。规章制度导致愚蠢。”——迪·霍克
我们建议,与其试图识别和捕捉所有类型的共谋,不如设计一种机制,使高效的共谋成为不可能。当共谋的成本大于利益时,恶意行为者自然会失去共谋的动机。
首先,我们要确定哪种资助捐款能最大限度地吸引匹配资金。共谋的最终目的是用有限的原始资金吸引尽可能多的匹配资金。

因此,我们不是试图列举无数的共谋策略,并设计具体的解决方案来解决每一个,而是从另一个角度来处理共谋问题。通过将具有高效匹配资金捐款模式的资助标记为可疑的,我们保证抓住所有挪用大量匹配资金的资助,这样我们就可以将它们转交给 Gitcoin 争议程序进行审查。
第二,我们的目标是授权 Gitcoin 团队和社区的集体智慧,以捕捉共谋。当共谋者联合起来利用这个系统时,我们相信,通过用简单的语言解释 QF 机制的共谋模式,并提供工具来识别和根据这些信息采取行动,我们可以授权和协调社区作为一个整体来对抗害群之马。
优化差距是衡量一个特定社区在匹配资金方面是如何“优化”的。其基本思想是,总是有可能重新安排和重新组合与社区(或子图)相关的捐款,以这样一种方式,使你最大限度地从总资金池中获得的总资金。
在概念层面上,高效社区的优化差距相对较低,而大多数社区的优化差距中等。鉴于共谋者有一个深思熟虑的策略,我们可以假设,总体而言,他们将获得高效的资助。
但是我们如何精确地定义一个社区的优化差距呢?首先,我们将优化差距定义为预先选择的邻域子图中最大匹配资金与实际匹配资金之间的差值。考虑到现有的资助项目、资助人以及他们最初的捐款,优化差距计算的是如果资助人以不同的方式捐赠项目,它本可以获得的匹配资金与实际获得的匹配资金之间的差额。
社区的定义有多种方式,如使用社区检测算法或无监督学习。这是一个开放的研究问题,现在我们使用一种启发式的方法,假设一个社区可以通过使用邻居子图来代理,这本质上是一种确定相关检查社区的距离程度方法。
利用优化差距可以生成信号,标记可疑的优化资助,以便进行更仔细的检查。你可以在下一篇博文中找到更多技术细节。
但我们并不满足于自己进行分析 —— 我们的目标是让 Gitcoin 社区的研究人员使用这些工具来测试和迭代他们自己的研究问题,以释放人群的智慧,探索如何减轻二次方融资的攻击向量。
除了我们在模拟和 cadCAD 模型上的工作,我们还举办了公开编码会议和公开学术会议,与社区分享我们的工作。Token 工程学院甚至成立了一个由数学家和数据科学家组成的研究小组,按照相同的探索思路分析不同的研究问题。
除了双赢,我们相信这种开放合作会产生大量的因素 —— 用这些工具构建的#OpenScience 基础设施和模型让我们能够站在巨人的肩膀上。作为一个小例子,为了根据需要构建 Gitcoin cadCAD 模型,Danilo 最终向 NetworkX 仓库提交了一份PR,以改进他们的开源网络可视化库。每一次这样的贡献都使开源存储库变得更丰富、更有用,开源的真正力量在于,我们今天生成的模型将可以迭代,并在未来进一步推广,这是我们目前所不能做到的。
有关如何参与的更多信息,请查找这个概念的日历链接和过去的记录 doc:
如前所述,我们的解决方案可以检测到最有效的共谋方案,但现在我们想测试它。我们在这个研究合作中产生的所有代码都是开源的,我们相信群众的智慧和#OpenScience 的力量。
在下面的 repo 中,你可以找到我们在文章中讨论的一些攻击向量实现,用 cadCAD 测试它们,甚至构建你自己的!我们希望看到人们设计自己的共谋模式,使用这些算法,并在发现改进的情况下提交修改。如果您需要任何帮助,请跳转到 Discord 上的 TE / Gitcoin 研究频道!
https://github.com/jiajia20/GitCoin_attack/blob/main/attack_vector.ipynb
我们正在进行的研究旨在确定可能的共谋模式。在研究的第一阶段,我们构建了简单的攻击场景,在我们的 cadCAD 模型中实现它们,并测试它们是否可以用优化差距算法捕获。在接下来的研究中,我们计划扩大规模,充分利用实时 Gitcoin 数据来标记共谋攻击场景。
与往常一样,我们鼓励社区探索和试验 Gitcoin cadCAD 模型存储库,在那里您可以访问本分析中探索的许多数据。
GitHub 库:
请继续关注我们下一篇令人兴奋的合作研究摘要:
Gitcoin: twitter.com/gitcoin BlockScience: twitter.com/block_science cadCAD: twitter.com/cadcad_org
关于这个主题的以前的文章可以在这里找到:
2. 共谋社区还是新市场?
特别感谢 Kevin Owocki 和 Michael Zargham 对本文章的编辑,以及 Token工程学院、TE Commons 和 cadCAD 社区贡献者的所有辛勤工作,使这个开放研究计划获得持续成功。
原文:

在我们之前发表在 BlockScience,关于 Gitcoin Grants 研究合作的文章中,我们公开探索了使用 cadCAD 实现的网络科学技术,识别 Grants 生态系统中共谋模式的研究方向。在这篇文章中,我们探索了在这篇文章中,我们探索了利用二次方融资和配对二次方融资机制的假想共谋情景,并建议动员社区来发现更多的假想情景。这些假设的攻击向量将*用于测试“最优差距”算法的有效性——我们提出的解决方案,以数据科学检测共谋模式。我们的下一篇文章将为更倾向于技术的读者详细介绍优化差距的设计和挑战。*
【标签】#二次方融资 #模型 #Gitcoin #公共物品
作者:Jiajia,Danilo Lessa Bernardineli,Jeff Emmett|翻译:weiwei|校对:shawn|排版:zik
Gitcoin的使命是帮助开源开发者合作,并通过二次方融资(QF)匹配赞助资金,从他们对社区资助的贡献中获得经济利益。
正如前面的一篇文章所指出的,二次方融资容易受到几种攻击。其中,最突出的是“女巫攻击”和“共谋攻击”,前者是指攻击者创建大量的虚假账户,以欺骗系统,后者是指恶意的真实用户相互勾结,以欺骗系统。解决这些攻击向量的困难在于,它们和合法的、有机的资助贡献所产生的交易模式的重叠。
在下面的文章中,我们将简要解释二次方融资算法,演示几种类型的攻击向量,并简要介绍优化差距作为标记潜在共谋者的度量。
我们的目标是帮助社区理解 QF 的机制,以及设计和减轻攻击向量的潜在方法,这样社区就可以有更强大的检测工具来报告潜在的攻击。
开源项目与其他公共物品一样,获得的资金比它们为他人创造的价值要少,这是因为它们所交付的产品的丰富性(开源)。这背后的原因是,公共物品的非排他性(意思是即使你不付钱,也没有人可以阻止你使用它),以及非竞争性的消费(意思是,我使用公共物品不会伤害你)。
例如,国防、城市公园、公共道路和建筑都是公共物品。公共物品的困难在于,由于产品的非排他性,人们有很大的机会选择搭便车,而不是支付他们本应支付的份额。就像你高中小组项目里的那个懒汉一样,他什么都没做,但却因为你的努力得到了肯定,搭便车是我们社会没有充分支持公共物品的原因。

传统上,通过税收或私有化(如土地所有权或版权法)将公共物品内部化,来解决搭便车问题。然而,这些问题通常涉及一个中央机构——政府、公司或非营利委员会——强制收取款项和分配资金。
然而,大型中央机构不一定能有效地分配资源——它们往往不知道什么是最重要的公共物品,或者每个项目实际需要多少支持。这种信息从下而上比从上而下更有效。
2018年,Vilatik、Zoe 和 Glen 针对这个问题提出了一个新的解决方案:二次方融资。它有一个算法,可以匹配赞助资金,以二次偏好(从而不成比例地奖励)小捐助者——因为小捐助者作为一个整体,可能对哪些开源项目对社区最有利有更大的集体洞察力。
此外,鼓励小额捐款对以太坊社区生态系统的长期发展是健康的,以太坊社区正在产生大量公共物品,因此,社区也面临上述的公共物品困境。
Gitcoin 使用 QF 作为其正在进行的 Gitcoin Grants 生态系统中的资金匹配算法,这是以太坊项目和初创公司的主要资金来源之一。

二次方融资取每个社区贡献的平方根,把它们加起来,然后再取总和的平方。之后,资助机构(Gitcoin)与大型机构捐赠者(如以太坊基金会和其他知名DeFi项目)的匹配资金,支付“QF”结果之间的差额。
最终,算法将更高比例的匹配资金,分配给了有很多小额捐赠者参与的资助项目,而不是有少数大额捐赠者参与的资助项目。这实际上认为支持一个项目的人数,比支持它的资金数额更有说服力。
要理解如何防范二次方融资中固有的攻击向量,首先要像攻击者一样思考。揭示攻击向量的不同模式使我们能够设计简单而严谨的工具,在一个实时的,潜在高风险的融资环境中检测这些模式,这涉及数百万美元。
在本节中,我们将探索不同的方法来应对二次方融资博弈:
拆分捐款
与真实的人协调虚假捐款
拆分资助
亚对策和升级
正如 Vitalik 的博客文章所指出的那样,QF 机制很容易受到女巫攻击和共谋攻击。一名攻击者可以决定创建一个虚假资助,捐赠给他自己,然后收集匹配资金作为“利息”。由于捐款数量的增加会带来更多的匹配资金,最简单的攻击方式就是将捐款分成多个账户,然后捐赠给自己。

从上图中我们可以看出,随着绿色方块(原始捐款)的面积减少而数量增加,黄色区域(匹配资金)与绿色区域(捐款)的比例增加。
在最极端的情况下,如果绿色方块的数量增加到无限多的无限量捐款,理论上你可以用一个小的原始捐款吸引大量的匹配资金,前提是你将捐款分散到多个账户中。
当然,Gitcoin 团队采取的安全措施已经缓解了上述许多攻击因素,我们将在下面讨论。

作为这类攻击的一个例子,请看下面 @GitcoinDisputes 账户关于 2020 年 7 月 Gitcoin 资助共谋的推文。

为了减轻女巫攻击向量,即创建假账户来获取匹配资金,Gitcoin 目前使用女巫检测算法(为用户分配女巫评分),并鼓励用户在许多不同的平台上进行身份验证(特别是包括 BrightID、Idena、POAP、和 3box),为添加的每一层提供增加的资助匹配。

这样做的效果是,确保额外的资助匹配资金流向那些更有可能成为真人的身份。然而,还有其他形式的共谋攻击,超出了单纯的女巫攻击的范畴。
虽然创建虚假账户来吸引匹配资金可以通过抗女巫设计来阻止,但共谋者可以很容易地通过协调一组真实账户来“挖掘 Gitcoin 匹配资金”,并在群体中分配“利益”。

为了减少共谋攻击向量,Gitcoin 采用了一种新的“配对资助”机制,这是由 Vitalik 提出的。基本的想法是减少那些似乎高度协调的捐赠者,给同一资助池的匹配。如果两位捐献人(一对)捐献给一组类似的资助,那么该资助的配对资金将扣除一定的金额。你可以在这里找到配对资助机制的细节。
关于配对机制可能还有进一步的考虑——这个解决方案假设有机贡献彼此之间很少有重叠,但我们经常在有机社区中看到相反的情况,他们支持彼此的工作。配对机制还可能惩罚“收集”资助,这是一种工具,用户可以向预先选定的项目列表捐款。就像任何精心设计的解决特定类型的共谋的解决方案一样,总是有其他的方法来玩弄它。
为了进一步减轻共谋攻击向量,Gitcoin 采用了一种标记机制,其中被要求作弊的用户可以向 Gitcoin 争议解决程序报告作弊者。只需要1个用户报告共谋就可以“破坏”整个计划,在第8回合中报告了大约35个标记。
**另一种避开女巫攻击检测和配对资助的方法,是将现有的资金分成许多资助,**或创建假资助并协调真实帐户向它们捐款。
只要共谋者可以找到一些方法,将大笔“捐款”分割成许多小账户,并以小的资助提案来回收,他们就能吸引更多的匹配资金,因为 QF 机制更高比例地奖励参与者的数量,而不是每个参与者的捐款数额。
例如,一个恶意参与者可以将他们的资助分成几个小的资助提案,并将他们最初的“种子”资金分成几十个小的捐款,每个捐款不重叠地捐赠给这些小的资助提案。
虽然这种类型的共谋还没有被社区报告,但在有足够的激励和不断增长的匹配池的情况下,这样的共谋很可能会出现。
在像 Commons Stack 或 Metagame 等紧密联系的有机社区中,这种类型的行为也会被注意到,在这些社区中,许多小型相互联系的团队紧密合作,以资助并实现更大的目标。我们应该小心,为减少共谋而引入的任何系统机制,都要尽量减少对有机社区参与的负面影响,否则我们可能剥夺了寻求服务的用户的权利。

读者现在可能已经注意到,这是攻击者和 Grant 版主之间无休止的捉迷藏游戏。随着防止这些攻击的新机制的实施(如 MACI 设计、女巫抵抗、女巫评分、社区标记或匹配资助),共谋者提出了越来越复杂的策略,从虚假资助和账户,到恶意行为的大规模协调。我们需要注意的是,任何针对特定类型共谋问题的定制设计的分析解决方案都可以(而且很可能)被另一个精心设计的共谋策略所操纵。
正是出于这个原因,我们建议使用算法治理策略,这种策略简单、一般化,但严格且在数学上合理。我们努力追求简单。
”明确的目的和原则产生智慧。规章制度导致愚蠢。”——迪·霍克
我们建议,与其试图识别和捕捉所有类型的共谋,不如设计一种机制,使高效的共谋成为不可能。当共谋的成本大于利益时,恶意行为者自然会失去共谋的动机。
首先,我们要确定哪种资助捐款能最大限度地吸引匹配资金。共谋的最终目的是用有限的原始资金吸引尽可能多的匹配资金。

因此,我们不是试图列举无数的共谋策略,并设计具体的解决方案来解决每一个,而是从另一个角度来处理共谋问题。通过将具有高效匹配资金捐款模式的资助标记为可疑的,我们保证抓住所有挪用大量匹配资金的资助,这样我们就可以将它们转交给 Gitcoin 争议程序进行审查。
第二,我们的目标是授权 Gitcoin 团队和社区的集体智慧,以捕捉共谋。当共谋者联合起来利用这个系统时,我们相信,通过用简单的语言解释 QF 机制的共谋模式,并提供工具来识别和根据这些信息采取行动,我们可以授权和协调社区作为一个整体来对抗害群之马。
优化差距是衡量一个特定社区在匹配资金方面是如何“优化”的。其基本思想是,总是有可能重新安排和重新组合与社区(或子图)相关的捐款,以这样一种方式,使你最大限度地从总资金池中获得的总资金。
在概念层面上,高效社区的优化差距相对较低,而大多数社区的优化差距中等。鉴于共谋者有一个深思熟虑的策略,我们可以假设,总体而言,他们将获得高效的资助。
但是我们如何精确地定义一个社区的优化差距呢?首先,我们将优化差距定义为预先选择的邻域子图中最大匹配资金与实际匹配资金之间的差值。考虑到现有的资助项目、资助人以及他们最初的捐款,优化差距计算的是如果资助人以不同的方式捐赠项目,它本可以获得的匹配资金与实际获得的匹配资金之间的差额。
社区的定义有多种方式,如使用社区检测算法或无监督学习。这是一个开放的研究问题,现在我们使用一种启发式的方法,假设一个社区可以通过使用邻居子图来代理,这本质上是一种确定相关检查社区的距离程度方法。
利用优化差距可以生成信号,标记可疑的优化资助,以便进行更仔细的检查。你可以在下一篇博文中找到更多技术细节。
但我们并不满足于自己进行分析 —— 我们的目标是让 Gitcoin 社区的研究人员使用这些工具来测试和迭代他们自己的研究问题,以释放人群的智慧,探索如何减轻二次方融资的攻击向量。
除了我们在模拟和 cadCAD 模型上的工作,我们还举办了公开编码会议和公开学术会议,与社区分享我们的工作。Token 工程学院甚至成立了一个由数学家和数据科学家组成的研究小组,按照相同的探索思路分析不同的研究问题。
除了双赢,我们相信这种开放合作会产生大量的因素 —— 用这些工具构建的#OpenScience 基础设施和模型让我们能够站在巨人的肩膀上。作为一个小例子,为了根据需要构建 Gitcoin cadCAD 模型,Danilo 最终向 NetworkX 仓库提交了一份PR,以改进他们的开源网络可视化库。每一次这样的贡献都使开源存储库变得更丰富、更有用,开源的真正力量在于,我们今天生成的模型将可以迭代,并在未来进一步推广,这是我们目前所不能做到的。
有关如何参与的更多信息,请查找这个概念的日历链接和过去的记录 doc:
如前所述,我们的解决方案可以检测到最有效的共谋方案,但现在我们想测试它。我们在这个研究合作中产生的所有代码都是开源的,我们相信群众的智慧和#OpenScience 的力量。
在下面的 repo 中,你可以找到我们在文章中讨论的一些攻击向量实现,用 cadCAD 测试它们,甚至构建你自己的!我们希望看到人们设计自己的共谋模式,使用这些算法,并在发现改进的情况下提交修改。如果您需要任何帮助,请跳转到 Discord 上的 TE / Gitcoin 研究频道!
https://github.com/jiajia20/GitCoin_attack/blob/main/attack_vector.ipynb
我们正在进行的研究旨在确定可能的共谋模式。在研究的第一阶段,我们构建了简单的攻击场景,在我们的 cadCAD 模型中实现它们,并测试它们是否可以用优化差距算法捕获。在接下来的研究中,我们计划扩大规模,充分利用实时 Gitcoin 数据来标记共谋攻击场景。
与往常一样,我们鼓励社区探索和试验 Gitcoin cadCAD 模型存储库,在那里您可以访问本分析中探索的许多数据。
GitHub 库:
请继续关注我们下一篇令人兴奋的合作研究摘要:
Gitcoin: twitter.com/gitcoin BlockScience: twitter.com/block_science cadCAD: twitter.com/cadcad_org
关于这个主题的以前的文章可以在这里找到:
2. 共谋社区还是新市场?
特别感谢 Kevin Owocki 和 Michael Zargham 对本文章的编辑,以及 Token工程学院、TE Commons 和 cadCAD 社区贡献者的所有辛勤工作,使这个开放研究计划获得持续成功。
原文:

No activity yet