比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

巴比特專欄 | 曹寅:DeFi將超越樂高時代,進入“涌現”時代_DEFI

Author:

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

編者注:原標題為《DeFiReview特別篇-DeFi,ANewKindofFinance》

前言:

2020年4月11日,著名的數學家John?Conway因病去世,John是一個在組合博弈論、幾何、數論、群論、算法甚至量子力學理論等多個方面都做出貢獻的天才數學家。但他最知名的莫過于生命游戲,相當于1970年代的“我的世界”。

霍金在他的《大設計》一書中評價:

“我們可以想象,像生命游戲這樣的東西,只有一些基本規律,可能會產生高度復雜的功能,甚至是智能。它可能需要包含數十億個正方形的網格,但這并不奇怪。我們的大腦中有數千億個細胞。”

差不多四年前,2016年4月,我受John?Conway的生命游戲啟發,從動力學角度闡釋了區塊鏈系統背后的網絡結構,并在當時的文章中預言了未來DeFi的出現,以及DeFi將以DAO的形式出現和競爭。

四年后的今天,John?Conway已經去世,而DeFi正以大爆炸的速度和規模發展,沒人知道DeFi的未來會走向何方,DeFi是否會成為現在中心化金融的一種補充?抑或是會進化成為我們從未見過的“新物種”?

為嘗試回答這個問題,我將繼續從Conway生命游戲背后的原理出發,以網絡動力學的研究角度,用復雜性理論的框架,對DeFi的未來進行展望。

正文:

一、A?NewKind?of?Science

2002年,Mathematica和Wolfram?Alpha的開發者,著名物理學家、數學家、軟件工程師,美國數學協會院士,20歲便拿到了加州理工學院理論物理博士的StephenWolfram教授,出版了其傾注15年心血,長達1200頁的奇書:《ANewKindofScience》。

Polygon社區提議將Polygon POS鏈與零知識(ZK)技術兼容:金色財經報道,以太坊擴展解決方案Polygon周二發布了一份提案前(Pre-PIP)討論帖,探討將其Polygon POS鏈與零知識(ZK)技術兼容。升級將使主鏈成為zkEVM validium ,這意味著該鏈仍將與以太坊虛擬機兼容。validium與ZK rollup略有不同,因為它們使用鏈下數據可用性模型,Polygon目前還提供ZK rollup,該rollup于3月上線。

據Polygon聯合創始人Mihailo Bjelic撰寫的博客文章,如果該提案得到Polygon社區的批準,重大升級將帶來更高的安全性,并使區塊鏈的框架更加面向未來。此外,Bjelic認為,這種升級將允許更快的交易確認,并擴展區塊鏈。[2023/6/21 21:50:35]

圖:A?New?Kind?of?Science的封面

書的基本主題是研究Conway的元胞自動機所產生的復雜性現象,重點是對復雜計算系統的實證研究和理論研究。Wolfram把Conway的元胞自動機系統稱為“簡單程序”,并認為所有的復雜計算系統都由“簡單程序”構成,一切規律都是元胞自動機產生的結果,宇宙,人的意識,自然進化以及任何其他復雜現象背后都是簡單的抽象規律,都是元胞自動機的“簡單程序”的涌現結果,他稱之為“計算等價性”。因此,研究“簡單程序”的科學哲學和方法適用于其他所有自然科學和社會科學領域,計算不僅僅是科學發明的過程,也是科學發現的目的。

PancakeSwap在其NFT市場上正式推出“Pancake Protectors”:6月2日消息,去中心化交易平臺PancakeSwap宣布在其NFT市場上推出官方NFT系列“Pancake Protectors”,用戶可買賣普通與獨家的Pancake Protectors”NFT。據悉,該NFT可增強游戲角色,并安全存儲于錢包中。

目前,PancakeSwap已向測試周的頂級玩家發放普通NFT,第一季結束后,將推出獨家NFT。此外,還將通過季節性抽獎系統不斷地發布額外的普通和獨家NFT。[2023/6/2 11:54:45]

Wolfram在書中提出復雜計算系統存在不可判定性和計算不可化約性,所謂不可判定性,指的是復雜計算系統的Output不可預測,所謂計算不可化約性,指的是雖然復雜系統由“簡單程序”構成,但是復雜系統的現象并不等于簡單程序的現象之和,換句話說,我們不可能超越簡單規律去預測結果,只能通過不可簡化的計算,跟蹤復雜計算系統每一個步驟,觀察并歸納,弄清楚系統要做什么。

圖:這是Wolfram在《ANewKindof?Science》中舉例的110號元胞自動機模型,他認為這個模型是圖靈完備的,換句話說,這就是宇宙.

Wolfram最終得出這樣一個結論,我們需要一個全新的方法看待和研究復雜計算系統。傳統數學的機械性描述和還原論方法,并沒有看到計算系統本身有意義的復雜性。Wolfram通過將實驗和理論相結合,在Conway的元胞自動機基礎上進一步提出了劃時代的“計算型宇宙”概念,并總結道,計算的性質必須通過實證性的和經驗性的實驗來探索,而且這些實驗對于理解自然世界也有重要的影響。

ETH 2.0總質押數已超1576.50萬:金色財經報道,數據顯示,ETH 2.0總質押數已超1576.50萬,為15764983個,按當前市場價格,價值約192.64億美元。此外,目前ETH 2.0質押總地址數已超50.34萬,為503383個。[2022/12/25 22:05:51]

Wolfram在書中所指的新“科學”所指代的既是一種新的科學方法論,又是一種建立在新的方法論上的新的系統性知識體系,我們需要像達爾文研究進化論,孟德爾研究遺傳學,居里夫人研究放射性物理一樣,通過大量實證性的實驗,來研究計算型宇宙中的現象。

Wolfram的“計算型宇宙”理論在2002年剛一問世就在科學界引起了軒然大波,有人直斥其是民科,也有人稱他是牛頓以來最偉大的科學家。在當時,人類還缺乏足夠的實驗工具和理論基礎對Wolfram的“新科學”證實或者證偽,所以不管是信他或者不信他的人,只能打打嘴仗。

但到了現在,人類在復雜系統領域的研究已經走了很遠,尤其是近年來,人工智能和機器學習技術的發展使我們發現了很多符合Wolfram理論的涌現現象,事實上,現在的人工智能和機器學習的應用本質就是在對“計算型宇宙”的實證式探索,Wolfram的“新科學”將成為人類探索世界的重要工具,尤其是數字化世界,其中就包括DeFi。

二、DeFi,一個典型的“計算型宇宙”

絕大部分人都沒有意識到,DeFi是一個正在成長中的“計算型宇宙”,具有非常典型的“計算型宇宙”的特征,DeFi系統的底層具有非結構化特征,并且是一系列DeFi原語的集合。它們完全有可能形成呈現復雜動力學特征的模型,DeFi系統在本質上可以被視作一種網絡,而我們已知的金融市場復雜性表征都可以從該網絡底層的簡單原語集合的實際行為中涌現出來。

安全團隊:Ankr項目攻擊者已將200個BNB存入tornado cash:12月2日消息,據Fairyproof安全監測系統顯示,12月2日,BNBchain上Ankr項目遭受黑客攻擊。攻擊者(0xf3a...5c777)疑似盜取了AnkrDeployer地址(0x2Ff....e33C0)的私鑰,通過然后通過給aBNBc升級一個惡意aBNBc的實現合約(0xd99....14Ce4)后,Ankr Deployer地址發起一個mint交易,哈希值為0xf3a4....5c777,該交易增發10,000,000,000,000aBNBc代幣。

隨后Ankr Deployer轉移了1.125個BNB到攻擊者地址,攻擊者地址隨后將獲得的aBNBc代幣兌換為其他資產,其中200個BNB,存入tornado cash,其余的大部分轉移到其他鏈上,其中大約428萬美元的資產轉移到eth,大約76萬美元資產轉移到Ploygon事發1個多小時后,Ankr Deployer將幾個Ankr項目合約的owner權限轉移到新的owner地址,攻擊者獲利超過500萬美元。[2022/12/2 21:17:51]

1、DeFi由一系列規則明確的原語協議驅動。

“原語”在計算機進程的控制中的定義是指由若干條指令組成的程序段,用來實現某個原子級特定功能,在執行過程中不可被中斷,比如“Read”,“Write”。在DeFi系統中,我們可以將“原語”引申為DeFi最基礎的功能性協議,比如Maker的穩定幣協議、Compound的借貸協議、Uniswap的交易協議等。當年AlanTuring在定義圖靈機六個基本操作的時候也用了Primitive這個詞,規則明確的DeFi原語就如圖靈機的基本操作,構成了DeFi計算型宇宙的底層“簡單程序”。

Do Kwon或正制定基于Terra 2的新Stablecoin計劃:5月31日消息,Terra研究論壇成員FatMan發推表示,據一位接近Terraform Labs(TFL)的內部人士確認,Do Kwon正在制定一個新的去中心化穩定幣的設計計劃,該穩定幣將建立在Terra 2網絡上。

據此前消息,5月28日,FatMan表示Terraform Labs旗下合成資產協議Mirror合約長期存在漏洞,7個月內損失或超3000萬美元。[2022/5/31 3:52:34]

2、DeFi具有元胞自動機的動力學特征:底層同質性,時空局部性,交易離散型

DeFi的底層同質性來源于以太坊,凡是在以太坊上開發的DeFi都要服從以太坊的交易規則和數據結構。可組合性又使DeFi協議之間的作用存在時空局部性,只有被組合的協議才會互相影響,信息只在被組合的協議之間傳遞,即使存在調用嵌套,仍有明確的協議間信息傳遞路徑。所謂交易的離散性是指DeFi之間的交易服從原子性,即交易要不成功,要不失敗,沒有中間狀態,并且鏈上交易存在區塊時間間隔,也使得DeFi交易的離散性更為顯著。這三種屬性使得DeFi協議和交易非常符合“計算型宇宙”中元胞自動機的動力學特征:元胞空間的連續性,以及元胞狀態演化的時空局部性和時間離散性。

3、DeFi已經出現了“計算型宇宙”的涌現特征:非結構化和網絡效應

所謂非結構化,是相對于傳統金融服務的結構化而言,傳統金融機構為用戶提供封閉并且預定義的金融服務,而DeFi提供的金融服務則非常開放地由底層原語協議組合構成。協議本身非結構化,但協議的組合可以基于不同的目的而重新定義,比如PoolTogether對Maker協議和Compound協議進行組合,并定義了彩票的功能。這種開放的非結構化組合帶來的多樣性是“計算型宇宙”的涌現效應的基礎,并且,DeFi已經在局部出現了網絡效應,這是DeFi“計算型宇宙”復雜性的早期表現。

三、“涌現”時代的DeFi新范式

雖然DeFi系統從各方面都符合Wolfram的“計算型宇宙”的動力學特征,但目前DeFi生態還非常簡單,只是在局部出現網絡效應,從系統宏觀上并沒有發生“計算型宇宙”特有的涌現現象。不過,“計算型宇宙”的特點之一就是難以預測,我們無從預測DeFi何時會越過“計算型宇宙”的涌現臨界點。但我們可以明確的是,在“計算型宇宙”中,DeFi的開發范式和治理范式將發生根本性的改變。

1、DeFi將超越樂高時代,進入“涌現”時代

在DeFi邏輯相對簡單的當下,DeFi組合的動力學特征表現為相對簡單的機械性,即輸出相對于輸入的確定性,在DeFi樂高時代,DeFi組合的整體相當于局部之和,協議局部規則的改變對于系統的影響仍然可以預測。

但隨著DeFi的復雜性越過臨界點,進入涌現時代,DeFi系統作為一個整體,將表現出其構成局部所不具備的屬性或者功能,簡單的規則可以產生驚人的復雜性,即使規則發生很小的改變,也可能產生巨大的復雜性變化。這意味著,就算DeFi開發者設計了一切規則,但是可能也無法提前預測這些規則在DeFi“計算型宇宙”中將會做什么,唯一的辦法是運行這些規則,并觀察它們到底會變成什么樣。

2、計算不可化約性和不可判定性會制約DeFi治理的有效發揮空間

目前的DeFi治理明顯采用的是機械決定論的治理哲學,治理者將DeFi協議當作是一件嚴絲合縫的精密機械,而治理政策就像是這部機械的操作界面,治理者根據協議的儀表盤而調整DeFi的治理政策,并且期望著DeFi的治理政策同治理結果之間呈現線性相關,比如Maker為了調整Dai的余額而調整穩定費率和DSR,希望擴張Dai的時候,就同步下降穩定費率和DSR,當希望收縮Dai的時候,就同步上調穩定費率和DSR。

但是,在復雜的DeFi“計算型宇宙”中,即使如Maker這樣的原語協議,其貨幣政策和貨幣政策結果之間的關系也不是簡單機械性的,DeFi系統的動力學特征將表現為更少的機械性,而更多的生命性。計算不可化約性使得DeFi的治理結果難于建模計算,而計算的不可判定性將使得DeFi的治理結果output和治理決策input之間的關系更多的表現為非線性和隨機性。

事實上,當我們參考典型的元胞自動機時會發現,在很多元胞自動機模型中,無論輸入值是什么,模型都會停止在周期性行為上。今天,我們仍然可以識別并糾正出DeFi程序中的漏洞,但在“計算型宇宙”中,計算不可化約性遍地都是,人們唯一能夠做的只是運行協議,看看會發生什么。

3,“發現”而不是“發明”DeFi

或許你會對“計算型宇宙”的計算不可化約性和不可判定性感到沮喪,如果系統的Output和Input之間無關或者弱相關,那DeFi的Programable是否還有意義?Wolfram的《ANewKindofScience》給我們提供了答案,"計算型宇宙"中有著令人難以置信的豐富性,這意味著,存在非常豐富的資源可供我們挖掘利用。

在DeFi的樂高時代,我們開發DeFi協議的重點是讓協議按照我們的目標開始工作,其過程是機械性的,我們先決定協議的功能,然后按部就班的設計協議架構,制定開發計劃,然后寫代碼開發,設計成為開發的核心。但在DeFi的“計算型宇宙”時代,系統難以置信的豐富性為我們提供了另一條開發之路,開發的范式將從發明轉移到發現,從設計轉移到觀察和歸納。我們要做的是觀察DeFi系統,發現其中的涌現現象,歸納其規律,并找到其使用目的,雖然有點難以置信,但這種開發范式其實已經在目前的人工智能前沿得到應用。

四、結論:

我們在理解DeFi“計算型宇宙”的運行和發展時,必須先改變我們的思維范式。經典科學的數學方法論尤其強調通過求解方程來預測系統行為。但是“計算型宇宙”的不可判定性和計算不可化約性表明,傳統方法并不適用于分析程序可實現的“計算型宇宙”,我們只能通過執行明確的計算來模擬并觀察系統行為。

DeFi作為一種正在成型的典型“計算型宇宙”,我們必須建立起適應“計算型宇宙”的思維,要擺脫詳細行為能被預測的確定性系統的束縛,OpenOurMind,以實驗的方式,激發并擁抱DeFi宇宙中的豐富性和隨機性,挖掘并捕獲其中有用的現象。

當我們從DeFi的“計算型宇宙”中挖掘出更多東西時,世界會變成什么樣?今天,我們還在構建像借貸和DEX這樣的簡單原語,但未來,隨著協議越來越多,我們越來越頻繁地利用DeFi網絡,DeFi將變得越來越陌生,甚至,DeFi網絡會看起來像“生命”,新物種,A?Kind?of?Finance將會涌現。

彩蛋:宇宙本身就是數字

?

Tags:DEFIDEFEFIRAMTRD-DeFiBlaze DeFiNINEFIAGORAM幣

pepe最新價格
觀點 | 摩根大通前高管:Libra新版白皮書不像2.0更像1.1_LIBRA

Facebook支持的加密項目Libra周四發布了白皮書2.0版本,摩根大通前高管JasonQiao認為,Libra的新白皮書不像2.0更像1.1版本.

1900/1/1 0:00:00
人民日報:運用區塊鏈等數字基礎設施,推動城市管理創新_人工智能

作者:劉松 來源:人民日報 編者注:原標題為《數字基礎設施——數字化生產生活新圖景》基礎設施,是指為社會生產和居民生活提供公共服務的物質工程設施,包括交通、郵政、供水供電等領域的公共設施.

1900/1/1 0:00:00
律師觀點 | Lendf.Me遭攻擊引發的反洗錢與刑事防御思考_END

作者:羅滔 繼北京時間4月18日上午8:58Uniswap平臺遭受重入攻擊后,Lendf.Me于北京時間4月19日上午8點45分再次遭受攻擊.

1900/1/1 0:00:00
深度|交易平臺永續合約產品設計報告_區塊鏈

前言 數字資產交易領域,經過了2017年ICO熱潮的褪去,以及多種金融創新,逐漸形成了合約交易為主,現貨交易為輔的新市場形態.

1900/1/1 0:00:00
V神:以太坊轉PoS后,礦機可以去這里_以太坊

4月26日消息,以太坊聯合創始人Vitalik在接受外媒cointelegraph采訪時,談到了即將到來的以太坊2.0,其表示將被淘汰的以太坊挖礦設備可能會轉向零知識證明.

1900/1/1 0:00:00
比特幣秘史:首個比特幣大使館是什么鬼?_UMB

來源:哈希派 作者:LucyCheng在加拿大蒙特利爾市的市中心有一座三層玻璃大樓;乍一看和大多數房地產公司的辦公大樓無異,但仔細一瞧會發現,招牌上寫著BitcoinEmbassy的字樣.

1900/1/1 0:00:00
ads