ACTION:詳解最小化反共謀基礎設施MACI：鏈上治理中的抗勾結框架

作者：EricZhang

Architect\)，\(operator\)開始一個其實狀態\(S_{start}={i:(key=K_i,action=\phi。,i\in1...n\).

在起始時間\(T_{start}\)和結束時間\(T_{end}\)之間，任何注冊的參與者可以向R發送消息，消息用參與者自己的私鑰\(k\)加密。有兩種消息：

約定行為:例如投票。參與者需要發送加密過的消息\(enc(msg=(i,sign(msg=action,key=k_i)),pubkey=K_\omega)\),其中\(k_i\)是這個參與者當前的私鑰，\(i\)是參與者在\(R\)中的id

螞蟻鏈隱私協作平臺AntChain FAIR引入基于零知識證明的可驗證計算技術:7月8日消息，在2023世界人工智能大會全球區塊鏈產業高峰論壇上，螞蟻鏈宣布隱私協作平臺AntChain FAIR進行全新架構升級，引入零知識證明（ZKP）為核心的可驗證計算技術，從可信數據流轉拓展到計算過程、數據屬性以及身份的可驗證。此外螞蟻鏈FAIR在可信計算架構中加入新型零知識證明虛擬機zkWASM，實現指令級別的可證明特性，可以依托 WASM 多語言生態將多種前端語言編寫的算法程序進行證明轉化，而無需關心底層復雜的算法細節，提升開發應用的友好性。

FAIR 是螞蟻鏈面向數據流轉推出的隱私協作平臺，綜合了區塊鏈和隱私計算的優勢，協作流程由智能合約驅動，數據流轉由隱私計算引擎來解決，并通過區塊鏈技術確權，登記和交易共識，可以解決數據流通過程中，數據共享與隱私保護之間的天然矛盾。目前 FAIR 已經在杭數交、貴數所等多家數據交易所得到應用。[2023/7/8 22:25:31]

更新密鑰:參與者需要發送加密過的消息\(enc(msg=(i,sign(msg=NewK_i,key=k_i)),pubkey=K_\omega)\),其中\(NewK_i\)是參與者要變更的公鑰,\(k_i\)是這個參與者當前的私鑰

MakerDAO投票通過將DAI存款利率提高到3.49%等的執行提案:6月16日消息，MakerDAO社區已投票通過一項治理提案執行投票，提案內容包括對BlockTower RWA金庫債務上限進行更改、調整多個風險參數、將DAI存款利率提高到3.49%、USDP PSM債務上限降至0DAI等內容。[2023/6/16 21:41:24]

這時，操作員的工作是按照消息上鏈的先后順序處理每一個消息。具體的處理過程：

使用操作員私鑰解密消息。如果解密失敗，或者解密對應的信息無法解碼成為以上的兩類信息，則直接跳過這條信息

韓國Kolon集團將與幣安成立合資公司，與當局合作建立虛擬資產交易平臺:金色財經報道，韓國Kolon集團名譽會長李雄烈推動，與幣安成立合資公司，與韓國政府和金融當局合作，建立新的虛擬資產交易平臺。如果李氏會長推動的虛擬資產交易平臺獲準成立，韓國國內虛擬資產交易市場的認知可能會發生變化，預計它可以成為Upbit的競爭對手。（韓國經濟日報）[2023/2/28 12:33:34]

使用\(state.key\)驗證消息的簽名

如果解碼后的消息是約定的行為(\(action\))，那么設置\(state=action\),如果解碼后的消息是一個新的公鑰，那么設置\(state.key=NewK_i\)

知情人士：FTX需要40億美元才能保持償付能力:金色財經報道，據一位知情人士透露，FTX需要40億美元才能保持償付能力，并試圖以債務、股權或兩者結合的形式籌集救援資金。

此前消息，FTX首席執行官Sam Bankman-Fried（SBF）向投資者表示，FTX面臨高達80億美元的資金缺口，正嘗試以債務、股權或二者結合的方式籌集資金。此外，SBF承認FTX存在嚴重的財務漏洞，稱若無資金注入，FTX將申請破產。[2022/11/10 12:44:55]

在\(T_{end}\)之后，操作員必須公布輸出狀態\(M(state.action,...,state.action)\),同時給出一個ZK-SNARK，證明這個輸出是正確的結果。

為什么這個機制是抗勾結的

假設一個參與者想要證明他做過什么，例如做過\(action\)\(A\)，他可以引用一個鏈上的交易\(enc(msg=(i,sign(msg=A,key=k_i)),pubkey=K_\omega)\)，并且提供一個零知識證明，驗證這筆交易的確是包含\(A\)的加密信息。但是，他無法證明他沒有發出別的交易，例如他可能發出過一筆更早的交易，把公鑰換成了一個新的\(NewK_i\)，因此前面的證明也就變得沒有意義了，因為如果他更換過密鑰的話，他可能已經做了別的動作。

參與者還可能把私鑰給其他人，但是這樣做的話那個人拿到私鑰后就可以立即試圖修改密鑰。這樣的話1)有50%的成功率，2)會導致拿到密鑰的人直接拿走之前stake的存款。

MACI未解決的問題

接收方在可信硬件環境中，或者接收方在可信多簽的情況下，賣出私鑰

原有的私鑰在一個可信的硬件環境中的攻擊，這個環境可以防止私鑰變更為任何攻擊者們不事先知道的私鑰

第一種情況，可以通過特別設計的復雜簽名機制，而這種設計對可信硬件和多簽不友好。不過這種設計需要確保驗證函數對ZKP友好。

第二種情況可以通過“面對面零知識證明”解決，例如，參與者可以把私鑰拆解為\(x+y=k_i\)，公布\(X=x*G\)和\(Y=y*G\),并且給驗證者展示兩個信封，分別包含\(x\)和\(y\);驗證者打開一個，檢查公布的\(Y\)是正確的，然后檢查\(X+Y=K_i\)。

非合作二次方投票

這種機制可以用來改進包括投票在內的多種鏈上治理機制。在二次方資助中，當資金池規模非常大的時候，或者當二次方資助被用于更大的場景時(例如大選、國會審批預算等場景)，勾結就會成為一個必須被解決的問題。因此，設計一個抗勾結二次方投票(Anti-collusionquadraticfunding)機制，可以規模化二次方資助。

VitalikButerin,Minimalanti-collusioninfrastructure,

https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413

Tags：IONKEYSTAACTIONFoundationMONKEYINUSTAI價格action幣圈

Ethereum