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

慢霧CISO：注意暗網中出現針對macOS大規模攻擊的軟件macOS-HVNC:8月3日消息，據慢霧首席信息安全官23pds發推稱，慢霧注意到最近暗網出現針對macOS大規模攻擊的軟件macOS-HVNC，Mac電腦和設備因其安全性和可用性比較好而被加密貨幣個人和中小企業廣泛使用。

macOSHVNC特性包括：隱藏操作，HVNC被設計為以隱身模式運行，使個人和中小企業難以檢測到其系統上的存在，這種隱藏的操作允許網絡犯罪分子在不引起懷疑的情況下保持訪問權限；維持權限，HVNC通常包括確保即使在系統重新啟動或嘗試將其刪除后仍保持活動狀態的機制；數據盜竊，HVNC的主要目的是從個人、員工的計算機中竊取敏感信息，例如登錄憑據、個人數據、虛擬資產、財務信息或其他有價值的數據；遠程控制：HVNC允許網絡犯罪分子遠程控制計算機，使他們能夠完全訪問系統。盡管Mac歷來較少成為網絡犯罪分子的目標，但攻擊者現在正在開發更多的macOS惡意軟件，注意風險。[2023/8/3 16:15:19]

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

迪拜房地產開發商DAMAC Properties年內已完成5000萬美元的加密貨幣房地產交易:6月4日消息，總部位于迪拜的房地產開發商DAMAC Properties的首席運營官（COO）Ali Sajwani表示，自今年年初以來，該公司已經完成了價值5000萬美元的加密貨幣交易。

在接受采訪時，Sajwani表示，通過接受比特幣或以太坊作為支付方式，DAMAC表明了該公司為了“受益于最先進的技術解決方案”將采取何種程度的行動。

當被問及用于完成房地產交易的支付機制時，Sajwani表示，已經選擇了一家值得信任的中介機構來促進交易。Sajwani補充說，通過使用可信的金融中介，意味著DAMAC Properties能夠消除價格波動的風險。據另外一篇報道，DAMAC Properties使用的合規中介機構是Havyn數字資產交易所。

與此同時，Sajwani還談到了該公司在面對元宇宙時所面臨的挑戰或障礙。他認為，新興技術的支持者面臨的障礙之一包括“說服老一代決策者采取快速和積極的步驟，投資于這個新的和不熟悉的世界。”（Bitcoin.com）[2022/6/4 4:02:02]

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

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

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

動態 | 曾發行過加密貨幣的硅谷初創公司Crowd Machine于波特蘭開設新辦公室:硅谷軟件初創公司Crowd Machine在波特蘭市中心開設了一個辦公室，以利用當地的工程人才庫。該公司建造了一個軟件平臺，允許企業客戶無需編寫代碼即可構建業務應用程序。所謂的無代碼平臺允許客戶從不同的應用程序、人工智能引擎或微服務中獲取數據，以拖放的形式快速創建新應用程序。Crowd Machine的產品還使用了區塊鏈和智能合約技術，該公司創建了一種加密貨幣，可以用來在平臺上買賣應用程序功能。該公司首席運營官James Hanley表示，新辦公室有8名員工，預計明年左右將增至20人左右。波特蘭辦事處將擴大公司的加利福尼亞工程團隊，并幫助進一步的產品開發。（BIZ Journals）[2019/10/19]

使用\(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：MACIONKEYSTAMACPointDisCas VisionHANKEYRASTA幣

OKB