買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 屎幣 > Info

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

Author:

Time:1900/1/1 0:00:00

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

ETH Research Grant將首次使用基于PLONK的MACI系統:1月14日消息,以太坊長期研究資助(ETH Research Grant)將于1月15日在DoraHacks.io開始二次方投票。本次投票將首次實驗使用DoraHacks MACI-PLONK(基于PLONK系統的MACI零知識投票),這是首次將MACI拓展至PLONK。通過DoraHacks MACI-PLONK,零知識治理的電路設計將更加靈活,并只需要一次零知識證明可信啟動。

此前,DoraHacks-MACI使用Groth16系統對投票結果進行零知識證明,自2021年以來,DoraHacks-MACI已經在多次社區治理中被使用,包括Dora Grant DAO、ETHDenver、OpenSea黑客馬拉松等。DoraHacks MACK-PLONK將逐步替代DoraHacks MACI,成為未來零知識治理的基礎設施。[2023/1/14 11:11:53]

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

中東地區房地產開發商巨頭 DAMAC Properties 將接受比特幣和以太坊支付方式:4月28日消息,中東地區最大的豪宅房地產開發商之一 DAMAC Properties 宣布將接受加密貨幣支付方式,最開始將支持比特幣和以太坊。[2022/4/28 2:37:26]

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

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

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

聲音 | Peter McCormack:CCN關閉或不僅因為谷歌改變算法:針對受谷歌核心更新影響,加密貨幣新聞網站CCN正在關閉的消息,英國加密節目主持人Peter McCormack發推表示,他懷疑CCN的關閉不僅僅是因為谷歌算法的改變。谷歌新算法推出時間是6月3日,而CCN做出關閉決定卻是一周之后,這意味著其中存在更大的問題。他認為,像大多數內容提供商一樣,他們在產生點擊量和變為盈利之間有一場斗爭。隨著廣告不起作用,對于大多數公司來說,其商業模式都會變得糟糕,所以最終只能做交易。[2019/6/11]

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

動態 | Roger Ver發推抨擊閃電網絡,Peter McCormack回應稱BCH是中心化的“shitcoin”:比特幣耶穌Roger Ver發推稱:“閃電網絡需要99.99%的用戶信任,因為他們使用的是類似PayPal的非托管錢包。”并在該條推文中@了英國加密節目主持人Peter McCormack。 但McCormack在該條推文下回復稱:“BCH要求99.99%的用戶信任,因為他們使用的是中心化的shitcoin。”[2019/6/5]

在\(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:MACACKIONKEYGrimace CoinCrypto JackpotIONC幣onekeylite插件網址

屎幣
COIN:關于支持BZRX置換為OOKI及代幣增量的公告_OIN

尊敬的用戶: 由于BZRX代幣置換為OOKI,CoinW將暫時停止其交易與充提功能,并對用戶的BZRX持倉進行快照,按照1BZRX=10OOKI的兌換比例發放OOKI.

1900/1/1 0:00:00
CRE:為什么非洲現在需要利用數字化來轉型?_cream幣廢了

非洲需要數字化轉型。為了在非洲創建一個綜合和包容的數字社會和經濟,改變社區、經濟和公民的生活,它必須利用數字技術和創新.

1900/1/1 0:00:00
GLO:BKEX Global 關于上線 WAVES 的公告_hotcoin global

尊敬的用戶:?????? ??? BKEXGlobal即將上線WAVES,并上線WAVES/USDT聚合交易對.

1900/1/1 0:00:00
THE:Gate.io Divergence Protocol (DIVER) Trading Competition, Win a Share of $24,000 Mega Reward_GATE

Gate.ioiscurrentlyholdingaDIVERtradingcompetition.Wehaveapoolof$24.

1900/1/1 0:00:00
CEO:產業區塊鏈正當時·2021零識區塊鏈年度榜單揭曉!_CBC幣

12月28日,以“產業區塊鏈正當時”為主題的零識區塊鏈2021年度區塊鏈榜單評選正式落下帷幕,各項榜單評選結果得以正式揭曉.

1900/1/1 0:00:00
USD:中幣合約圣誕新年狂歡派對活動_COM

尊敬的中幣用戶: ????為感謝新老用戶的支持,迎接圣誕和新年的到來,中幣合約發起與用戶們一起慶祝年終盛誕的派對活動。點亮圣誕樹,瓜分新年糖果。人人有份,參與即得獎勵.

1900/1/1 0:00:00
ads