DAOrayaki ｜基於PLONK的MACI
發表於 2023-02-08 10:32 作者： DAOrayaki_
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
標題：DAOrayaki ｜基於PLONK的MACI
地址：https://www.coinsdeep.com/article/9836.html
鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。