资助地址: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 上进行基准测试。

资助地址: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 上进行基准测试。