DAOrayaki DAO研究奖金池:
资助地址:DAOrayaki.eth
投票进展:DAO Committee 3/0
通过研究种类:ZK, PLONK, Governance
原文作者:Eric Zhang, Felix Cai
翻译者:DAOctor @DAOrayaki
原文:PLONK-Based MACI
一直以来,MACI (最小化抗共谋基础设施)是 DoraHacks.io 上的一个有效的工具。该工具使社区治理具有抗共谋性和促使Grant DAO 分配更加公平。
在 2022 年期间, DoraHacks 上一些主要的活动采用了 MACI工具。其中,包括 ETHDenver22[1]、OpenSea Hackathon 评审[2]和 Dora Grant DAO 轮次[3]。DoraHacks-MACI [4]是用于支持这些社区治理事件的开源存储库。
DoraHacks-MACI是在MACI 1.0[5]的基础上建立的,并做了一些改变和简化。DoraHacks MACI和MACI 1.0都使用Groth16来创建零知识证明。Groth16[6]的安全性依赖于创建通用参考字符串(CRS)的过程,称为可信设置[7]。但并不是通用的(即如果有一个电路变化,CRS必须再次产生)。
在实践中,我们使用两阶段的可信设置。第一阶段与电路无关(例如永续TAU(Perpetual Powers of Tau)[8]),第二阶段与电路有关。
使用基于 Groth16 的 MACI 意味着每次电路发生变化时,我们都需要重新进行第二阶段的可信设置。事实上,电路总是在或大或小的变化:高级逻辑更新以及包括错误修复在内的小迭代。另一方面,严格的可信设置仪式既昂贵又耗时。如果一个可信的设置没有被公开证明,整个系统就不能完全可信,因此,我们不能运行高风险的 MACI 回合。以上的特性导致基于 Groth16 的 MACI 无法扩展。
PLONK[9] 为通用电路提供简洁的验证。通过产生结构化参考字符串 (SRS) 的单阶段可信设置,所有达到一定规模的电路都可以使用同一个SRS。
将DoraHacks-MACI从Groth16转移到PLONK并不是一件难事。最近的一轮ETH研究资助[10]已经使用MACI-PLONK来验证投票[11]。MACI-PLONK[12]用PLONK取代了Groth16的证明验证系统。因此,PLONK 可信设置只需要单阶段 SRS 生成。这是一个比较:

MACI 规模:最多 5^4 个用户,5^2 个选项,每批 25 条消息。在配备 AMD Ryzen 5 5600X 6 核处理器 3.70 GHz 的 PC 上进行基准测试。
在相同条件下,基于 PLONK 的 MACI 生成的证明比 Groth16 大得多。然而,MACI 投票轮次通常跨越数天或数周,此时,产生的更大证明的链外开销在可接受范围。另一方面,验证消息的Gas fee只增加了约 50%。因此,在链上采用基于 PLONK 的 MACI 是没有障碍的。
下一步:(1)我们可以在 DoraHacks.io 上逐步采用 MACI-PLONK,以便更多的社区和生态系统可以使用 MACI 来做决策:常规的资金或治理决策;(2) 准备一个可信启动仪式并为所有 MACI 事件(达到一定的电路大小)生成 SRS。
参考文献
- ETHDenver22:https://dorahacks.io/grant/ethdenver22/top
- OpenSea Hackathon 评审:https://dorahacks.io/grant/opensea/proof
- Dora Grant DAO 轮次:https://dorahacks.io/dora
- DoraHacks-MACI:https://github.com/dorahacksglobal/qf-maci
- DoraHacks-MACI是在MACI 1.0:https://medium.com/privacy-scaling-explorations/a-technical-introduction-to-maci-1-0-db95c3a9439a
- Groth16:https://eprint.iacr.org/2016/260.pdf
- 可信设置:https://zkproof.org/2021/06/30/setup-ceremonies
- 永续TAU(Perpetual Powers of Tau):
https://github.com/weijiekoh/perpetualpowersoftau - PLONK:https://eprint.iacr.org/2019/953.pdf
- ETH研究资助:https://dorahacks.io/grant/ethre
- 使用MACI-PLONK来验证投票:https://dorahacks.io/grant/ethre/proof
- MACI-PLONK:https://github.com/dorahacksglobal/maci-plonk
通过 DAO,研究组织和媒体可以打破地域的限制,以社区的方式资助和生产内容。DAOrayaki将会通过DAO的形式,构建一个代表社区意志并由社区控制的功能齐全的去中心化媒体。欢迎通过文末方式提交与DAO、量子计算、星际移民、DA相关的内容,瓜分10000USDC赏金池!欢迎加入DAOrayaki社区,了解去中心化自治组织(DAO),探讨最新话题!
Media:https://media.daorayaki.org
Discord server: https://discord.gg/wNUPmsGsa4
Medium: https://medium.com/@daorayaki
Email: daorayaki@dorafactory.org
Twitter: @daorayaki_
微信助手:DAOrayaki-Media
小宇宙:DAOrayaki
详情请参考:
Dora Factory支持去中心化DAO研究组织DAOrayaki
DAOrayaki |DAOrayaki 开启去中心化治理2.0时代
DAOrayaki |风险投资的范式转移:无限主义基金和无限游戏
DAOrayaki |DAOrayaki dGov 模型:基于Futarchy的正和游戏
更多关于DAO的文章,关注Dorafactory,查看往期文章。