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

Trust Machines完成1.5億美元融資:金色財經報道，Muneeb Ali領導的Trust Machines表示，他們已經籌集了1.5億美元融資，\"將比特幣從僅僅是一種被動的價值存儲擴展到成為一個強大的新計算平臺的最終結算層，并同時啟用和發展由比特幣這個貨幣和比特幣區塊鏈上的結算驅動的新經濟應用。\" 該公司的投資者 \"將建立在Stacks的成功之上\"，包括Breyer Capital、數字貨幣集團、GoldenTree、Hivemind和Union Square Ventures。（cryptonews）[2022/2/4 9:30:33]

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

麥肯錫2030物聯網預測：MachineFi機器金融爆發即將到來:今日，國際財經時報科技頭版發表了麥肯錫2030物聯網預測展望報道。麥肯錫在文中指出，到 2030 年，物聯網 (IoT) 可以釋放高達 12.6 萬億美元的全球經濟價值，物聯網數字世界和物理世界的融合是當今商業和經濟數字化轉型背后的主要趨勢之一，MachineFi機器金融爆發時代即將到來。同時，麥肯錫介紹了新一代高性能公鏈IoTeX，以及其如何將傳統的物聯網和機器垂直領域轉變為 MachineFi dapp，在 Metaverse 和 web3 世界中釋放萬億美元的機會，并最終使數百萬用戶能夠使用數十億的智能設備參與機器經濟。

《國際財經時報》是全球性在線金融報紙。IBTimes宗旨是通過采編網絡為全球讀者提供及時的商業新聞與分析評論。

IoTeX作為硅谷開源項目成立于2017年，以鏈接現實世界和數字世界為發展目標，是與以太坊全兼容的高性能公有區塊鏈。[2021/11/17 21:56:51]

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

Peter McCormack申請推遲證據開示被拒，并且需要支付CSW 1.8萬英鎊:在CSW起訴McCormack案中，播客主持人Peter McCormack上周要求法院推遲證據開示的最后期限，暗示他將提交一份駁回動議，并要求將證據開示最后期限推遲到該申請被審理之后。

7月30日，高等法院拒絕其推遲證據開示的請求。Dagnall法官指出，如果同意其請求將證據開示時間推遲，那么訴訟程序將會推遲到接近2021年5月4日審判日的時間。Dagnall稱，McCormack提出的時間表將要求雙方在審判預定開始的當天交換專家報告，并稱擬議的拖延令人不滿并且不符合司法公正。Dagnall還命令McCormack向CSW支付與昨天聽證會有關的1.8萬英鎊費用。

McCormack發推稱，“我們成功地請求CSW在9月4日前確認證明他是中本聰的文件。”CoinGeek創始人Calvin Ayre回復稱，“Craig贏了這一輪，McCormack必須在8月21日4:30前支付Craigs 1.8萬英鎊，因為他浪費了Craigs的時間。McC無緣無故試圖拖延該案。證據開示將于9月4日開始。Craigs是中本聰，他將會贏得訴訟，而騙子McC知道這點。”（CoinGeek）[2020/7/31]

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

動態 | 趙長鵬發推稱與未成年人討論BNB Peter McCormack提示其注意幣安服務條款:趙長鵬發推稱：“今天和一個14歲的孩子進行了一次有趣的互動。他拒絕以美元為單位討論數字，而是堅持使用BNB。下一代將是加密的。” 趙長鵬的這番言論引發了熱議，一些網友在該推文的下方質疑這一事件的真實性。而英國加密貨幣節目主持人Peter McCormack則回復表示：“我希望你讓他看一下《幣安服務條款》。”注：《幣安服務條款》中明確提到“用戶應聲明并保證已年滿18歲或根據適用法律簽訂具有約束力的合同的法定年齡”。[2019/8/18]

使用\(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：MACMCCIONACKMACYS幣cmcc幣什么時候可以正常上交易所1MillionNFTsTrueFeedBack

火幣下載