DAOrayaki ｜基于PLONK的MACI

More from DAOrayaki

The Decentralized Fourth Estate

Thanks to Eric Zhang for discussions about several topics related to media decentralization. The advance of tech has created a fifth estate. People who control tech control the most scarce resource of our time and a very long time to come. In the realm of media and journalism, consolidation of news corporations and social media created the danger of an authoritarian future, especially when major media and social media platforms share a common view. Although the shift of Twitter’s control chan...

DAOrayaki

May 28

联合曲线设计脑洞大全及参数大典

在这篇帖子中，我试图勾画出联合曲线的广阔设计空间和参数，并指出注意事项和用例。我们还探讨了如何缓冲（mitigate）一些攻击矢量（attack vectors），如“拉高出货”（pump and dumps）。此外，我还描述了一个可以应用于各种用例的简单框架。每个用例的理想谢林点参数（ideal Schelling point）可能都有所不同。本帖旨在发挥一个代币工程工具集（token engineering toolset）的作用，以激励社区中的实验和创新，并创建一个更全面的思考联合曲线设计的方式。 DAOrayaki DAO研究奖金池：资助地址: 0xCd7da526f5C943126fa9E6f63b7774fA89E88d71 投票进展：DAO Committee 5/7 通过赏金总量：150 USDC 研究种类：DAO, Bonding Curve, Predict Market 原文作者: Paul Kohlhaas 贡献者：Demo, DAOctor, Trinity@DAOrayaki 原文: Token Bonding Curve Design Param...

DAOrayaki

Mar 25

DAOrayaki | Defi Kingdoms a game, a DEX, a liquidity pool opportunity

DAOrayaki DAO Research GrantFund Address: DAOrayaki.eth Voting Result：DAO Committee Yes Grant Amount：130USDC. Category: DeFi Kingdoms, GameFi, DeFi, NFTs & Collectibles, $JEWEL, Heroes, Axie Infinity, Decentralized Exchanges (DEX), Professions, Classes. Contributor：REDKAZ@DaorayakiBrief Overview About DeFi KingdomsDeFi Kingdoms is a game built on the Harmony Blockchain, with a whole ecosystem of features including a Decentralized Exchange (DEX), its native $JEWEL token and Non-Fungible Tokens...

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

通过 DAO，研究组织和媒体可以打破地域的限制，以社区的方式资助和生产内容。DAOrayaki将会通过DAO的形式，构建一个代表社区意志并由社区控制的功能齐全的去中心化媒体。欢迎通过文末方式提交与DAO、量子计算、星际移民、DA相关的内容，瓜分10000USDC赏金池！欢迎加入DAOrayaki社区，了解去中心化自治组织（DAO），探讨最新话题！

官方网站：https://daorayaki.org

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