編者按:5月24日,中國人民大學重陽金融研究院高級研究員、北京航空航天大學教授,清華長江講座教授,北航數字社會與區塊鏈實驗室主任蔡維德,在人大重陽主辦的“新型貨幣戰爭的科技、市場、監管”系列直播活動第六講中,分享了他對“互鏈網改革”的最新思考。以下為直播視頻及實錄。
核心要點
智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。
無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。
傳統流程在過程中,人可以做一些靈活的改變,可是現在智能合約是自動執行,自動執行時出現的錯誤由誰負責就變成了一個很復雜的問題。ISDA表示數據來源需要是非常正確的,預言機+智能合約才是一個完整的應用。
傳統來講,計算機在法學上只是做分析,包括大數據、邏輯學、認知學。在哈佛大學、清華大學等高校中,有很多教授做的工作是邏輯學,他們都是用邏輯學來分析,還有IBMWatson律師,這些都是傳統上用在法律分析,但智能合約卻在法律執行,這是一個巨大的差別。
前言
之所以使用“智能合約改革”為題目,是因為智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。而這3個合作系統,本身都有很大的變化。
·區塊鏈控制數據,保證數據不能被篡改。
·智能合約控制流程,智能合約工作的發展非常重要,因為它帶領這個領域走向了產業化,智能合約不再是黑科技,而是一種產業化產品。
·預言機和外面接觸,控制外面的系統。
區塊鏈、智能合約和預言機組成一種復雜系統,而且組成機制也發生變化,以前是死綁定,現在可以動態改變。預言機是專門收集數據、驗證數據和傳送數據的,所以預言機可能是最復雜也是最多的。
智能合約
智能合約技術至少有30年到50年的歷史,雖然沒有用智能合約這名詞,但事實上已經存在。在我做學生時,就有類似的機制在數據庫、操作系統(operatingsystems)里,后來有服務計算(Service-OrientedComputing),也有類似的機制。
但這次智能合約和以前不一樣,這次是自動執行金融交易,這與傳統的自動執行代碼不同。以前代碼失敗了,系統就會產生錯誤信息,或是停機,雖然有損失,但損失還不是太大。
如果現在智能合約系統出錯,意味著金融交易出問題,如果常常出錯,就有系統性問題,在金融上就出現系統性風險,系統性風險產生的損失是非常大,會影響到國家經濟。例如RTGS系統,就是一個系統性重要系統,如果出錯,問題非常大,很大部分國家經濟就會停止,而英國央行早以提出使用區塊鏈和智能合約在RTGS系統上。因此智能合約變成一件非常重要的事情。
傳統可編程經濟
智能合約代表一種可編程經濟。傳統來講,這種可編程經濟解釋成可編程交易。可編程交易是指條件滿足了,我們就可以自動執行交易。
新型可編程經濟=可編程交易+可編程貨幣
可是現在智能合約或可編程經濟已經不再是這樣,而是一種可編程交易加上一種可編程貨幣,貨幣本身也是可以編程的,也就是使用貨幣與管理貨幣可以分開來,這是一個新的思想。所以,這種可編程的經濟已經變成了兩個,不再是被動的,連管理貨幣都是可編程的。
蔡維德:中國將打造自己的元宇宙:12月26日消息,近日,“元宇宙融媒”一行走進位于北京金融安全產業園內的北京天德科技有限公司。區塊鏈專家、北京航空航天大學博士生導師、天德科技首席科學家蔡維德教授接受“元宇宙融媒”訪談,并就元宇宙、區塊鏈等近期熱門話題發聲。蔡維德表示,由于國內和國外的科技水平、制度規則和歷史文化等都不一樣,因此,在元宇宙的發展中,蔡維德認為中國應該打造屬于自己的元宇宙即“華夏元宇宙”。在蔡維德看來,中國元宇宙的發展相比國外需要更多的時間和精力,而如何發展好華夏元宇宙也是我們需要認真思考的問題。[2021/12/26 8:04:32]
可編程經濟重要:德國銀行協會關心的課題
可編程的經濟一直都在被討論,并被認為是非常重要的。2019年臉書Libra事件時,德國銀行業協會表示,臉書的Lirba固然可怕,更可怕的是在后要來的可編程經濟,德國人最害怕的不是區塊鏈,而是害怕預言機和智能合約系統。
英國人重視法律,積極推有法律效力的智能合約標準
英國人對智能合約非常積極,英國在2018年推出智能合約應該融入英國法律,就是以后在英國智能合約就是有法律效力的合同。而且認為英國這樣做,對英國有利,也是英國法律大改革。可以說英國認為智能合約是法律界的大改革。
德國人認為可編程經濟、可編程貨幣是世界金融戰爭的巨大工具,而英國則是快速把它合法化,這兩個國家處理的方式不同。英國重法,而德國重商。
無論是英國還是德國,他們都注重一件事情,如果交易變成可編程,交易速度會變得非常快,而且它是一種自金融組織,也就是說一個單位自己慢慢就會變成一家金融公司,比如賣大米就變成了大米金融公司,泛金融公司。高速交易和自金融組織就是可編程經濟的一個發展。
德國重視智能合約的商業應用
雖然可編程經濟只討論科技問題,但事實上它背后帶來的經濟、貨幣和金融意義是非常大的。特別是德國人看重這件事,他們認為可編程的經濟是以后金融競爭最大的竟技場。2019年德國銀行業協會和德國央行等各個組織都在傳遞這的觀點,2021年他們發表的一些演說和報告也專門討論了這件事情,可以說世界上可編程經濟最活躍的國家就是德國。
高速交易是數字貨幣的特色
無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。比特幣的流動性已經超過世界上大部分國家,只有少數幾個國家還沒有被超過,這是一件讓人驚訝的事情。
2020年11月美國一篇報道表示比特幣的流動性已經超過英國、俄羅斯流動性的總和,這樣比特幣已經實質上影響到世界合規金融市場,后來只剩2個法幣流動性沒有被超過。這帶來的信息太過驚訝,2021年2月美聯儲公開承認比特幣正在挑戰美元,因此必須將這事處理好。
2020年5月歐洲央行出臺的一份報告表示,臉書穩定幣如果出來會有3萬億資金,加上可編程經濟,這將會富可敵國,會是非常厲害的金融工具。這會成為歐洲最大的貨幣基金,影響太大。
MIT數字社會項目預測經濟大爆發
2012年麻省理工學院媒體實驗室推了“數字社會項目”,此后我在北航建立了數字社會與區塊鏈實驗室。這個項目中的一個重要概念是高流通性可以帶來重大的經濟發展,后來我再中國演講時也多次提到這個概念。
我們都估計過低了,美聯儲重視這數據
2016年1月我與一位英國資深銀行家朋友在國開行進行討論,并建議在各種金融活動上使用區塊鏈。該銀行家表示這樣做的話流通性預計會成長一倍,時間會減少一半,價值和經濟活動將會成長一倍。
由于當時沒有數據,我在中國演講時保守表示增長10%,對于至少10%的成長我是有把握的。
金色相對論 | 蔡維德:數字法幣的提出就是要減少洗錢的可能性:在今日舉行的金色相對論中,關于“英國央行行長提出的“新經濟需要有不同的央行”該如何理解的問題,國家特聘教授,北航博導,英國倫敦大學學院區塊鏈研究中心科學顧問蔡維德表示:大家在談數字法幣時候,或談穩定幣的時候,都會說:哎呀,糟糕,這個有金融風險怎么辦?會不會增加金融風險,會不會增加洗錢等非法活動。事實上,數字法幣的提出就是要消滅這些違法的行為,減少洗錢的可能性。因為剛用數字法幣的時候,所有交易都記錄在區塊鏈上面,所以真的要作弊,真的非常痛苦。所以我一直在講,如果有人在數字法幣上要洗錢,那就是自殺。以前想要偷雞摸狗想要洗錢的人,碰到數字法幣就說放棄了,不干了。這跟這個比特幣是正好是相反的,有時候在討論數字法幣的時候,大家再討論增加金融的風險、洗錢的活動會增加,其實是不了解數字法幣的作用。數字法幣不是比特幣,所有交易都是實名制。所有事情都看得非常清楚,是洗錢的克星,而且是非常強的監管。這也是為什么英國央行在2015年、2016年就提出數字法幣。[2019/8/15]
2020年9月國際貨幣基金組織發布文章《可編程的數字資產如何改變貨幣政策》比較了數字貨幣與傳統銀行存款賬戶的流通性,得出的結果是流通性可以增長20倍。這遠遠超過英國銀行家的預測,也遠遠超過我以前使用10%的預測。這文也表示這樣的數據一直是美聯儲關注的,因為這會影響到宏觀經濟以及國家貨幣政策。
2016年1月我們在國開行會議時,我們預測數字貨幣的速度會是傳統貨幣的2倍,但因為沒有實際數據可以支持,在分析時保守的預估可以增加10%的速度,這也是我們過去多年一直使用的預測。可是國際貨幣基金組織得出的數據是最低20倍!這遠遠超過我們保守的估計,也遠遠超過我們原來評估的增加速度。
在一些公開演講,例如2016年8月工信部演講、2017年網信辦會議、2019年國家發改委演講,都是使用10%的增速來預測數字貨幣對經濟的影響,當時的評估出來的經濟效益已經非常大。而這次國際貨幣基金組織的數據將會給實體經濟帶來更加巨大的影響。
數字貨幣或以區塊鏈為主的數字社會很有可能將會帶來巨大的經濟紅利。雖然這相差20倍的流通性不太可能帶動20倍的經濟成長,但確實是能帶來經濟成長的。
智能合約改變金融市場
我在2020年11月提出數字經濟的成長路線,一是支付,二是投資,三是自金融,這是幣圈以及合規市場都做的一件事情。2021年5月中旬,我們發現幣圈已經正式走向了自金融,幣圈的自金融也開始合規化,也就是合規市場的支付和合規市場的銀行走向數字經濟,以及合規的百行百業也正在走進數字經濟,在這時候智能合約就是最后的武器。所以,智能合約的發展會決定每個國家后來的經濟發展。
今天的演講分為兩個部分:一是智能合約發展的歷史;二是新型智能合約與預言機。
智能合約的起源
智能合約這名詞是由扎博提出來的,扎博也是開發比特幣的人(前面第2講提到)。扎博在1994年提出了一個概念,代碼可以是合約。扎博通過販賣機舉例,當我們把錢放進去的時候,販賣機就給我們餅干或者糖果,雙方都沒有簽字,也沒有看到合同,但他認為這事實上是一個合同,后面的代碼就是智能合約,這是扎博當時提出的智能合約的起源。
圖1:販賣機案例啟發薩博“智能合約”概念,但后來英國不同意這觀點
合同可以看不懂,但是不能不給合同雙方看過
25年后,英國法律協會開會時考慮把智能合約變成英國有法律效力的合同,但交易雙方不需要看合同這一點沒有得到英國法律界的認可。沒有機會讓客戶看合同就算有合約在英國法中是不可能成立的。英國法律協會的觀點是合同可以看不懂,例如使用外國語言寫的,使人看不懂,但是看不懂的合同也可以有法律效力。但是不讓客戶看合同,是沒有法律效力的。因此代碼可以難以看懂,但一定要讓客戶有機會看才能有法律效力。由于一般上販賣機合同沒有給客戶看,這案例不是“智能合約”。
現場|蔡維德:區塊鏈的基礎設施將是未來最大的市場:金色財經現場報道,2018年12月20日,2018世界電子商務大會上,國家特聘教授、北京天德科技首席科學家蔡維德演講中表示,區塊鏈的基礎設施會影響到未來市場的結構、流程以及貨幣,區塊鏈的基礎設施將是未來最大的市場。[2018/12/20]
約滿天下
扎博提出了另外一個觀點:“約滿天下”,以后智能合約必定到處都是。我提過“鏈滿天下”,但是還有“約滿天下”。
原始智能合約定義,“智能”代表什么意義
扎博原始智能合約定義,智能代表:1)使用正確的代碼;2)使用正確的數據;3)在正確的時間;4)正確地執行合同條款。
這智能合約和區塊鏈沒有關系,而且和人工智能沒有關系。后來智能合約的后續發展,加進了人工智能。?
在原始智能合約的定義中,“智能”只是代表“使用正確的代碼和數據在正確的時間正確地執行”,和人工智能沒有關系,和區塊鏈系統也沒有關系。原始智能合約就是代碼,而這代碼自動執行合同上的條款。但是原來概念只是想法,薩博沒有提出如何是智能合約成為有法律效力的合同。
智能合約實際發展路線是根據李嘉圖合約
智能合約的名字是扎博提的,但概念是IanGrigg提的,1995年IanGrigg提出了李嘉圖合約。扎博和IanGrigg都有法律背景,IanGrigg看到美國大部分的法律合同是標準化的,他認為如果要做智能合約就要先有標準,下圖代表了一個標準化的模板,如果要開發智能合約就要先有模板。
直接翻譯合同到代碼是很困難的
2018年斯坦福等大學要開發智能合約,他們拿實際的英文合同直接翻譯成代碼。但這立刻就碰到了死胡同,因為合約變成代碼是非常難的。當時斯坦福大學還表示要自動化,這更加不可能。
圖2:李嘉圖合約模版
合同模版先翻譯到代碼模版
李嘉圖合約表示每個合同模板后面都有代碼模板,雖然沒有用智能合約的名字,但它用了可編程的合約,事實上李嘉圖合約是真正的智能合約。我認為IanGrigg事實上是智能合約真正的開發者,后來所有合規智能合約的工作都是走在李嘉圖合約的路線上。
有模版后還可以加機器學習
斯坦福大學后來做了一個法律合同工作CodeX,他們還做了一個可計算的合同(computablecontract),computablecontract里面還加了機器學習和一些合同模板,這些都是根據李嘉圖合約開發的。所以,現在如果要有法律效力的智能合約,都是走在李嘉圖合約路線上,沒有走在扎博的合約上。
七層模型是數字金融架構的前生
IanGrigg還寫了另外一篇文章,叫做七層模型。七層模型是加密、軟件、權利、會計、治理、價值、金融,用這種模型就可以做一個可計算的金融市場,這才是真正的金融系統。這個概念事實上就是可編程的經濟、可編程的交易、可編程的貨幣。
雅閣項目走在李嘉圖合約的基礎上
后來美國與英國合作了一個叫做雅閣項目,雅閣項目完全走在李嘉圖合約路線上面,此外雅閣項目還用到了區塊鏈,而李嘉圖合約當時還沒有區塊鏈。不過雅閣項目的原材料很難讀,學起來也很痛苦。
圖3:雅閣項目跟隨李嘉圖合約路線
不只是雅閣項目,幾乎其他想有法律效力的智能合約系統都走李嘉圖合約路線。由于直接從薩博路線開始實在太難了,斯坦福大學已經嘗到這苦頭。
現場 | 蔡維德:只考慮數字通證的技術很難被采納:金色財經現場報道,在中國區塊鏈行業發展論壇現場,中組部“千人計劃”專家、賽迪(青島)區塊鏈研究院名譽院長蔡維德表示,公私鏈現在不分,幾個著名的公鏈(高幣價值)就是私鏈或者是由中心控制,著名的公鏈用的擴展技術也是私鏈技術。未來新技術會越來越多,但大部分技術沒有參考PFMI,只考慮數字通證,將來很難會被監管單位和金融公司采納。[2018/7/11]
以太坊智能合約只是拿“智能合約”這名詞
2015年一位名為小V的年輕人和我在北航圍繞智能合約談了很多,我指出他做的不是智能合約,第一不智能,第二不是有法律效力的合同。我把過去的“智能”合同的工作給他看后
他表示他做的確實不是“智能”合約,但他沒打算更改名字,因為如果叫做“鏈上代碼”,以太坊會賣不出去,如果還是叫做“智能合約”,大家會以為名詞吸引人,就能賣得出去。
圖4:由于太多法律考量,小V在2018年后悔使用“智能合約”這名詞
因此他只是用智能合約這名詞!而薩博的智能合約和區塊鏈沒有關系。因為那時候區塊鏈的概念還沒有出來。
在智能合約的發展上,這是第二個錯誤;第一個錯誤是扎博提出販賣機就叫智能合約,第二個錯誤是小V使用了智能合約這個名詞。
一般合同是指一種承諾,在完成任務X后,可借到300美元。智能合約是指把這個邏輯和錢放在鏈上,如果完成任務X,將自動獲得300美元。這是很簡單的智能合約,是以太坊基本的邏輯,也可以說是一種鏈上代碼。
“智能合約“需要運行在區塊鏈系統上
不過小V當時講對了一個概念,他表示智能合約需要在區塊鏈系統上運行,因為區塊鏈上的數據靠譜,所以在這上面可以做。這是智能合約的一個突破。
圖5:傳統智能合約運行在區塊鏈系統上
后來智能合約的發展突破上面的限制。智能合約不再只是執行交易,還執行監管,另外智能合約和區塊鏈系統也不再死綁定,可以動態調整。
以太坊智能合約成為發幣的泉源
然而智能合約也成為一個巨大的禍害,一些學者認為所有數字代幣的真正禍害者不是比特幣,而是以太坊。以太坊上有一個ERC20就可以發幣。
有人認為鏈都可以不要了,只要能發幣,就完成了。這樣以太坊的智能合約變成了發幣的源泉,發幣后也成為洗錢和各種壞事的工具,所以以太坊智能合約確實有非常不好的影響。
2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能
2016年又發生了TheDAO事件,他們認為使用智能合約可以做一種自金融組織,這得到了很多人的信任,并融到了1億多美元。在發生意外后,大家知道智能合約這名詞是不對的,美國法律界批評的聲音最大。
但是世界法律界還是決定“擁抱”智能合約。事實上,世界在TheDao事件后才真正擁抱智能合約。但是后來發展的智能合約和當時小V提出的智能合約不一樣,例如雅閣項目。這意味著走向了一個正式的道路,這也算是智能合約的改革。
2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能
2018年美國大宗商品交易委員會CFTC出了一份《智能合約入門》,這份報告改寫了智能合約歷史。CFTC的報告表示智能合約有兩大功能,一是交易,二是監管;而這2大功能是同時間一起進行的。
蔡維德:區塊鏈是數字社會的一個技術,真正目標是“數字社會”不是“區塊鏈”:“千人計劃”教授、國家大數據綜合實驗區塊鏈互聯網實驗室主任蔡維德近日在演講中稱,麻省理工學院的媒體實驗室以前提出來“第四次工業革命”這個概念,定位這是一種“數字社會”。而數字社會的前提是每一個人都具有區塊鏈的共識機制,可以自由可以加入有信任的社會活動。區塊鏈是實現數字社會的一個技術,真正目標是“數字社會”不是“區塊鏈”。 區塊鏈革命正在到來,包括會促成金融業的重塑,一個全新的金融市場會出現,成為全新數字社會的一部分。[2018/2/22]
這代表智能合約執行時,一些智能合約完成交易,一些智能合約監管這些正在進行的交易。這代表監管是“嵌入式”監管。這是一個全新的智能合約改革!
比特幣、以太坊、超級賬本的智能合約都沒有這些概念。可是美聯儲、英國央行等出的報告也表示要有交易完備性,要能夠監管,這和CFTC的報告一致。
圖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,比格犬模型的重要概念融合在皋陶模型中。皋陶是中國上古四圣之一,是家、思想家、教育家,但是最重要的是他是被后世尊為“中國司法始祖”。智能合約對世界法學的影響會越來越大,現在只是起步。由于合同可以自動執行,這對法學的改變會不斷的推出。
而智能合約也會出現兩條路線,一條繼續走“鏈上代碼”仍然不考慮法律效力,但是另外一條路線是走法律路線,而第二條路以后的會有深遠的影響。
Layer2.financev1.0版本測試網今天正式上線!這也是我們layer2.finance從v0.1升級到v1.0的最后一步.
1900/1/1 0:00:00文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00過去的一周中,礦機大遷徙正在進行,因為估計有50%的比特幣礦工在離線和遷移中。我們根據觀測到的鏈上數據對此次大遷移事件的程度進行了評估:盡管交易量仍在5約中旬以來建立的交易范圍內,本周比特幣交易.
1900/1/1 0:00:00前言 近期,以太坊基金會研究員DannyRyan將他的Eth2系列文章從「eth2quickupdate」更名為「Finalized」,移除了Eth2這個詞.
1900/1/1 0:00:00將?50?萬?UNI?通過場外銷售獲得?1020?萬?USDC?后,DeFiEducationFund走入了人們的視野.
1900/1/1 0:00:00Paradigm成立于2018年,是一家專注于加密貨幣領域的投資機構。Paradigm的資方包括耶魯大學、哈佛大學以及斯坦福大學的捐贈基金.
1900/1/1 0:00:00