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

NFT鑄造平臺Metaplex：Solana主網宕機部分由于其Candy Machine程序爬蟲，將推出懲罰機制:5月1日消息，基于Solana的NFT鑄造平臺Metaplex發推表示，今日Solana主網宕機部分由于Candy Machine程序的爬蟲。為了進一步穩定網絡，該項目將很快對該程序部署一個機器人懲罰程序，當錢包嘗試完成無效交易時，將收取 0.01 SOL 罰款。收集到的懲罰資金將提供給 Candy Machine 實例的配置帳戶，然后，Candy Machine創建者將自行決定如何使用從這些罰款中收取的資金。

據了解，Metaplex 為藝術家和創作者提供了在Solana上啟動 NFT 應用程序的工具，此前曾完成4600萬美元融資，Multicoin Capital和Jump Crypto領投。[2022/5/1 2:43:38]

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

IoTeX MachineFi愿景書和IoTeX 2.0路線圖正式發布:據官方消息，新一代高性能公鏈IoTeX正式發布機器金融MachineFi愿景書和IoTeX 2.0路線圖，開啟百億機器金融新時代。

愿景書中，IoTeX首次向世界介紹了web3機器經濟時代的未來，深入闡述機器金融#MachineFi概念；介紹IoTeX 2.0帶來的創新：將傳統的物聯網和機器垂直領域轉變為 MachineFi dapp；在 Metaverse 和 web3 世界中釋放萬億美元的機會：即將被MachineFi賦能的用例；并最終使數百萬用戶能夠使用數十億的智能設備參與機器經濟。

北京時間11月20日凌晨1點，IoTeX團隊將進行MachineFi上線直播，IoTeX聯合創始人Raullen將做機器金融MachineFi主演演講；同時，十多位IoTeX團隊成員將與社區面對面進行多場主題討論。[2021/11/18 22:01:40]

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

動態 | Peter McCormack要求澳本聰提供自己是“中本聰”的證據:據ambcrypto報道，在律師的一份聲明信件中，澳本聰另一項誹謗案的被告、英國加密節目主持人Peter McCormack表示，澳本聰稱自己因受到誹謗，而導致他的聲譽可能受到嚴重損害的指控純屬“異想天開”。McCormack還提出，如果澳本聰能提供令人滿意的證據，證明他確實是比特幣創造者中本聰，他將撤銷有關“澳本聰是騙子”的聲明。 McCormack還“邀請”原告在該信件發出后21天內給出上述答案，否則澳本聰將不得不給出一個非常“令人信服的解釋”，解釋他為什么拒絕提供“證據”，以及他究竟打算或期望在什么時候提供“證據”。[2019/8/10]

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

動態 | 研究：新加密惡意軟件可竊取Apple Mac OS等客戶信息:據fortune報道，Palo Alto Networks的網絡安全研究人員今日發布研究報告稱，發現一款影響Apple Mac OS或操作系統的新加密惡意軟件CookieMiner，其疑似安全公司Malw??arebytes 在去年12月發現的OSX.DarthMiner惡意軟件的變種。研究人員提示，如果用戶在加密貨幣交易所查看比特幣價格時，請確保刪除其cookie。如果不這樣做，可能會導致個人數據（如密碼、信用卡信息和保存的iPhone文本消息）被黑客竊取。[2019/2/1]

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

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

在\(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友好。

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

非合作二次方投票

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

VitalikButerin,Minimalanti-collusioninfrastructure,

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

Tags：MACINECHIACHMACYS價格coinex交易所是真是假Meme MachineEnreachDAO

Gateio