獨家對話Dora:如何解決去中心化治理中的隱私及共謀問題

發表於 2022-06-09 17:49 作者: 區塊鏈情報速遞pro

過去兩年,去中心化治理中的隱私及共謀問題被頻繁提及,相對於“操縱”和“女巫攻擊”這兩大挑战來說,隱私及共謀也是較難解決的問題。整個加密貨幣生態的規模化發展,將隱私及共謀的問題充分的暴露了出來。目前不論是在理論還是在技術層面上,針對如何解決隱私及共謀的問題,都有了一些更加深入的實踐。

所以本期《Yaki 叨叨 DAO》非常有幸邀請到了 DoraHacks 的發起人劍南,和大家一起聊一聊去中心化治理中的共謀與隱私問題。DoraHacks 是全球最大的極客組織和最活躍的 Web3 多鏈开發者激勵平台之一。下文爲 DAOrayaki 社區整理的 AMA 文字版回顧。

音頻內容請點擊鏈接:

https://www.xiaoyuzhoufm.com/episode/629f0cdad02ea2b34ca88796?s=eyJ1IjoiNjI2Nzk0ZmNlZGNlNjcxMDRhMDVmOWRhIn0%3D

DAOctor:去中心化治理是實現 Web3 世界公平透明所有權等核心特徵的必要手段,尤其是前年 DeFi Summer 的到來,越來越多的項目將其協議逐步交給社區治理,這就意味着更多的用戶和代幣持有者能夠對協議參數、資金支出以及社區未來的發展有更多的話語權和控制權,也正因此去中心化治理爲共謀提供了滋生的土壤。所以,想請問Eric,你認爲什么是去中心化治理中的共謀呢?

Eric:其實,共謀並不是去中心化治理才存在的問題,所有的系統都會存在這個問題。簡單來說,如果一個系統,比如投票,如果票是可以被相互之間購买的話,就可能會產生共謀。從博弈的角度上來說,我們可以認爲共謀是一種合作性博弈。因爲對於任何治理系統而言,是在爭奪某種資源的情況下才會去投票,否則投票系統不一定是有價值的系統。那么如果是在爭奪這些資源時,投票的參與者之間就會形成一個競爭關系,或者說是博弈的關系。

我們設計任何一個系統,最理想的情況下是把這個系統看成一個非合作博弈的系統。舉個例子,非合作博弈中的假設是:參與者之間都是不認識對方的,也無法溝通,無法知道對方的想法等等。但是在現實的情況下,這通常是不成立的。現實中,很少會有參與者之間不知道對方在幹什么,或者不知道對方的想法的情況。那么一旦這個系統可分配的資源變多,參與者可能就會形成小圈子,所有的參與者會被劃分爲不同的小組,這些小組之間便开始進行博弈。小組之間也會存在人員的變動,也許你一开始在這個小組,然後你又加入另個小組,這個時候整個博弈就變成合作性博弈了,而在合作性博弈的情況下,自然就會產生共謀的問題。

如果你想做一個 DeFi 類型的 DAO,在分配財庫的時候就會出現這樣的問題。比如DoraHacks在給項目分配 Grant(資助)的過程中也可能會出現這樣的問題,所以在這種治理中共謀是永遠都存在的。

但是在中心化的系統中,我們通常很難去抑制這樣的問題,大部分國家的民主選舉,其實都會有選票收割的這種情況。就算在制度相對成熟的地方,仍然有一些區域存在選票收割的情況。簡單來說,某個區域的居民可能經濟狀況不是特別好,就會有特定的人去用 100 美金購买一張選票或者給予一些承諾好處。

所以在這種情況下,其實共謀是很難制止的。當然在中心化系統裏邊可能有一些方式,比如類似“舉報”這樣的功能等等。但大多數時候共謀是祕密進行的,因爲共謀的利益相關方之間是利益相關的,所以就算有舉報機制,也不一能很有效的發現這種共謀情況,就算發現了,也很難證明。

在去中心化的系統中,只是鏈上投票的話,相同的情況也會發生。比如給出承諾:如果你二次方投票選我的話,我會給你空投,這其實也是一種共謀;或者在某個 DAO 裏,你選擇支持某一個提案,如果該提案順利通過,我會給你特定的獎勵;獎勵形式可以是空投,也可以是修改治理規則偏向於某一些人等等。這些其實都是共謀的方式。所以其實一直以來共謀都是一個比較難解決的問題。

DAOctor:好的,謝謝Eric!那么除了您剛剛提到的像這種去中心化治理中的空投現象或者規則的改變之外,這種去中心化治理中的共謀還存在在一些什么樣的場景中呢?

Eric:這種場景其實可以是無限多的,但我們可以看這個問題的本質。當在分配資源的時候,大家在爭奪資源時自然會產生的一種博弈的情況,所以任何的治理系統都會出現這樣的情況。如果這個資源越多,大家就有更大的動力去共謀,如果資源越少,可能大家的動力就沒有那么多。舉個例子,如果某一項提案的分配金額是 100 美金,可能大家就沒必要共謀了;但如果是分配 1,000 萬美金,那么大家就有動力去共謀。因爲假設通過共謀可以獲得 500 萬美金,但不共謀的話只能獲得 200 萬美金,而參與共謀的成本只需要 100 萬美金,還能淨賺 200 萬美金,所以我就要去共謀。是否參與共謀是基於動機,你可以在很多種場景下找到共謀的案例。

DAOctor: 剛剛您提到,共謀這個問題還蠻難解決的,它難以解決的難點是在哪裏?技術、制度還是意識形態呢?

Eric:我覺得其實跟意識形態關系不是特別大,因爲不管意識形態是什么,大家總是會關注實際所得的東西,所以我個人認爲這並不是一個意識形態的問題。制度是一個難點,技術是另一個難點。如果我們有新的技術,我們能做抗共謀的系統就會更不一樣。比如說如果沒有 ZK(零知識證明)的話,我們可能大部分情況下要用舉報(fraud proof)的方式。最早公鏈共識的設計和Layer2 項目都會遇到這種情況。其實大家想要的是證明一個結果的合法性,但如果沒有更好的技術的話,你只能讓大家舉報,然後舉報了之後你再去驗證。

但如果你有 ZK 技術 ,就可以增加共謀的門檻。當然並不是只要有 ZK ,就可以解決共謀,而是可以基於 ZK 去設計更有效的治理系統,但是任何系統其實都只是在一定限度之下是有效的。

並不存在一個在任何共謀情況下都有效的系統。我們探討這個系統在什么情況下是有效的,其實主要看的是這個系統涉及到的資源規模。如果一個系統它的資源規模是非常大的,那么抗共謀的機制或者是這個系統也要相應的更強,如果本身這個系統它沒有分配很多資源的話,你可能都不用抗共謀。

DAOctor:您剛剛提到的 ZK 從技術的層面上來去解決共謀的問題,除此之外,現在在業界內還有沒有一些其他的解決方案?

Eric:我覺得會有很多種方法,但是目前來看所有能想到的方法,一種是改進 review 的機制,比如說我知道你在共謀,然後去舉報你,並且提供證據,這是一種方式。第二種方式就是說我設計一個系統,然後這個系統是從密碼學上來說很難去共謀。當然我說的第二種並不是說一定得是 ZK,但是很明顯 ZK 是非常有效的一個技術。

DAOctor: 剛剛您提到改進 review 的機制,我們是不是可以把它理解爲是一種從制度和規則層面上解決共謀的問題的方案呢?

Eric:對。比如說你在現實世界,因爲大部分是中心化的,所以其實在中心化系統裏面,最常見的是這種方式。比如說我們制定一個法律,然後法律說不允許這樣做,如果你這樣做的話,就會被拘留幾年或者罰款;如果有一個人這樣做,別人就可以去舉報他,可能有一個檢舉系統,然後他就會得到懲罰。所以在現實世界中,其實也是在提高作惡成本,但這並不能絕對阻止作惡。如果分配資源的數量大於它的作惡成本的話,其實還是有人有動力去做這個事的,比如說你罰款 1 萬美金,但是作惡可以得到 10 萬美金,那么很明顯還是會有人愿意去幹這個事兒。

在去中心化的世界裏面,大部分情況下還是會用這種機制,因爲這種機制雖然不是永遠有效,但是它從很大範圍內是有效的。反過來說 ZK 也並不是只在去中心化世界有效的,它在中心化世界也是有效的。其實我們並沒有說 ZK 只能用於去中心化,它是一種技術,它其實也可以用於中心化治理。

DAOctor:DoraHacks 作爲全球知名的資助平台,社區內的用戶和項目肯定是有非常大的動力來進行共謀的, Dora 又是如何解決共謀問題的呢?

Eric:我們經歷了一個過程, DoraHacks 其實從 2014 年开始就在非常頻繁地組織黑客松。在更早之前,沒有成立 DoraHacks 的時候就組織過許多黑客松。所以在很早期的時候,可以認爲黑客松就是一種分配獎金的系統,當然肯定不止分配獎金,但是從獎金的角度上,可以把黑客松看成是一種分配獎金的系統。

所以在线下黑客松裏面,我們會設定一些治理規則,比如讓評委去投票,或者讓更多的人去做評委,也可能會讓每一個團隊去做評委,但是這個團隊不能投給自己,只能投給別人等等,會有一些這種非常原始的規則。

所以在這種情況下,一個黑客松也是一個治理系統。只不過它通常來說分配的獎金會比較少,一般是幾萬美金之內,然後評委可能大家都認識,所以也不存在說非要共謀的情況。但是在18/19年後,DoraHacks 分配的資源數量變得很大。我們在 21 年年初的時候,就重點關注共謀的問題。如果一個普通的 Grant,當然可能是一次方投票、二次方投票或者是任何的 Grant,大家爲要去獲得更多的 Grant 獎金,進行共謀。共謀的方式有很多,當是評委投票機制時,賄賂評委;社區投票時,賄賂社區,而且賄賂社區是非常容易的事,因爲最直白的方法就是直接去發布一個推特,然後說“你只要給我投票就可以得到空投。”

有些人會做一個計算,比如進行賄選之後可以多拿到 3 萬,然後計算大概需要多少人。大概測算完之後,他可以告訴大家會給賄選地址進行空投,這個空投的價值是多少,所以這樣的話他就可以很有效地去賄賂社區。

在這種情況下,賄選是很容易的。尤其是在鏈上的時候,最終的結果就是社區接受被賄選過後的結果。當然你可以設置一個規則,比如不許賄選,如果你設置這個規則的話,後面就要去檢查到底有沒有賄選,如果有賄選,還要提供證據,就跟現實世界一樣,過程特別麻煩,整個成本很高。比如最早期的 DoraHacks,我們完全不需要處理這個問題,但是如果我們的 Funding(資金) 的分配規模在 10 萬美金,肯定和 1 萬美金的時候不一樣,如果這個 Funding 的規模進入到 100 萬美金,或者是 1,000 萬美金又會發生什么,所以對抗賄選的要求就越來越高。

事實上 DoraHacks 分配 Funding 的規模就是以這種速度在增加。截止到目前爲止,DoraHacks 每個月分配的 Funding 大概會在 100 萬到 300 萬之間,在 2020 年底的時候只有幾十萬美金,之前的話就更少。所以我們對抗賄選的技術和機制的需求是隨着整個社區和平台的發展在增加的。

這就是爲什么我們會非常非常關注賄選問題和抗賄選的技術。DoraHacks 現有的基於 MACI 抗賄選系統從去年 2 月份就开始准備了,花了比較長的時間。

第一次在 DoraHacks 上使用 MACI 是今年 2 月份的ETHDenver线下的黑客松。當時要分配大概 100 萬個左右的 Spork token 給到社區,進行了一個實驗。

後來开始更多的使用這個系統,比如 Opensea 的黑客松,所以抗賄選或者抗共謀技術和實際的需求之間有一個聯系。

當然這個並不只是在 DoraHacks 裏是這樣的,所有的治理系統都都是一樣的。因爲所有的治理系統最後在發展的過程中,都需要去分配更多的資源,所以共謀永遠是一個問題,抗共謀也永遠是一個需要被解決的問題。

不過我比較詫異的是中文社區和英文社區對抗共謀的技術和產品,還有在社區層面的探討其實不是特別多。但是我理解的是,後面會有很多的 DAO 產生,當然不一定是 DAO,也有可能是半中心化或者是中心化組織,有更多的抗共謀需求出現的話,這種基礎設施就變得更重要。

DAOctor:抗共謀還未普及,這個現象和現在整個這個行業還沒有被規模化有關嗎?

Eric:我覺得跟規模化關系很大。因爲如果一個系統已經規模化的話,這個問題是肯定要被解決的。因此我覺得現在大家沒有去非常積極去解決這個問題,主要就是兩個原因:

一個是我們看到的很多的治理系統,不管是中心化還是去中心化都不是真正的治理系統。比如說 Uniswap 去年很有爭議的投票賣幣事件,就屬於大部分的投票權看起來是在大學生手裏邊,但事實上是在幾個 VC 手裏。這種屬於治理高度中心化,所以投票的結果是被幾個核心組織高度掌控的。

第二種情況是沒有規模化,如果我們沒有在處理足夠多的資源的話,可能共謀就不是一個最重要的問題。也許女巫攻擊是一個更重要的問題,或者參與度是一個更重要的問題。但是如果規模變大的話,目前從我個人的經驗來看,我覺得共謀是最重要的一個問題。它在規模化的時候,會比女巫或者是其他的一些問題更重要。

DAOctor: 關於 Dora 提出的抗共謀機制也是今年業內很大的一個新聞了,您剛剛提到 MACI,可以和我們聊聊什么是 MACI 嗎?

Eric:MACI 是一個比較簡單的框架性方案,在 Vitalik 的一個博客裏,他很簡單的提到這樣一個想法:如果我們用 ZK 去解決抗共謀的問題的話,我們可以有一個簡單的框架。這個框架其實是很小的,是一個很簡單的機制。首先我們假設有一個系統,它可以是任何一個需要抗共謀的系統。在這個系統裏面,有很多人會發起一種行爲,所以這個時候,在 MACI 的假設下,我們有一個 operator ,相當於是一個管理員,然後管理員其實是收集大家的信息的。整個 MACI 的過程其實可以分爲三個部分:

  • 第一步是叫 sign up(注冊),就是我們讓所有的參與者去用自己的公鑰或者是地址去注冊。

  • 第二步,大家就可以去發消息,當然這個消息可以是一個投票,也可以是別的行爲。然後這個消息是發出來的時候,所有的消息是被管理員的公鑰去加密。所以也就是說,這個消息除了你自己和最終管理員知道,沒有任何人知道這個消息是什么東西。這個消息它可以上鏈,但是沒有人知道這個消息它到底是什么,因爲這個消息是被加密過的,這個是第二步。

  • 第三步就是管理員,他把所有的加密過的消息都下載下來,然後解密所有的消息並給出一個結果。如果在投票的場景下,解密完所有的消息之後會給出一個排序,但是這個時候的問題就是,你怎么知道他給的排序就是對的,因爲管理員可以作惡,所以這個時候的問題就是你要保證管理員給出的結果是對的,但是又不必要告訴大家所有的消息都長什么樣,就是我們要在隱藏消息的情況下,還要確定這個管理員給出的東西是是對的。

因此我們需要讓這個管理員在給出這個結果的同時附帶一個 ZKP(零知識證明),它保證了管理員給出的東西是對的,但是他又不需要揭示任何的細節,所以這就是一個最小化的一個框架。 MACI 的全名叫最小化抗共謀框架。基於這個框架,我們可以在一定程度上解決(比如投票中的)抗共謀問題。

但這個地方要注意的一點,這個系統並不是萬能的,它是有一些假設的,而且這些假設在某些情況下是很強的。舉幾個例子,比如這個系統依賴於對管理員的假設,也就是說這個系統假設管理員是不會作惡的,如果管理員他去主動和參與者進行共謀,那么這個時候就是說這個系統就不工作了。

然後第二個就是管理員其實要保證大家的隱私,因爲管理員知道所有的消息長什么樣,他是可以去泄露大家的隱私的,這也是一個問題。

當然,這個系統有一些很好的特質,其中最好的一個特質在管理員不泄露隱私的情況下,抗共謀屬性是被保證的,因爲它不能造假。如果管理員改變實際的投票結果的話,就沒有辦法給出一個正確的 ZKP,在這一點上這個系統是好的。

以上就是 MACI 是什么以及 MACI 相關的抗共謀假設和隱私假設。

DAOctor:謝謝Eric!您剛提到這個系統的假設是基於兩個條件,一個是管理員不會作惡,另一個就是他要確保隱私。所以我比較好奇的是管理員不會作惡,如果作惡,成本會有多高?

Eric:就在最簡單的框架下,管理員肯定永遠都是可以作惡的,他作惡的成本取決於實際的使用場景。就是從技術上和機制上他作惡沒有成本,但是從實際的使用場景上來說,他作惡可能是有成本的。

因爲可能在有一些系統裏面,管理員他自己就不愿意作惡,所以作惡本身對他自己就有成本,這個成本有可能是精神上的成本,有可能是物質上的成本。

但是我們爲什么把 MACI 叫最小化框架,是因爲它是一個最簡單的框架,在這個框架下,有一些假設它必須得成立,然後打破這些假設其實也不難。

DAOctor:剛剛提到就是說基於 MACI,它是基於零知識證明的隱私投票,其實我們都知道去中心化治理中的共謀問題與它本身的公平透明性也是分不开的,那么我們現在通過隱私投票來解決共謀的問題,邏輯上這算不算是一種悖論?

Eric:我覺得這個是沒有悖論的。從透明性的角度上來說,ZK 其實保證了透明性,它只是在隱藏信息的基礎上保證透明性。

更大範圍來說,隱私和透明它本來就是相對的,所以不管是去中心化還是中心化,有隱私的話,透明性就會一定程度上減弱。比如你要用 Tornado.cash,你本來就是要保護轉账的隱私,自然就不希望信息是透明的,所以比如說在比特幣或在以太坊上,你普通轉账肯定就沒有隱私,但是你在 Tornado.cash 上你可能就有隱私。

所以抗共謀、隱私和透明可能是三個不同的東西。

DAOctor:謝謝Eric的解讀!Eric就剛剛提到的 MACI,它的核心框架之一是引入了中心化權力,以及就像祕密統計選票和基於零知識證明的協調員管理員,這個會不會使本身去中心化治理更加變得中心化呢?

Eric:我之前看過一個視頻,然後上面說到以太坊基金會早期的一個故事。就是說以太坊基金會早期有兩派觀點,一派是 Gavin Wood,非常喜歡鏈上治理,然後還有一派人是 Vlad Zamfir ,特別喜歡鏈下治理。喜歡鏈上治理的人,認爲所有投票都得在鏈上發生,喜歡鏈下的那部分人持有完全相反的觀點,等等。

你也可以看到,比如說 Gavin Wood 後來做波卡的時候所有的投票都在鏈上。

我覺得首先這個地方可能有幾個概念需要區分一下。

當我們在說去中心化治理的時候,我們並不是在說鏈上治理,鏈上和鏈下都可以進行去中心化治理。去中心化治理這個東西本身不一定是一個很具體的概念,所以更重要的還是治理它本身需要什么東西。比如如果需要的是上鏈透明,你就需要用鏈上治理,但是如果系統需要的是更多的隱私,就不一定要上鏈了,也許就需要某種程度上用 基於zk的投票系統。但是在一定程度上可能這種系統(例如MACI)隱私屬性是不夠的,所以我們可能需要更強的系統,那就需要至少在這個基礎上面再給這個系統增加隱私性。

所以其實你會發現整個系統在遇到一個實際用例的時候,它會有很多種需求,然後你根據實際需要的這種屬性去決定你這個系統怎么樣去設計。

DAOctor:您剛剛在講 MACI 的時候提到它是一個抗勾結的框架。能不能再和我們詳細講一講,爲什么說基於零知識證明的投票機制,是一種抗勾結的機制?

Eric:因爲所有的信息都是加密在鏈上的。我再稍微回到剛才那個問題,就是說在這個裏面並不是信息不上鏈,只不過是加密過的信息上鏈,所以你是會看到所有人都投票,然後都上鏈了,但是只是你看不到他這個信息是什么,所以這種情況下,比如我投了一票給某一個人或者是某一個任何東西,但是由於這個信息是被加過密的,所以沒有任何人知道我實際上給誰投票,所以我也沒有辦法證明我給不給任何人投票,這樣的話,你想要用錢來买我的票的話,就變得很困難。

然後在這個基礎上你還可以再加更多的東西,你可以讓任何的參與者有更多的行爲,比如說除了投票以外,還可以更換你的密鑰,然後很有可能你先投票,然後你又更換你的密鑰,之前的投票就作廢了。

但是從別人來看,他並不知道你這兩個信息都是什么,所以你自己也沒有辦法證明你自己做過什么事,這樣就抗共謀了。

DAOctor:那就像我們剛剛也一直說抗共謀問題其實決定了鏈上治理能否走向規模化。那么 DoraHacks 作爲第一個抗共謀投票機制,中等規模應用的平台,從整體的運行結果上來看,效果如何?

Eric:首先我覺得目前整個 Web3 生態裏有兩個項目嘗試過這個事情,一個是以太坊生態的 clr.fund,另一個是 DoraHacks。我們考慮這件事情和做這件事情的時間是差不多的。我其實沒用過clr.fund的產品,不知道他們效果怎樣,因爲 Clr.fund 現在還未規模化。

從我們自己的經驗來看,我覺得結果是比較有意思的。有意思的地方在於,在 DoraHacks 平台上,我們有很多種投票機制。本質上這些投票機制之間是在互相競爭的,所以有的人會非常的喜歡隱私投票。從目前看來,我覺得大概有兩個原因:

第一個原因是由於它很大程度上是抗共謀的,所以很少會有糾紛的存在,由於他抗共謀,所以大家會非常認可這個結果。

然後第二個特別讓我個人很喜歡的一個地方就是,基於zk的投票雖然內部非常復雜,但是它對用戶是非常友好的,用戶操作界面非常友好,是我個人非常喜歡的一個地方,很多參與者也都非常喜歡。比如在 MACI 下面我們支持重復投票,即你可能投了一次票,然後你改變心意了,只要在結束之前你就可以刷新掉你之前的票。這在普通的二次方投票裏是很難做到的,無論從機制上還是從算法上都很難再去產品上實現,但是在zk投票上就可以實現。

出於這兩個原因,就會有一部分人會喜歡zk投票,但是有另外一部分人可能會不喜歡 ,因爲它會降低大家的交互性,即你在投票期間沒有辦法交互。另外一個是,它在某種程度上讓大家覺得難以理解,所以並不是所有人都喜歡它。但是很明顯有zk投票的情況下,會給包括 Dora 社區在內的整個社區添加了一種新的機制,這個機制使得 Dora 的整體使用場景變得更廣。

DAOctor:如果大家一直比較關注 DoraHacks 的話,會發現你本人一直都很關注怎么樣把加密領域的資助機制推廣到非加密領域。我們上面提到的中心化治理當中的一個問題,像國家選舉或者是民主治理中大規模選票舞弊的問題。我們今天談到基於零知識證明的投票機制是否能夠解決這些問題?

Eric:我之所以個人關注這個事情,一定程度上是因爲我認爲是可以規模化這種機制的。但是我們肯定是需要在 Web3 的領域裏先去嘗試,因爲在 Web3 之外,你很難在短時間內推行這樣的一個新的機制,對於傳統世界這還是很激進的一個機制。

但從技術本身來看,它肯定是可以規模化的。因爲 MACI 是最簡單的一個結構,所以在規模化的時候, MACI 本身它肯定是不滿足真正規模化的要求的。包括我設想如果我們假設有一個 DAO,每一輪它會分配幾千萬美金的資金的話,我覺得最簡單的框架是不行的, MACI 本身是不行的。在基於零知證明投票的基礎上,我們肯定還需要更多的元素,比如說我們剛才說到關於隱私假設的問題。雖然中心化的節點它沒有辦法更改結果,但是他可能會泄露大家的隱私,對吧?或者他可能會主動去共謀,那假設在選舉的這個場景下,關乎到一個國家整體的利益,很明顯你可以看到 MACI 是不行的,我們就需要至少要在這個基礎上要有更多的增強機制。

在規模很大的時候,隱私就會變成一個特別重要的問題,如何保證所有行爲對中心化節點也是隱私的,這個就是我們現在正在關注的一個問題,就是匿名化的 ZK 投票。在不同的規模化系統裏,你可能會有不同的隱私假設和安全假設,因此,所有都需要基於你的規模化場景裏具體的需求,即對安全、抗共謀和隱私的需求來設計。

DAOctor:Eric,除了我們剛剛在上面談到的, MACI,基於零知識證明的投票機制現在的一些應用現狀及解決的問題,那么對於這種機制本身,現在還有哪些沒有解決並需要被解決的問題嗎?

Eric:其實有很多東西沒有被解決。比如說隱私本身就是一個沒有被解決的問題。例如我們如何對用戶有效的進行白名單,有沒有好的去中心化的白名單機制,這可能都是有很大的空間可以去設計。

當然對於投票機制本身,其實最大的問題就是隱私問題。我們怎么去解決隱私問題?如果我們讓中心化的節點也獲取不到任何信息的話,那么我們就需要在向他隱藏信息的情況下,還要完成投票或者整個操作,以及還要保證最後的結果是對的並且是抗共謀的。

在這種情況下,我們可能就需要引入更復雜的機制了。比如我們能設計這樣的機制,其實我們就可以一定程度上滿足隱私的需求。因爲所有人在投票之前,他可以先把自己的密鑰注銷掉,然後他可以注冊一個新的密鑰,而讓管理員不知道新的密鑰對應於哪個之前的密鑰。這就是一種想法。但是爲了實現這種想法,對整個協議和算法的復雜度的要求就會升高非常多。

其實是有這樣的方案的,比如說以太坊社區有兩個方案, DoraHacks 社區有一個方案。 DoraHacks 方案的復雜度介於 MACI 和 Vitalik 的方案之間,但是對隱私的保護也是介於這兩個中間的。目前看隱私保護屬性越強,復雜度會升高;反之,它復雜度可能可以相應地降低。但是因爲這個話題就會相對比較復雜,所以如果有人感興趣的話,我們可以找一個時間單獨聊這個話題。

DAOCtor:好的,這是一個非常有意思並很值得我們深入繼續去探討一個問題。其實在开始這個話題之前,社區就有小夥伴來私信我。能否請您聊一下,像 Dora、Gitcoin,還有您剛剛提到的 Clr.Fund ,它們之間的區別。我的理解是這三個項目在資助方面是有一定的相似性的。您覺得最大的差別是什么?

Eric:Clr.Fund 規模比較小,我感覺 Clr.Fund 目前還在找方向,並不清楚他們的方向具體是什么。

Gitcoin 是 18 年附近成立。Gitcoin 最主要的使命應該是去資助更多以太坊生態或者以太坊爲主的生態的公共物品。所以事實上如果 Gitcoin 是往這個方向發展的話,它未來應該去資助更多以太坊生態的公共物品,比如像 ImpactDAO 這種非營利組織,然後還有以太坊生態的必要的基礎設施,或者應用、 DAO,這些也都是他們需要去資助的方向。

而 DoraHacks 是 14 年就已經成立了。DoraHacks 的使命是資助和推進 Hacker Movement(黑客運動)和开源運動。

我們最根本的一個假設是,Hacker Movement(黑客運動)和开源運動是提高人類的生產力。因爲,有开源軟件和更多Hacker的世界和沒有开源軟件/hacker的世界很不一樣。我們可以很根本性地通過开源軟件和 Hacker 帶來的成長關系的變化,去創造更多的美好的產品,以提高各行業的生產力。

所以我覺得 Gitcoin 和 DoraHacks 其實沒有特別多的交集。因爲 Gitcoin 的使命和 DoraHacks 的使命是完全不一樣的。雖然可能在一段時間裏,比如在 2021 年,Gitcoin 會組織 Hackathon(黑客松),而我們是世界上最活躍的Hackathon組織者之一。但是我覺得從今年已經可以看出來,大家的方向已經大不相同。

我們其實也很喜歡 Gitcoin。他們非常擅長做公共物品資助的研究,提出了一些概念。但是我覺得 Gitcoin 和 DoraHacks 本質上沒有太大的關系,只是看起來好像有點關系。我們很少去考慮競爭對手的問題,因爲我們有自己的使命和要做的事情。

DAOCtor:我是不是可以理解爲,DoraHacks 的資助範圍和用戶群體,相對於 Gitcoin 是更廣泛的?

Eric:我覺得是有交叉的。因爲 Kevin Owocki 年齡比我們大一些。他在美國,做 Gitcoin 之前,其實做過很多年的工程師,然後也試圖在 Web2 裏面創業,最後才做的 Gitcoin。所以我認爲 Gitcoin 很大程度上要去 fulfill (實現)Vitalik 的理想,就是去資助更多的公共物品,尤其是以太坊上的公共物品。

我理解的公共物品並不只限於开源軟件。开源軟件或者說以太網生態的开源軟件可能是公共物品的一個領域。比如說 DoraHacks 在 Co-host ETHDenver 的時候,科羅拉多州有很多這種農民合作社,他們所在那個城市叫 Boulder,當地的一些中小企業,都屬於公共物品的範疇。所以我理解在公共物品領域其實有很多東西可以做,不一定都是开源軟件。但是 DoraHacks 並沒有特別在意公共物品這個概念,我們就專注在开源軟件和 Hacker Movement。我們更專注於新的技術、生產力和新的產品。

DAOCtor:Eric,像您剛剛提到的區別是從使命和定位上,如果從機制的角度上來看,兩個平台在機制本身有沒有一些本質的區別?

Eric:其實有非常本質的區別。首先 DoraHacks 支持 Multichain(多鏈)。(當然從今年开始 Gitcoin 也开始支持多鏈,我覺得這個是一件好事情)

我們從一开始就支持多鏈,包括以太坊、BNB chain、Polygon、Solana,還有更多的其他生態。所以從整個產品的架構上來說, DoraHacks 跟 Gitcoin 是完全不一樣的。任何的生態或者任何非生態的,比如說 DAO,它都可以非常快速地在 DoraHacks 上部署一個 Grant 或者組織Hackthon。所有的 Grant 都是模塊化的,都是獨立的;所有的投票都是鏈上的。從鏈的維度和從 Grant 的維度來看,所有的功能都是模塊化的。而 Gitcoin,它從最开始設計的時候,投票是鏈下完成的,整個系統更專注於幾個輪次,而非模塊化。這並不說明哪個更好,只是Gitcoin 和 DoraHacks 整個結構有非常大的區別。

另外由於我們對架構的設計,我們會更關注於去整合很多的新的機制。

DAOCtor:謝謝Eric從非常一线和本質的視角,就共謀和隱私問題進行了分享。其實在做這期播客之前,針對區塊鏈隱私的部分,我也查了一些資料,發現一個很有意思的現象。我看到行業內提到了一個叫隱私計算的概念,按照行業現在的討論,未來區塊鏈的發展必須要跟隱私計算技術結合才可以有質的變化。請問劍南您是怎么看待這一說法?

Eric:我覺得隱私計算是一個很大的範疇,必須得談論具體的東西,否則我們可能不知道這些結論是什么。因爲,從加密貨幣本身來說,我們其實在整個發展的過程中看到過很多有趣的東西。比如說 Tornado cash。2018、2019 年出現了一些很有意思的技術,雖然沒有特別發展起來,但是技術本身依然很有意思。比如說 Mimblewimble,它讓整個 Layer 1 所有的交易都能隱私。其實很多人在說隱私計算的時候,還可能特指 MPC,就是多方安全計算。MPC 裏應該有很多的方法,我並不是 MPC 的專家,所以我也不懂MPC。但是我們確實可以在一些地方用到 MPC。比如如果我們想設計一個匿名版的 MACI,其中有一些地方,我們是可以用 MPC 去增強整個協議的隱私性和抗共謀屬性的。

所以我覺得隱私是大家的根本需求,隱私是重要的,從隱私的角度可以做很多的事。但是我們可能也看具體使用場景要幹什么,以及從使用場景出發,可能才能知道具體要用什么樣的技術。

DAOCtor:十分感謝Eric!我們本期播客非常有幸邀請到了 DoraHacks 的發起人Eric Zhang,針對去中心化治理機制中的共謀跟隱私問題與大家做了深入的探討。其中很多內容是Eric首次對外交流,也很感謝劍南帶給大家的精彩分享!讓我們對去中心化治理中的共謀的概念, MACI 機制和零知識證明等都有了更加深層次的理解。

其實 V 神在很早之前的一系列文章中提出了加密貨幣整個生態有 16 個問題,比如說可擴展性、隱私問題、聲譽系統,女巫攻擊等等。

我們今天回看這 16 個問題,我們似乎解決了一些,又似乎增加了一些新的問題。但無論進度如何,我相信只要對行業,對解決問題有持續的熱情、有持之以恆的堅持與專注,整個行業都會有更明顯的發展跟進步。

標題:獨家對話Dora:如何解決去中心化治理中的隱私及共謀問題

地址:https://www.coinsdeep.com/article/3515.html

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

你可能還喜歡
熱門資訊