背景介紹
DAO作為一個新興的技術和組織形態,有潛力改變整個社會。截至2021年3月,DAO生態系統管理資產已經達到9.3億美元,并且其中還不包含使用DAO的組織形式或者使用獨立DAO框架的加密協議。現在,它已經成為加密領域不可或缺的治理結構。
但是,目前對于DAO的研究主要關注在治理框架的定義和治理現狀的研究上,主要以理論探討和案例分析為主,這些研究雖然有用,但是還不夠支撐DAO的快速發展。DAO作為一個復雜的社會實踐,需要背后的理論框架來支撐。以多智能體建模為代表的復雜系統研究,自提出以來,發展迅速,已經在經濟學、學、社會學和生態學領域應用廣泛。復雜系統科學的目的是對系統一般屬性的理解和探討,“復雜系統“也沒有精確的定義,一般認為是由多個相互作用的部分組成的整體,而整體的行為超過了個體行為的總和,達到了一加一大于二的效果。DAO是典型的具有社會復雜性和工程復雜特性的復雜系統,而基于多智能體系統的計算機輔助研究方法已經在復雜系統領域應用多年,因此本文嘗試探討如何利用多智能體模擬的方法來進行DAO治理機制的研究。
研究問題
早在20世紀90年代,西方學者就已經將多智能體應用于復雜系統的研究當中,并發展出多樣的多智能體平臺和設計語言。依據復雜系統的研究思路,可以借助計算機從以下三個方面對DAO進行研究:
法院裁決將bZx DAO歸類為普通合伙企業:金色財經報道,在最新的法院判決中,法院將bZx DAO歸類為普通合伙企業。它指出,原告提供了足夠的事實,使持有DAO治理代幣的被告有資格成為普通合伙企業的成員。因此,根據加州合伙法,他們有理由對企業的義務負責。
在周一的裁決中,法院同意原告的立場,即DAO代幣持有人對協議投資者負有“注意義務”。該裁決認為,DAO代幣持有人未能采取足夠措施確保足夠的安全性,從而預防黑客攻擊。
據了解,去年11月bZx遭遇黑客攻擊損失5500萬美元,部分受損用戶向法院提起集體訴訟,要求將bZx DAO代幣持有人作為被告。(The Block)[2023/3/28 13:31:12]
DAO中的涌現。DAO是由組織成員之間相互協作組成的新型組織,其個體之間的協作關系如何表現為DAO的整體組織形態,可以認為是DAO這個復雜系統的一個涌現現象。
DAO的臨界點和相變。DAO的硬分叉屬于DAO組織的一次系統狀態的巨大改變,可以看作是復雜系統的一種相變。相變之后會產生新的穩定狀態,也就是說,可以通過研究DAO系統的臨界狀態來觀察導致DAO分叉的因素。
DAO的多智能體建模。由于真實的DAO系統的復雜性,將其完全地還原和仿真是難以做到的。依據復雜系統的研究思路,可以通過將重要的特征抽象,以計算機模擬的形式來仿真DAO系統,以觀察和研究其中的涌現、相變和臨界狀態。
Uniswap DAO“在BNB Chain上部署Uniswap V3”提案投票獲得通過:金色財經報道,Uniswap DAO 已完成最終投票,該投票將用于在 BNB 鏈上執行 Uniswap v3 的擬議部署。根據Tally 投票頁面,投票于周五結束,66% 的 DAO 代表支持此舉。包括以太坊軟件公司 ConsenSys 和 Compound Finance 創始人 Robert Leshner 在內的擁有主要投票權的代表投票贊成該提案。與此同時,風險投資巨頭 Andreessen Horowitz 對該提案投了反對票,投了 1500 萬張選票。[2023/2/11 12:00:01]
另一方面,依據DAO治理研究的內容及其研究目的,計算機輔助系統又可以用于進行以下三個方面的研究:
治理機制的可行性驗證。
治理機制的設計是一個同時具有社會復雜性和工程復雜性的任務,設計過程中很難預估其在實際系統是否有效。
例如,GnosisDAO的futarchy機制,由于其提案成本問題,在第三輪投票以后被逐漸棄用。
借助于計算機輔助模擬,可以在機制投入實際環境前對其可行性進行驗證,并不斷迭代反饋改進機制的設計。
極端場景下的計算實驗。
數據:100,000,000枚USDT從BitDao轉移到未知錢包:金色財經報道,據Whale Alert監測數據顯示,100,000,000枚USDT(價值約100,110,000美元)從BitDao轉移到未知錢包。[2022/12/31 22:18:31]
由于DAO生態天然的復雜性,項目的可重復疊加、治理代幣之間的繁雜嵌套關系,使得DAO的復雜度遠超傳統組織。
而在極端場景下,DAO的治理機制能否按照預定的軌跡運行,則關系著DAO的穩定性及魯棒性。
使用多智能體系統,可以對治理機制在極端環境下的反應進行研究。
治理風險的檢測及其損失的預估。
DAO治理機制的設計過程中極易引入邏輯漏洞,例如2021年7月13日,以太坊和幣安智能鏈上的借貸協議DeFiPie由于邏輯漏洞而遭受黑客攻擊,造成了PIE代幣在24小時內跌幅約66%。
這種漏洞一般很難在設計早期發現,而一旦投入應用后被發現將會造成巨大損失。
研究方法
基于計算機輔助的方法進行DAO的研究,可以選擇傳統復雜系統的建模工具,例如Netlogo、AnyLogic和Jade等。這類建模工具在復雜系統的研究中已經被大量使用,但是這類建模工具用于DAO的研究中還存在以下問題:
TRON DAO Reserve再次購買2000萬美元USDD和TRX作為儲備:金色財經報道,TRON DAO Reserve周五在Twitter上發布了新的更新,稱它已經購買了價值1000萬美元的USDD,并在其儲備中增加了價值1000萬美元的TRX,以保護整個區塊鏈行業和加密市場。(cryptobriefing)[2022/7/9 2:01:18]
將實際系統作為唯一真實系統,人工構建的系統作為該系統的仿真。這種建模方式對于研究復雜系統的演化規律、發現系統的臨界狀態、研究復雜系統的相變誘因等是一個有效的方法,但是對于從零開始構建一個機制來講并不合適。對于設計一個治理機制來說,更重要的是從眾多可能的結果中選擇最優解,因此需要將不同的人工系統視為等價,并從中選擇演化路徑最優的系統進行研究。
仿真實驗的交互方式效率低下,無法快速迭代機制的更新。通常,利用仿真實驗進行機制更新要遵循從模型到實際系統再到運行數據再到改進后的模型的循環過程。其中,其過程需要耗費大量的精力,而且未經過充分驗證的機制在實際環境中使用也存在風險。
Aletheia是基于數字仿真構建的DAO治理工具,能有效解決去中心化治理系統中機制的建模、實驗與決策相關問題。其基本思想是通過形式化地描述去中心化治理系統的靜態特征與動態特征來構建人工治理系統,并與實際治理系統虛實交互與閉環反饋。Aletheia通過搭建聚集各類通用治理機制的治理規則庫,以及基于鏈上數據挖掘分析出的智能體行為規則庫,并配套進行計算實驗的實驗平臺,從而為實現治理系統與虛擬治理系統的雙向引導和協同演化提供一體化工具。
DAO ventures因ChainSwap合約漏洞被盜30萬枚DVG代幣:據官方消息,DeFi資產管理平臺DAO ventures因跨鏈資產橋ChainSwap合約漏洞,被盜取30萬枚DVG代幣。DAOventures稱已經對攻擊前的DVG持有者和LP進行快照,并表示對受影響的代幣持有者將會實施補償。DAOventures團隊表示,用戶在DAOventures的資產是安全的,在補償方案公布之前,DAOventures提醒用戶暫時不要購買交易的DVG并關注團隊的最新動態。[2021/7/11 0:43:12]
在Aletheia中,實際運行的系統機制及運行數據將被用來構建一個仿真治理系統,同時構建的還有與該仿真系統平行運行的多個人工系統。不同的人工系統將會代表著不同的參數配置、機制改進、計算實驗等,而仿真系統則可以代表真實系統的演化。
無論是采用哪種方式對DAO進行建模,通常都需要分為四個步驟:智能體建模、實際系統建模、計算實驗構建、人工數據分析。
3.1智能體建模
智能體(Agent)一般是指一個具有自主活動的物理或者抽象的實體,它能感知到自己所處的環境,并能夠通過自身所具備的能力,對環境作出相應的反應。智能體從簡單到復雜通常可以分為三個層次:
被動智能體或“無目標智能體”
具有簡單目標的智能體
認知智能體
在DAO的建模中使用的一般屬于第二類智能體,這類智能體擁有對環境的感知能力,并可以根據環境作出反應。例如,在Futarchy的模擬實驗中使用的零策略智能體,就是一個簡單的二類智能體,它可以依據市場中資產的價格以及隨機生成的期望價格來決定是否購買某一資產。而依據其構建方式不同,智能體又可以分為:
基于反射的智能體:忽略歷史,相應基于事件-條件-行為的規則;
基于模型的智能體:依然是基于事件-條件-行為的規則,但是對環境應有更深刻的理解。一般都會將環境以面向對象的方式編程到模型的規則中。
基于目標的智能體:這類模型擴展了基于模型的智能體,將目標信息及理想情況也編寫到規則邏輯中。
基于效應函數的智能體:這類智能體擁有一個效應函數,并基于最大化效應函數的方式采取行動。
學習智能體:這類智能體具備學習能力,并可以隨著事件不斷學習與周圍環境的交互規則。
但是,無論采用哪種構建方式,一個智能體至少應該包含以下2個組成部分:
感知器。
智能體通過感知器來獲得環境信息。
決策模塊。
決策模塊用來決定智能體如何根據當前的環境信息作出行為。
3.2?實際系統建模
對實際系統的建模根據研究的治理機制及建模方法,可能會多種多樣。通常,系統可以看作是一個離散動態系統,系統中的所有狀態都可以由一組狀態變量表示,如DAO中的提案數量、智能體投票狀態等。而對于DAO來說,一個治理系統一般會包含提案、審核、投票、執行、爭議、仲裁幾個過程的一個或多個。每個模塊,每個過程都可以看作是輸入和輸出都是提案,并且持有一組狀態變量的模塊。
通常,對于實際系統的建模部分會采用UML統一建模語言進行構建,并在代碼中編寫每個模塊的運行邏輯。而Aletheia則采用數據和邏輯分開管理的方法,所有系統數據以及智能體數據都以知識圖譜的方式統一存儲在圖數據庫中,而代碼只負責業務邏輯,這樣的好處有三個:
數據和邏輯分開,數據統一存在在同一個圖譜中,易于管理和遷移。
采用圖譜的方式描述虛擬系統,更加直觀和易于理解。
可以隨時捕捉的整個虛擬系統的狀態,易于分析和擴展。
3.3計算實驗構建
在實際系統仿真的基礎上構建的一個或多個人工系統,每個人工系統都是對原機制的一次探索與嘗試。這種設計的核心優勢在于可以借助數字孿生和計算實驗,快速對治理機制進行迭代更新、實驗與評估等。人工系統的構建方式多種多樣,大體上可以分為兩大類:
通過算法自主演化的方式構建人工系統。
基于遺傳算法,網格搜索等算法等,自主地構建人工系統,依據損失函數對人工系統進行篩選,并與原仿真系統協同演化,最終獲得治理機制的改進的靈感以及治理機制的優缺點的洞察。
通過設置參數、修改機制等方式手工構建人工系統。
這種方式用于對治理機制的驗證、壓力測試以及風險監測。
3.4人工數據分析
人工系統運行過程中會產生大量的人工數據,這些數據雖然并不是真實世界產生的數據,卻是對數據進行全方位測試,可以更好地設計和研究治理機制。
結論
我們腦海中都有一個對現實世界的建模,我們的日常行為其實都是該模型在現實世界中的應用。因此,本文從復雜系統的角度出發,探索如何使用計算機模擬的方式來進行DAO的治理研究。
引領大家走進Web3世界,應該是元宇宙的歷史使命Web3的概念從去年就很火熱了,PANews為此做了不少的報道,相信大家對這個概念也不再陌生.
1900/1/1 0:00:003月3日消息,Etherscan數據顯示,烏克蘭官方加密貨幣捐贈錢包正持有近70億枚PeacefulWorld代幣,似乎是將用于該國首次加密貨幣空投的代幣.
1900/1/1 0:00:00Kuna是一家長期運營的本地加密貨幣交易所,在貨幣管制和格里夫尼亞處于歷史低位的情況下,客戶活動發生了迅速變化。數據顯示,在俄羅斯入侵后,烏克蘭一家主要加密貨幣交易所的比特幣和山寨幣交易量激增.
1900/1/1 0:00:002月28日,呼和浩特市賽罕區人民法院在線開庭審理了一起金融借款合同糾紛案件并當庭宣判。這是全區法院首例運用“區塊鏈證據核驗”審理的案件.
1900/1/1 0:00:00世界疫情持續多時,國外許多博物館因訪客人數下降,門票收入大跌,導致資金緊張,甚或面臨倒閉危機。近日,包括烏菲茲美術館在內的四所意大利重要博物館攜手合作,推出限量的名畫藏品NFT,希望借此籌謀生路.
1900/1/1 0:00:00DeFi數據 1.DeFi代幣總市值:950.54億美元 DeFi總市值數據來源:coingecko2.過去24小時去中心化交易所的交易量:73.
1900/1/1 0:00:00