編者按:5月24日,中國人民大學重陽金融研究院高級研究員、北京航空航天大學教授,清華長江講座教授,北航數字社會與區塊鏈實驗室主任蔡維德,在人大重陽主辦的“新型貨幣戰爭的科技、市場、監管”系列直播活動第六講中,分享了他對“互鏈網改革”的最新思考。以下為直播視頻及實錄。
核心要點
智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。
無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。
傳統流程在過程中,人可以做一些靈活的改變,可是現在智能合約是自動執行,自動執行時出現的錯誤由誰負責就變成了一個很復雜的問題。ISDA表示數據來源需要是非常正確的,預言機+智能合約才是一個完整的應用。
傳統來講,計算機在法學上只是做分析,包括大數據、邏輯學、認知學。在哈佛大學、清華大學等高校中,有很多教授做的工作是邏輯學,他們都是用邏輯學來分析,還有IBMWatson律師,這些都是傳統上用在法律分析,但智能合約卻在法律執行,這是一個巨大的差別。
前言
之所以使用“智能合約改革”為題目,是因為智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。而這3個合作系統,本身都有很大的變化。
·區塊鏈控制數據,保證數據不能被篡改。
·智能合約控制流程,智能合約工作的發展非常重要,因為它帶領這個領域走向了產業化,智能合約不再是黑科技,而是一種產業化產品。
·預言機和外面接觸,控制外面的系統。
區塊鏈、智能合約和預言機組成一種復雜系統,而且組成機制也發生變化,以前是死綁定,現在可以動態改變。預言機是專門收集數據、驗證數據和傳送數據的,所以預言機可能是最復雜也是最多的。
智能合約
智能合約技術至少有30年到50年的歷史,雖然沒有用智能合約這名詞,但事實上已經存在。在我做學生時,就有類似的機制在數據庫、操作系統(operatingsystems)里,后來有服務計算(Service-OrientedComputing),也有類似的機制。
但這次智能合約和以前不一樣,這次是自動執行金融交易,這與傳統的自動執行代碼不同。以前代碼失敗了,系統就會產生錯誤信息,或是停機,雖然有損失,但損失還不是太大。
如果現在智能合約系統出錯,意味著金融交易出問題,如果常常出錯,就有系統性問題,在金融上就出現系統性風險,系統性風險產生的損失是非常大,會影響到國家經濟。例如RTGS系統,就是一個系統性重要系統,如果出錯,問題非常大,很大部分國家經濟就會停止,而英國央行早以提出使用區塊鏈和智能合約在RTGS系統上。因此智能合約變成一件非常重要的事情。
傳統可編程經濟
智能合約代表一種可編程經濟。傳統來講,這種可編程經濟解釋成可編程交易。可編程交易是指條件滿足了,我們就可以自動執行交易。
新型可編程經濟=可編程交易+可編程貨幣
可是現在智能合約或可編程經濟已經不再是這樣,而是一種可編程交易加上一種可編程貨幣,貨幣本身也是可以編程的,也就是使用貨幣與管理貨幣可以分開來,這是一個新的思想。所以,這種可編程的經濟已經變成了兩個,不再是被動的,連管理貨幣都是可編程的。
聲音 | 蔡維德:就算沒有入駐監管沙盒,業者也能夠在產業沙盒上做實驗:北京航空航天大學數字社會與區塊鏈實驗室教授蔡維德發布《監管沙盒2.0 偽創新的照妖鏡》文章,再論監管沙盒 2.0。蔡維德表示,監管沙盒的一個重要流程是要確定金融科技公司所提的技術有創新,大部分的區塊鏈技術都出自幾個主流區塊鏈的技術,所以區塊鏈的創新不是很容易。他還表示,“監管沙盒2.0”就是:就算沒有入駐監管沙盒,業者也能夠在產業沙盒上面做實驗,讓自己有把握能夠通過沙盒測試,申請進入監管沙盒。[2019/1/11]
可編程經濟重要:德國銀行協會關心的課題
可編程的經濟一直都在被討論,并被認為是非常重要的。2019年臉書Libra事件時,德國銀行業協會表示,臉書的Lirba固然可怕,更可怕的是在后要來的可編程經濟,德國人最害怕的不是區塊鏈,而是害怕預言機和智能合約系統。
英國人重視法律,積極推有法律效力的智能合約標準
英國人對智能合約非常積極,英國在2018年推出智能合約應該融入英國法律,就是以后在英國智能合約就是有法律效力的合同。而且認為英國這樣做,對英國有利,也是英國法律大改革。可以說英國認為智能合約是法律界的大改革。
德國人認為可編程經濟、可編程貨幣是世界金融戰爭的巨大工具,而英國則是快速把它合法化,這兩個國家處理的方式不同。英國重法,而德國重商。
無論是英國還是德國,他們都注重一件事情,如果交易變成可編程,交易速度會變得非常快,而且它是一種自金融組織,也就是說一個單位自己慢慢就會變成一家金融公司,比如賣大米就變成了大米金融公司,泛金融公司。高速交易和自金融組織就是可編程經濟的一個發展。
德國重視智能合約的商業應用
雖然可編程經濟只討論科技問題,但事實上它背后帶來的經濟、貨幣和金融意義是非常大的。特別是德國人看重這件事,他們認為可編程的經濟是以后金融競爭最大的竟技場。2019年德國銀行業協會和德國央行等各個組織都在傳遞這的觀點,2021年他們發表的一些演說和報告也專門討論了這件事情,可以說世界上可編程經濟最活躍的國家就是德國。
高速交易是數字貨幣的特色
無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。比特幣的流動性已經超過世界上大部分國家,只有少數幾個國家還沒有被超過,這是一件讓人驚訝的事情。
2020年11月美國一篇報道表示比特幣的流動性已經超過英國、俄羅斯流動性的總和,這樣比特幣已經實質上影響到世界合規金融市場,后來只剩2個法幣流動性沒有被超過。這帶來的信息太過驚訝,2021年2月美聯儲公開承認比特幣正在挑戰美元,因此必須將這事處理好。
2020年5月歐洲央行出臺的一份報告表示,臉書穩定幣如果出來會有3萬億資金,加上可編程經濟,這將會富可敵國,會是非常厲害的金融工具。這會成為歐洲最大的貨幣基金,影響太大。
MIT數字社會項目預測經濟大爆發
2012年麻省理工學院媒體實驗室推了“數字社會項目”,此后我在北航建立了數字社會與區塊鏈實驗室。這個項目中的一個重要概念是高流通性可以帶來重大的經濟發展,后來我再中國演講時也多次提到這個概念。
我們都估計過低了,美聯儲重視這數據
2016年1月我與一位英國資深銀行家朋友在國開行進行討論,并建議在各種金融活動上使用區塊鏈。該銀行家表示這樣做的話流通性預計會成長一倍,時間會減少一半,價值和經濟活動將會成長一倍。
由于當時沒有數據,我在中國演講時保守表示增長10%,對于至少10%的成長我是有把握的。
2020年9月國際貨幣基金組織發布文章《可編程的數字資產如何改變貨幣政策》比較了數字貨幣與傳統銀行存款賬戶的流通性,得出的結果是流通性可以增長20倍。這遠遠超過英國銀行家的預測,也遠遠超過我以前使用10%的預測。這文也表示這樣的數據一直是美聯儲關注的,因為這會影響到宏觀經濟以及國家貨幣政策。
現場 | 蔡維德:超過一塊1萬筆交易可能會是不好的設計:金色財經12月17日現場報道,今日,由數字資產研究院主辦,零壹財經和石榴財經承辦的2018國際區塊鏈數學科學會議在京舉行。北京航空航天大學博士生導師蔡維德分析了區塊鏈系統問題。他表示:除非一塊一筆交易,沒有一個區塊鏈沒有使用傳統拜占庭將軍協議,而是使用“并行拜占庭將軍協議”。雙花的問題在并行區塊鏈共識協議中無法解決,要以其他方法解決。這其中,塊大小是設計重點。他指出,超過一塊1萬筆交易可能會是不好的設計。[2018/12/17]
2016年1月我們在國開行會議時,我們預測數字貨幣的速度會是傳統貨幣的2倍,但因為沒有實際數據可以支持,在分析時保守的預估可以增加10%的速度,這也是我們過去多年一直使用的預測。可是國際貨幣基金組織得出的數據是最低20倍!這遠遠超過我們保守的估計,也遠遠超過我們原來評估的增加速度。
在一些公開演講,例如2016年8月工信部演講、2017年網信辦會議、2019年國家發改委演講,都是使用10%的增速來預測數字貨幣對經濟的影響,當時的評估出來的經濟效益已經非常大。而這次國際貨幣基金組織的數據將會給實體經濟帶來更加巨大的影響。
數字貨幣或以區塊鏈為主的數字社會很有可能將會帶來巨大的經濟紅利。雖然這相差20倍的流通性不太可能帶動20倍的經濟成長,但確實是能帶來經濟成長的。
智能合約改變金融市場
我在2020年11月提出數字經濟的成長路線,一是支付,二是投資,三是自金融,這是幣圈以及合規市場都做的一件事情。2021年5月中旬,我們發現幣圈已經正式走向了自金融,幣圈的自金融也開始合規化,也就是合規市場的支付和合規市場的銀行走向數字經濟,以及合規的百行百業也正在走進數字經濟,在這時候智能合約就是最后的武器。所以,智能合約的發展會決定每個國家后來的經濟發展。
今天的演講分為兩個部分:一是智能合約發展的歷史;二是新型智能合約與預言機。
智能合約的起源
智能合約這名詞是由扎博提出來的,扎博也是開發比特幣的人(前面第2講提到)。扎博在1994年提出了一個概念,代碼可以是合約。扎博通過販賣機舉例,當我們把錢放進去的時候,販賣機就給我們餅干或者糖果,雙方都沒有簽字,也沒有看到合同,但他認為這事實上是一個合同,后面的代碼就是智能合約,這是扎博當時提出的智能合約的起源。
圖1:販賣機案例啟發薩博“智能合約”概念,但后來英國不同意這觀點
合同可以看不懂,但是不能不給合同雙方看過
25年后,英國法律協會開會時考慮把智能合約變成英國有法律效力的合同,但交易雙方不需要看合同這一點沒有得到英國法律界的認可。沒有機會讓客戶看合同就算有合約在英國法中是不可能成立的。英國法律協會的觀點是合同可以看不懂,例如使用外國語言寫的,使人看不懂,但是看不懂的合同也可以有法律效力。但是不讓客戶看合同,是沒有法律效力的。因此代碼可以難以看懂,但一定要讓客戶有機會看才能有法律效力。由于一般上販賣機合同沒有給客戶看,這案例不是“智能合約”。
約滿天下
扎博提出了另外一個觀點:“約滿天下”,以后智能合約必定到處都是。我提過“鏈滿天下”,但是還有“約滿天下”。
原始智能合約定義,“智能”代表什么意義
扎博原始智能合約定義,智能代表:1)使用正確的代碼;2)使用正確的數據;3)在正確的時間;4)正確地執行合同條款。
這智能合約和區塊鏈沒有關系,而且和人工智能沒有關系。后來智能合約的后續發展,加進了人工智能。?
聲音 | 蔡維德:區塊鏈是五百年來最重要的金融科技創新:據中國電子銀行網報道,北航區塊鏈實驗室主任、國家“千人計劃”特聘教授蔡維德今日在區塊鏈相關會議上表示,區塊鏈是500年最大的金融突破,是1494年(復式記賬法出現)來最重要的金融科技,區塊鏈出來后才有3式記賬法(區塊鏈+復式),很多人認為區塊鏈可以有一兩百年的路可以走,是非常大的變革。[2018/10/27]
在原始智能合約的定義中,“智能”只是代表“使用正確的代碼和數據在正確的時間正確地執行”,和人工智能沒有關系,和區塊鏈系統也沒有關系。原始智能合約就是代碼,而這代碼自動執行合同上的條款。但是原來概念只是想法,薩博沒有提出如何是智能合約成為有法律效力的合同。
智能合約實際發展路線是根據李嘉圖合約
智能合約的名字是扎博提的,但概念是IanGrigg提的,1995年IanGrigg提出了李嘉圖合約。扎博和IanGrigg都有法律背景,IanGrigg看到美國大部分的法律合同是標準化的,他認為如果要做智能合約就要先有標準,下圖代表了一個標準化的模板,如果要開發智能合約就要先有模板。
直接翻譯合同到代碼是很困難的
2018年斯坦福等大學要開發智能合約,他們拿實際的英文合同直接翻譯成代碼。但這立刻就碰到了死胡同,因為合約變成代碼是非常難的。當時斯坦福大學還表示要自動化,這更加不可能。
圖2:李嘉圖合約模版
合同模版先翻譯到代碼模版
李嘉圖合約表示每個合同模板后面都有代碼模板,雖然沒有用智能合約的名字,但它用了可編程的合約,事實上李嘉圖合約是真正的智能合約。我認為IanGrigg事實上是智能合約真正的開發者,后來所有合規智能合約的工作都是走在李嘉圖合約的路線上。
有模版后還可以加機器學習
斯坦福大學后來做了一個法律合同工作CodeX,他們還做了一個可計算的合同(computablecontract),computablecontract里面還加了機器學習和一些合同模板,這些都是根據李嘉圖合約開發的。所以,現在如果要有法律效力的智能合約,都是走在李嘉圖合約路線上,沒有走在扎博的合約上。
七層模型是數字金融架構的前生
IanGrigg還寫了另外一篇文章,叫做七層模型。七層模型是加密、軟件、權利、會計、治理、價值、金融,用這種模型就可以做一個可計算的金融市場,這才是真正的金融系統。這個概念事實上就是可編程的經濟、可編程的交易、可編程的貨幣。
雅閣項目走在李嘉圖合約的基礎上
后來美國與英國合作了一個叫做雅閣項目,雅閣項目完全走在李嘉圖合約路線上面,此外雅閣項目還用到了區塊鏈,而李嘉圖合約當時還沒有區塊鏈。不過雅閣項目的原材料很難讀,學起來也很痛苦。
圖3:雅閣項目跟隨李嘉圖合約路線
不只是雅閣項目,幾乎其他想有法律效力的智能合約系統都走李嘉圖合約路線。由于直接從薩博路線開始實在太難了,斯坦福大學已經嘗到這苦頭。
以太坊智能合約只是拿“智能合約”這名詞
2015年一位名為小V的年輕人和我在北航圍繞智能合約談了很多,我指出他做的不是智能合約,第一不智能,第二不是有法律效力的合同。我把過去的“智能”合同的工作給他看后
他表示他做的確實不是“智能”合約,但他沒打算更改名字,因為如果叫做“鏈上代碼”,以太坊會賣不出去,如果還是叫做“智能合約”,大家會以為名詞吸引人,就能賣得出去。
聲音 | 蔡維德:\"沙盒精神\"是當前區塊鏈產業最需解決問題之一:據搜狐新聞消息,國內區塊鏈權威專家、中組部千人計劃學者、北航數字社會與區塊鏈實驗室主任蔡維德指出:“沙盒的精神是要協助小公司能進入大市場,這是當前區塊鏈產業最需要解決的問題之一,但是中國現在沒有這種機制,因此就由產業自發率先來做”,蔡維德說:“要想讓區塊鏈真正做到脫虛向實,前提是需要有產業秩序的建立。而由產、學界自主發起的產業沙盒,不失為產業秩序的建立過程中一個拋磚引玉的好方法。”[2018/10/6]
圖4:由于太多法律考量,小V在2018年后悔使用“智能合約”這名詞
因此他只是用智能合約這名詞!而薩博的智能合約和區塊鏈沒有關系。因為那時候區塊鏈的概念還沒有出來。
在智能合約的發展上,這是第二個錯誤;第一個錯誤是扎博提出販賣機就叫智能合約,第二個錯誤是小V使用了智能合約這個名詞。
一般合同是指一種承諾,在完成任務X后,可借到300美元。智能合約是指把這個邏輯和錢放在鏈上,如果完成任務X,將自動獲得300美元。這是很簡單的智能合約,是以太坊基本的邏輯,也可以說是一種鏈上代碼。
“智能合約“需要運行在區塊鏈系統上
不過小V當時講對了一個概念,他表示智能合約需要在區塊鏈系統上運行,因為區塊鏈上的數據靠譜,所以在這上面可以做。這是智能合約的一個突破。
圖5:傳統智能合約運行在區塊鏈系統上
后來智能合約的發展突破上面的限制。智能合約不再只是執行交易,還執行監管,另外智能合約和區塊鏈系統也不再死綁定,可以動態調整。
以太坊智能合約成為發幣的泉源
然而智能合約也成為一個巨大的禍害,一些學者認為所有數字代幣的真正禍害者不是比特幣,而是以太坊。以太坊上有一個ERC20就可以發幣。
有人認為鏈都可以不要了,只要能發幣,就完成了。這樣以太坊的智能合約變成了發幣的源泉,發幣后也成為洗錢和各種壞事的工具,所以以太坊智能合約確實有非常不好的影響。
2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能
2016年又發生了TheDAO事件,他們認為使用智能合約可以做一種自金融組織,這得到了很多人的信任,并融到了1億多美元。在發生意外后,大家知道智能合約這名詞是不對的,美國法律界批評的聲音最大。
但是世界法律界還是決定“擁抱”智能合約。事實上,世界在TheDao事件后才真正擁抱智能合約。但是后來發展的智能合約和當時小V提出的智能合約不一樣,例如雅閣項目。這意味著走向了一個正式的道路,這也算是智能合約的改革。
2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能
2018年美國大宗商品交易委員會CFTC出了一份《智能合約入門》,這份報告改寫了智能合約歷史。CFTC的報告表示智能合約有兩大功能,一是交易,二是監管;而這2大功能是同時間一起進行的。
這代表智能合約執行時,一些智能合約完成交易,一些智能合約監管這些正在進行的交易。這代表監管是“嵌入式”監管。這是一個全新的智能合約改革!
比特幣、以太坊、超級賬本的智能合約都沒有這些概念。可是美聯儲、英國央行等出的報告也表示要有交易完備性,要能夠監管,這和CFTC的報告一致。
聲音 | 蔡維德:細化規則形成區塊鏈產業監管體制 對區塊鏈應用的風險進行防范:據新華網消息,近日,國家“千人計劃”教授蔡維德提出實施區塊鏈“產業沙盒計劃”,即通過細化規則,形成切實可行的區塊鏈產業監管體制,對區塊鏈產業應用中存在的風險進行有效防范、識別、預警和處置應對。[2018/9/14]
圖6:美國CFTC智能合約入門
監管單位應該擁抱智能合約
CFTC表示監管單位應該擁抱智能合約。當時智能合約提出要逃避監管,但CFTC表示強盜、小偷、警察和都可以用智能合約,這是非常重要的180度大轉彎,而且是嵌入式、自動報告式的活動。
智能合約需要標準化、產業化
另外CFTC表示智能合約要服務化,智能合約是隨時隨地要執行,要服務化和標準化,不可以隨意開發交易代碼。
任何合規交易所例如上交所、深交所都有交易規則,這些交易規則都有標準化定義,而且監管也有標準所以智能合約要執行交易,必須有標準化的交易和標準化監管。如果我在不同交易所做區塊鏈交易,做同樣類型的金融交易,他們的交易流程和監管方法應該是一致的。這是CFTC的重要概念,要有標準化交易和標準化監管才能夠產業化。很多人集中做標準化的智能合約,這是智能合約產業化的一個重要路徑。
標準化的智能合約推進區塊鏈產業
智能合約可以有法律效力,也可以只是鏈上代碼。CFTC給智能合約提出非常重要的問題,CFTC認為標準化的行為助力市場效力、市場完整性、KYC、完成交易、記帳、自動監管報告。
另外一面,智能合約可以有作弊、不合法行為、操作風險、網絡風險、欺詐控制市場、預言機錯誤信息的風險。這些風險可能是開發時沒有注意到造成的錯誤,但是也有可能這有風險的智能合約是黑客提供的。所以,做智能合約時要全面標準化,盡量減少金融風險。
智能合約不能只是自動化現在流程
CFTC還講到,如果金融交易現在變成自動化執行,這會蘊含著非常大的風險。有可能在未知的情形下,智能合約突然就啟動執行了,也有法律效力,資產在合法的情況下轉移了,買到不想買的資產,或者賣了一些不想賣的資產,或者出現其他的狀況。現在的自動交易決策是人工處理,機器只是做執行工作,把這些東西變成智能合約來做時,風險自然就會變得很大。CFTC講到,如果這件事情要自動執行,那么現在的流程和基礎設施需要更改,這意味著智能合約的改革計劃。事實上CTFC在2018年就已經提出來了智能合約的改革計劃。
ISDA開啟金融智能合約標準化的工作
智能合約的改革影響到國際掉期與衍生品交易協會(InternationalSwapsandDerivativesAssociation,ISDA),這個協會專門制定標準包括智能合約標準。ISDA的標準化智能合約是“沒有代碼”的智能合約標準,這代表著,很多智能合約的工作與代碼沒有關系。智能合約首先要解決的是自動化法律流程問題,而自動化法律流程和傳統金融流程不一樣。傳統流程在過程中,人可以做一些靈活的改變,可是現在智能合約是自動執行,自動執行時出現的錯誤由誰負責就變成了一個很復雜的問題。ISDA表示數據來源需要是非常正確的,預言機+智能合約才是一個完整的應用。
智能合約需要事件處理模型
當有了預言機就出現事件模型。股票市場中,哪個公司發生重大事件,或者出錯,或者子公司上市,這就需要一種事件處理模型,而事件模型是傳統區塊鏈系統沒有考慮的。
事件模型是一個新型智能合約的里程碑,也就需要一種新型的基礎設施。
金融智能合約的制定需要考慮法律和金融交易流程
圖7:ISDA提出的主要金融市場事件
違約包括未能付款和交付,違反和拒絕協議,信用審核違約,虛假陳述,指定交易中違約事件,還有破產,每項分別有一些相關描述,根據這些描述來設立一些智能合約標準,它是一個純法律上的流程。
在上面這個描述中可以用各種語言,包括自然語言或形式化的語言。整個智能合約以這種方式在進行研究和分析,其中ISDA制定標準。
ISDA在智能合約上的工作是重大突破,代表很大部分智能合約的工作和代碼沒有關系,而和法律和金融流程有關,而因為智能合約出現,金融流程改變,不能使用傳統金融流程。
事件處理模型會是智能合約重大發展路徑
根據ISDA我們提出來了預言機事件處理模型,各式各樣的違約事件、終止事件等,這些都可以經過一個事物的調整,把它變成復雜的事件模型。
圖8:金融事件的標準次序
現在有各種各樣的預言機可以收集各種數據,預言機可以在金融公司、法院、股票市場、天氣預報、海關、物流等。這些地方收集出來的信息都會經過網絡到一個事件處理服務器,事件處理器把它分門別類,把這些信息送到需要關注的智能合約和區塊鏈上,這就變成一個復雜的網絡系統。這種網絡系統應該在互鏈網上做,這是一種網絡化的金融交易,這與傳統的比特幣、以太坊和超級賬本都非常不一樣。
圖9:事件模型
法學大改革
法律的自動執行將顛覆法學研究、法律制度和法律實踐,這可能需要超過二三十年的時間,這會帶來重大影響,可是動作會非常慢,因為法律上的事情非常復雜。
2018年英國法律協會提出智能合約與區塊鏈應該屬于英國法律。2019年英國法律協會出的一份報告表示,扎博的智能合約是符合英國法律的,但是扎博智能合約用的例子不符合英國法律。很明顯英國法律協會沒有讀李嘉圖合約,它里面根本沒有討論到李嘉圖合約的種種問題和解決方案。非常有趣,英國法律協會也都知道扎博當時并沒有區塊鏈,英國法律協會用了一個沒有區塊鏈的概念,一開始又把它和區塊鏈放到一起。英國法律協會認為這是以后的英國法律。
2019年之后,英國又花時間來研究簽名法,因為智能合約需要有簽名。
2020年英國又提出一個新概念,英國表示先要定出英國標準的智能合約,英國在這上面是最積極的。智能合約與法律的結合英國是世界第一,智能合約與金融的結合德國排在第一。
傳統來講,計算機在法學上只是做分析,包括大數據、邏輯學、認知學。在哈佛大學、清華大學等高校中,有很多教授做的工作是邏輯學,他們都是用邏輯學來分析,還有IBMWatson律師,這些都是傳統上用在法律分析,但智能合約卻在法律執行,這是一個巨大的差別。當我們考慮法律執行的時候,一個全新的局面就出現了。
圖10:2018年提出有法律效力的智能合約是法學大改革
比格犬沒有高科技,還能執法
下圖是比格犬智能合約模型,我常常進出美國飛機場時發現,比格犬沒有上過學,它不懂中文,也不懂英文,不認字,但它卻能夠執法。沒有上過幼兒園、小學、中學、大學的比格犬都可以執法,那么有人工智能、大數據和智能合約的系統一定也能夠執法,這是給智能合約的一個鼓勵。
圖11:合同執行有周期
斯坦福大學(StanfordUniversity)有可計算的合同,它可以有模型化。圖中右上方是一個合同的生命周期,當有合同周期,有法律模板,又在軟件工程領域里這是領域工程(DomainEngineering),當有這個領域工程時,智能合約的發展就會大大加速。
圖12:比格犬沒有使用高科技還可執法,有科技的智能合約必定可以執法
智能合約架構開始解耦
2020年又出現了一個新的現象。智能合約本來在以太坊,它的智能合約是在核心賬本里,是在一起的。可是英國央行表示智能合約可以在核心賬本的外面,這樣可以并行處理。如果并行處理,可以有更快的速度。這涉及到非常重要的一個概念,核心賬本可以做交易,智能合約可以做清結算,英國央行提出的概念就是預備把交易和清結算分開,這一點可能和傳統數字貨幣的想法已經不一樣了。我一直在講,區塊鏈、智能合約和預言機的做法、設計與傳統區塊鏈、傳統智能合約、傳統預言機的做法都不一樣。
英國央行也表示,智能合約應該放在與客戶交互的地方,和客戶交互的時候就能夠驗證客戶,先經過智能合約再到核心賬本。英國央行表示現在有三個智能合約模型,但不知道該選擇哪個做智能合約,我認為應該都放在一起,就變成智能合約又在核心賬本里,又和核心賬本并行,另外又在外面。這樣的話,就把智能合約系統和賬本系統拆分了,拆分時,智能合約系統又自己拆分,就變成了一種動態組成,這樣的一種系統就跟傳統的系統大不相同,我稱其為一種新型的標準化系統。
圖13:新型智能合約架構,3個不同智能合約系統并行處理交易
這樣的系統事實上對智能合約以及區塊鏈產業是大有助力的,因為假設證監會、銀監會等監管單位想要做監管,他們可以自己創立智能合約庫,然后把智能合約庫推出去,每個交易系統都要執行這個智能合約庫。這樣的話,無論是張三的區塊鏈系統,李四的交易所,王五的股票交易所,或者是趙七的金融衍生品交易,全部是規范性的監管和規范性的交易,他們的智能合約就是標準化開發,標準化提供,這就變成一個非常好的產業,大家的競爭是在別的地方競爭,不是在標準化的地方競爭。
這原來市英國央行所提出的思路,但后來我們發展成為LSO模型,完全可以先行、并行、后行、標準化嵌入式監管等。雅閣項目里有各樣的預言機、各樣的智能合約等,它有非常多的標準化的事情,這可以有各方人的參與。
到這階段,智能合約不論在架構,開發方法,以及基礎思想和傳統智能合約大不相同。
新型智能合約和預言機
預言機現在越來越復雜,這事實上是2021年4月國外才推出的新概念。預言機本身也可以有區塊鏈,本身也可以有智能合約,本身它有一些驗證的算法,有隱私計算,而且它可以有多方驗證。因為一旦上了智能合約和區塊鏈,本身就有法律效應,所以做起來要非常小心和注意。現在的預言機也可以有多樣的LSO架構,事實上預言機本身也可以多方合約交互,多個賬本交互,動態注冊完成,這等于是一種新型的互聯網形式。預言機、智能合約還有鏈都是在網絡上面的,而不是在云上面,所以一種新型的網絡軟件工程或者網絡系統出現了,一種新型的狀態正在出現中。
圖14:雅閣項目提出,區塊鏈+智能合約+預言機一起工作
新型的智能合約是鏈上鏈下,這是一種混合的智能合約,這種混合智能合約也需要有多方驗證,而且要有預言機多方驗證。核心是指這個合約能夠安全地結合鏈上和鏈下,它是由鏈上鏈下組成的一種事情,鏈上是智能合約,鏈下是一種代碼。這種新型的智能合約正在出現。
圖15:鏈上和鏈下一起合作完成
皋陶模型
我們將李嘉圖合約,CFTC,ISDA,斯坦福大學CodeX,比格犬模型的重要概念融合在皋陶模型中。皋陶是中國上古四圣之一,是家、思想家、教育家,但是最重要的是他是被后世尊為“中國司法始祖”。智能合約對世界法學的影響會越來越大,現在只是起步。由于合同可以自動執行,這對法學的改變會不斷的推出。
而智能合約也會出現兩條路線,一條繼續走“鏈上代碼”仍然不考慮法律效力,但是另外一條路線是走法律路線,而第二條路以后的會有深遠的影響。
前言 本文是“發現100個中國區塊鏈創新應用”系列文章之一。本系列依托中國工程院《中國區塊鏈發展戰略研究》項目,立足區塊鏈創新應用發展戰略,將為社會各界介紹當前中國最具代表性的一批區塊鏈應用,這.
1900/1/1 0:00:00NFT出圈爆火以后,從來不乏充滿財富效應的故事,從天價加密藝術品NFT到巨額數字球星卡牌NFT,再到各種層出不窮的各類元宇宙游戲角色NFT……那么NFT究竟是什么?每個人似乎都有自己的答案.
1900/1/1 0:00:00又一個夏天,又是Compound,歷史會重演嗎?北京時間7月5日,GoldBeechCapital創始人NoahGoldberg披露稱.
1900/1/1 0:00:00備兌是期權賣方最基本的策略,運用得當也會威力無窮、法力無邊。期權賣方最穩妥的做法是不要使用杠桿的備兌策略。即便是最基本的策略,運用得當也能產生很好的回報.
1900/1/1 0:00:007月14日,布局在BSC和Polygon鏈上的收益聚合器Aperocket在不到12小時的時間內先后遭到閃電貸攻擊.
1900/1/1 0:00:00穩定幣USDC發行商Circle將以45億美元估值透過ConcordAcquisitionCorp的SPAC上市了.
1900/1/1 0:00:00