TER:研究 | 關于改善配對協調補貼的一個方法探討

1.背景介紹

自2018年以來，Vitalik一直主張二次方融資作為一種在去中心化的、自組織的生態系統中生成最優公共產品供應的方法。QF面臨的最具挑戰性的問題之一是共謀。例如，一個參與者或一組協調的參與者可能控制多個地址或共謀“游戲系統”，并在QF中提取不合理的補貼。

自2019年以來，GitcoinGrants已經運行了多輪的QF。GitcoinGrants使用了一種創新的方法：雙界協調補貼。然而，Zoudavid認為Buterin中的不協調系數的說明不是很直觀，也不太令人信服。此外，Buterin中的可調整參數主要用于約束任何一對投資者的可提取價值，但在調整他們之間的共謀方面做得不夠。在《關于改善配對協調補貼的提議》一文中，Zoudavid提出了一種新的方法來改進具有豐富經濟意義的配對協調補貼。

2.不協調系數的一種新規范

采用Buterin(2019)的符號，Zoudavid提出了一種新的不協調系數的規范：

其中

是向量i和j的不協調系數，

以及

表示投資者i和j對項目p的投資，

Sui推出學術研究獎計劃，首輪將提供25萬美元支持:5月9日消息，Sui 正式推出學術研究獎計劃，Sui 基金會將為申請第一輪學術研究獎的個人 / 團隊提供 25 萬美元支持，并將在之后陸續推出更多輪次。提案方向包括分布式、去中心化和無需許可的計算機系統和機制；智能合約語言、工具和技術；協議和軟件的審計和驗證方面的技術等，申請按提交順序排序，每個季度公布一次。[2023/5/9 14:51:32]

是所有項目的總和。不協調系數衡量的是衡量的是一對投資者在作出投資決策時的獨立性。有兩種視角來理解等式的經濟含義。

一種視角是，考慮兩個向量

以及

，其中p表示項目的總數。

令

表示向量的模：

令

表示兩個向量的內積，

早期運行比特幣節點的安全研究員堅稱Craig Wright不是中本聰:金色財經報道，在最近的一系列推文中，聲稱自己可能是第二個運行比特幣節點的安全研究員Dustin Trammell提供了一些令人信服的證據，以證明澳大利亞計算機科學家Craig Wright（澳本聰）不是中本聰。Trammell于2009年1月13日開采了他的第一個區塊，也就是創世區塊推出僅10天后。他在一筆交易中從中本聰那里收到了25枚代幣，以換取修復幾個錯誤。這些代幣來自一個已挖掘的UTXO，并沒有包含在澳本聰的地址列表中。此外，Trammell使用他的私鑰簽署了一條消息，以證明他實際上在比特幣早期開采了一個區塊。他敦促澳本聰對創世區塊做同樣的事情，但他補充說這是不可能的，因為他認為澳本聰不是中本聰。[2021/10/12 20:23:53]

令

表示兩個向量之間的角度，則有，

在0和

使得對于每一個p，有

）。用Zoudavid的方法，他們將不會得到任何補貼。但用目前的方法，他們可以獲得大量的補貼，只是被可調整的參數所縮減。

用Buterin中描述的景象舉例。假設k個經過協調的代理人都向一個項目貢獻了一筆很大數額的資金w。由于他們是完美協調的，用Zoudavid的方法他們可以提取的資金是0。然而，用現存的方法他們可以提取的資金是

數據研究員以合同糾紛案起訴Twitter，稱已支付用戶數據:數據研究人員Geoff Golberg宣布對社交媒體Twitter提起訴訟，原因是自己的推特賬號被該平臺禁止。他指出，在與推特的機器人僵尸賬號對戰過程中，由于自己用了一些不太友好的詞語，導致自己的賬號于2019年7月22日被停用。Geoff Golberg將該起訴訟稱為是一起合同糾紛案，聲稱自己在簽署使用該網站時已支付了用戶數據，并通過支付贊助帖建立了業務關系。此外，他聲稱Twitter上的機器人聯合起來對自己進行了攻擊，并向Twitter舉報了他。Geoff Golberg是區塊鏈數據分析提供商Elementus的聯合創始人，該公司曾發布對加密貨幣交易所Cryptopia和CoinBene黑客攻擊的分析。目前Geoff Golberg已離開Elementus，成立了一家名為Social Forensics的項目，該項目專注于對社交媒體操縱提供分析。[2020/3/5]

，其中M是可調整的參數。

Vitalik建議了這樣一種情況：假設有兩個贈款者A和B和三個項目A，B和C，其中有相同字母的捐贈者和項目對是相互串通的。現在假設A捐贈了X?0X，以及B捐贈了0XX。

在這個例子中，

。如果使用過去幾輪二次方融資的數據，

可能會有不同的估計，而且可能會更準確。

動態 | 中青寶：子公司與南開大學深圳研究院成立區塊鏈研究中心:中青寶公告，公司控股子公司利得鏈科技，與南開大學深圳研究院簽署了《聯合成立區塊鏈研究中心合作協議書》，雙方協商一致同意共同建立“南開大學深圳研究院區塊鏈研究中心”，締結產學研合作關系。[2019/12/16]

不協調系數調整后的補貼是

，這正好是當前方法的一半水平。在把上界納入考慮之后，總的補貼是B*X/B+X用當前方法，總的補貼是

。從上面的例子中可以清楚地看到，在當前的方法中，沒有對不協調的調整，只有對邊界的調整。

6.針對該方法的多方觀點

優勢

Vbuterin認為該提議是非常有趣的洞見，其有趣之處在于用點積來直接估計多個協調者之間的不相關關系。

存在的不足

一方面，Vbuterin認為，本質上來說，任何一個代理人A總是可以通過簡單地創建一個項目并對他自己和代理人B進行一筆大金額的捐贈來提高他和B的不協調系數。如果每一個A都創建一個項目

，那么其點積就不會受到任何影響。因為不會有其他的人向

捐贈，但這會增加他們的

印度最大軟件行業組織NASSCOM與加拿大區塊鏈研究院合作 加速全球人口第二大國數字經濟發展:印度軟件和服務業企業行業協會宣布和加拿大政府旗下區塊鏈研究院（BRI）合作，幫助開發人員了解更多區塊鏈平臺的準備工作，并且為印度創建和發布區塊鏈工具做好準備。印度軟件和服務業企業行業協會（NASSCOM）是印度信息技術和軟件業最具有影響力的組織，擁有1100家會員單位，其中200家是全球性公司。[2018/2/22]

價值到無限大，使得分式為0并且對于所有的j

來說

Vbuterin提出了約束的相關系數，其屬性是，兩個參與者向同一個項目捐贈會增加他們的相關分數，但兩個參與者向不同的項目捐贈不會減少他們的相關分數。他認為如果Zoudavid想有一個系統，其中兩個參與者捐贈給不同的項目將減少他們的相關分數，那么需要以某種方式擊敗發送至自身的攻擊。

而Zoudavid有針對性地提出，發送至自身的攻擊并不會帶來很大的問題。并給出了三點理由。

首先，自發送攻擊代價高昂，因為攻擊者需要在他的“假”項目中鎖定大量資金。而與此同時，其回報將是有限的。假設攻擊者創建了一個只有他投資而沒有其他投資者投資的項目。的確，通過增加對這個項目的投資，他可以增加對他和其他投資者之間相關性的估計。然而，他可以從他的“假”項目中提取的補貼仍然是0。對于其他項目，由于攻擊而增加的補貼應該是非常有限的，而且這種增加不能被攻擊者獨享。

其次，在計算不協調系數時，可以簡單地排除任何只有一個投資者的項目。例如可以認為這些項目融資失敗，沒有資格獲得QF補貼。在法幣眾籌中，通常有一個門檻機制：任何一個項目在一定時間內無法獲得足夠的支持或資金承諾將被認為是失敗的，之后任何資金承諾將被返還。Zoudavid認為QF可以納入類似的機制。

最后，可以利用前幾輪QF的數據來估計不協調系數，使其估計受單個數據點的影響更小。

另一方面，PeterWatts察覺到協調懲罰似乎依賴于一個假設：誠實的用戶會將資金分散到多個項目中，完美地反映出他們的偏好。而實際上，他懷疑許多用戶會因為方便或強烈的偏好而只投資一小部分。因此，真正的公共產品將會有很多高度相關的資助者，而得不到足夠的補貼。

進一步探討

Vbuterin提出了一個方法，就是將重點再移開一步，不關注項目本身，而是關注向同一項目捐贈的一對捐贈者，并提出用3條規則來判斷：

1.如果代理人i和j都向項目p捐贈那么他們是更加相關的；

2.如果代理人i和j都向項目p和q捐贈，而存在某個代理人k也是都捐贈了p和q，那么i和j是更加相關的；

3.如果代理人i和j都向項目p和q捐贈，而存在某個代理人k只捐贈了p或者q中的一個，那么i和j的相關性變弱。

規則將在所有代理中進行匯總，因此，捐贈給你自己的項目比捐贈給其他100人也捐贈的項目所帶來的不相關要少得多。

Vbuterin提出用更復雜的矩陣乘法的使用來描述這個問題。如果M是一個矩陣，將個人貢獻的平方值映射到項目上，那么

會給出個人之間的原始相關性，然后可以做一些其他的事情來計算出高階測量，但是這個方法需要進一步考慮。

針對Vbuterin“高階相關測度”的建議，Zoudavid做了一些初步的研究。基本上，除了不同投資者之間的相關性，還應該考慮不同項目之間的相關性。就像協調的投資者傾向于做出相似的投資決策一樣，相關的項目也傾向于吸引相似的投資者群體。在利用投資數據估計投資者之間的相關性時，應該意識到項目之間的相互依賴性。對于此，Zoudavid提出奇異值分解是研究這一問題的合適工具。然而，該解決方案可能過于復雜，難以與投資者社區溝通。此外，解決方案可能容易過擬合。

PeterWatts認為當試圖減少欺詐時，最重要的是不要失去CLR的核心租戶。在完全基于協調懲罰的局部最大值確定之前，可能還有更多的機制可以探索，要么補充協調懲罰，要么取代它們。衡量成功的標準不應僅僅是減少欺詐的程度，還應是資金分配到真正的公共產品的程度。針對這個問題，他提出了幾個想法：

1.負的偏好

對于每個用戶來說，項目實際上可以分為三類：

A)我愿意資助的項目

B)我沒有資助的項目，但不介意他們是否得到補貼

C)我不想要補貼的項目

目前，還沒有辦法區分B和C。也許UI可以允許用戶對某些項目投反對票，這些信息會影響補貼。其反對票只會影響沒有資助的項目之間的補貼分配。因此，否決所有其他項目就相當于否決零。而這源于這樣一個現實，即用戶不會為每一個能讓他們受益的項目提供資金。公共產品的本質是，它們中的許多人都喜歡給予小的、間接的好處，因此更容易識別那些明顯是欺詐性的或不可能以任何方式使之受益的項目。

2.給一些獨特貢獻者更高的權重

大多數攻擊通過貢獻大量的資源來利用執行超額影響的能力。這是因為在一個抗女巫攻擊的系統中，它比捐助者更容易積累資金。因此，降低“假”項目有效性的一個簡單方法是，為有更多貢獻者的項目提供更高的補貼。這限制了強烈偏好的影響，但值得權衡。

一個極端是，有CLR，它允許強烈的偏好，但很容易被共謀。另一個極端是，可以根據一個項目收到的獨特貢獻者的數量來劃分補貼。PeterWatts的想法是用一個系數來選擇這個光譜上的最佳點。

7.結論

為解決在去中心化自治組織中最優公共產品供應的方法中存在的共謀問題，在Buterin提出了配對協調補貼的基礎上，Zoudavid提出了一種新的方法對這一具有豐富經濟意義的配對協調補貼進行了調整和改進，他提出了一種新的不協調系數的規范，并對配對邊界進行了調整，使得估計結果更加穩健。其與當前現有的方法相比，在對不協調進行調整之外，還對邊界進行了調整，使得補貼更為嚴格。該方法用點積來直接估計多個協調者之間的不相關關系，是一個突出亮點，但也同時存在潛在的應對發送至自身的供給的問題，以及真正的利益相關者得不到足夠補貼的問題。針對這一方法，還有很多值得探討和進一步深入挖掘的方向，包括“高階相關測度”和懲罰協調的機制等。

參考文獻

Buterin,Vitalik,Zo?Hitzig,andE.GlenWeyl,2018,“LiberalRadicalism:AFlexibleDesignforPhilanthropicMatchingFunds”.URL:https://papers.ssrn.com/sol3/papers.cfm?abstract_id=32436561

Buterin,Vitalik,2019b,“PairwiseCoordinationSubsidies:ANewQuadraticFundingDesign”.URL:Pairwisecoordinationsubsidies:anewquadraticfundingdesign

DAOrayakiDAO研究獎金池：

資助地址:0xCd7da526f5C943126fa9E6f63b7774fA89E88d71

投票進展：DAOCommittee3/7通過

賞金總量：150USDC

研究種類：DAO,?PairwiseCoordinationSubsidies

原文作者:?Zoudavid?

討論者：Vitalik、Vbuterin、PeterWatts

貢獻者：Demo,DAOctor@DAOrayaki

原文:AProposaltoImprovePairwiseCoordinationSubsidies

Tags：TERBUTRINDAVSuterusuethyleneglycoldibutyletherPrinter.Financedav幣價格

中幣交易所