MACI: 鏈上治理中的抗勾結框架-ODAILY

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

麥當勞發推調侃后，投機者創建的代幣Grimacecoin飆漲285641%:1月26日消息，在麥當勞發布推文調侃后，投機者趁機創建同名代幣Grimace Coin，在幾個小時內飆漲285641%。

幣安智能鏈（BSC）上的一款Grimacecoin以0.0007美元的價格開盤交易，一度達到峰值2美元，然后跌至0.60美元的水平。該代幣市值一度接近200萬美元，截至發稿時價值80萬美元，在用戶創建和提供的流動性池中有超過65000美元資金。然而區塊鏈數據顯示，93%的代幣由單一實體持有。另一款Grimacecoin市值一度達到100萬美元，價格一度漲至0.00000193美元；鎖定104000美元的流動性，75%的代幣由一個地址持有。

基于以太坊區塊鏈的Grimacecoin在發行后的幾個小時內飆升56000%，持有者達到1000名，市值達到600萬美元。

據此前報道，繼昨日晚間馬斯克在推特上向麥當勞推薦接受狗狗幣支付后，麥當勞在推特上回應馬斯克稱，除非特斯拉接受Grimacecoin。Grimace是一個毛茸茸的紫色卡通形象，在麥當勞的商業廣告中與羅納德·麥當勞一起出現。麥當勞官方并沒有發布所謂的Grimacecoin。（CoinDesk）[2022/1/26 9:14:44]

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

動態 | 區塊鏈公司Learning Machine提高開放徽章的防篡改能力:據CryptoWatch消息，區塊鏈公司Learning Machine與電子學習解決方案開發商Digital Knowledge簽署了合作伙伴協議，將在電子學習證書中引入數字資格和結業證書的國際技術標準開放徽章。Learning Machine將使用區塊鏈作為開放徽章的擴展規范，以提高防篡改能力并發布更安全的開放徽章。[2020/1/24]

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

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

動態 | 英國主持人Peter McCormack收到澳本聰訴訟信 回應稱將拒絕其要求:據FXStreet消息，英國加密節目主持人Peter McCormack收到澳本聰（Craig Wright）的訴訟信，指責McCormack在推特反復稱他為“Faketoshi（假中本聰）”和“騙子”，從而對其聲譽造成“嚴重傷害”。信中威脅，如果McCormack在4月23日之前不遵守澳本聰的要求，將到法庭起訴。 對此，McCormack發推表示，“我絕對拒絕他們的要求，并且不建議其他人這樣做。我認為聲稱自己是中本聰并推銷虛假版比特幣是欺詐性的。我認為這是為了公眾利益。我們去法庭吧。我這樣做是因為這是正確的做法。我曾失去過一切，如果再次失去又怎樣。BSV是由騙子操縱的假比特幣。”

此前消息，4月12日，趙長鵬發推警告：澳本聰不是中本聰。要是再搞事，我們就下線BSV。據此前消息，澳本聰威脅要起訴閃電火炬創造者Hodlonaut，并宣布用5000美元價值的BSV征集其資料。目前比特幣社區全力支持Hodlonaut，并發起“WeAreAllHodlonaut”的話題。趙長鵬、李啟威等多人已參與推特“抵制澳本聰”的話題互動。[2019/4/13]

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

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

如果解碼后的消息是約定的行為(\\(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友好。

第二種情況可以通過“面對面零知識證明”解決，例如，參與者可以把私鑰拆解為\\(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：MACIONKEYSTASMACReforestation Mahoganyonekey虛擬卡是哪家公司的KaraStar

ETH