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

蔡維德:“智能合約”已有新定義,如何解讀讀?_區塊鏈

Author:

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

編者按:5月24日,中國人民大學重陽金融研究院高級研究員、北京航空航天大學教授,清華長江講座教授,北航數字社會與區塊鏈實驗室主任蔡維德,在人大重陽主辦的“新型貨幣戰爭的科技、市場、監管”系列直播活動第六講中,分享了他對“互鏈網改革”的最新思考。以下為直播及實錄:

01.前言

之所以使用“智能合約改革”為題目,是因為智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。而這3個合作系統,本身都有很大的變化。

區塊鏈控制數據,保證數據不能被篡改。智能合約控制流程,智能合約工作的發展非常重要,因為它帶領這個領域走向了產業化,智能合約不再是黑科技,而是一種產業化產品。預言機和外面接觸,控制外面的系統。區塊鏈、智能合約和預言機組成一種復雜系統,而且組成機制也發生變化,以前是死綁定,現在可以動態改變。預言機是專門收集數據、驗證數據和傳送數據的,所以預言機可能是最復雜也是最多的。

1.智能合約

智能合約技術至少有30年到50年的歷史,雖然沒有用智能合約這名詞,但事實上已經存在。在我做學生時,就有類似的機制在數據庫、操作系統(operatingsystems)里,后來有服務計算(Service-OrientedComputing),也有類似的機制。

但這次智能合約和以前不一樣,這次是自動執行金融交易,這與傳統的自動執行代碼不同。以前代碼失敗了,系統就會產生錯誤信息,或是停機,雖然有損失,但損失還不是太大。

如果現在智能合約系統出錯,意味著金融交易出問題,如果常常出錯,就有系統性問題,在金融上就出現系統性風險,系統性風險產生的損失是非常大,會影響到國家經濟。例如RTGS系統,就是一個系統性重要系統,如果出錯,問題非常大,很大部分國家經濟就會停止,而英國央行早已提出使用區塊鏈和智能合約在RTGS系統上。因此智能合約變成一件非常重要的事情。

2.傳統可編程經濟

智能合約代表一種可編程經濟。傳統來講,這種可編程經濟解釋成可編程交易。可編程交易是指條件滿足了,我們就可以自動執行交易。

3.新型可編程經濟=可編程交易+可編程貨幣

可是現在智能合約或可編程經濟已經不再是這樣,而是一種可編程交易加上一種可編程貨幣,貨幣本身也是可以編程的,也就是使用貨幣與管理貨幣可以分開來,這是一個新的思想。所以,這種可編程的經濟已經變成了兩個,不再是被動的,連管理貨幣都是可編程的。

4.可編程經濟重要:德國銀行協會關心的課題

可編程的經濟一直都在被討論,并被認為是非常重要的。2019年臉書Libra事件時,德國銀行業協會表示,臉書的Lirba固然可怕,更可怕的是在后要來的可編程經濟,德國人最害怕的不是區塊鏈,而是害怕預言機和智能合約系統。

5.英國人重視法律,積極推有法律效力的智能合約標準

英國人對智能合約非常積極,英國在2018年推出智能合約應該融入英國法律,就是以后在英國智能合約就是有法律效力的合同。而且認為英國這樣做,對英國有利,也是英國法律大改革。可以說英國認為智能合約是法律界的大改革。

德國人認為可編程經濟、可編程貨幣是世界金融戰爭的巨大工具,而英國則是快速把它合法化,這兩個國家處理的方式不同。英國重法,而德國重商。

無論是英國還是德國,他們都注重一件事情,如果交易變成可編程,交易速度會變得非常快,而且它是一種自金融組織,也就是說一個單位自己慢慢就會變成一家金融公司,比如賣大米就變成了大米金融公司,泛金融公司。高速交易和自金融組織就是可編程經濟的一個發展。

聲音 | 蔡維德:央行數字法幣將是未來國家經濟的基礎:12月1日,在海南國際離岸創新創業示范區建設高端論壇上,國家千人計劃特聘專家、北航特聘教授蔡維德表示,央行數字法幣將成為未來國家經濟的基礎。他同時指出,區塊鏈對金融系統的“革命”體現在:一是金融流程的改變,特別是清結算系統;二是金融基礎設施的改變,特別是RTGS(全額支付系統)、CSD(中央證券托管中心);三是監管流程也會改變。(財聯社)[2019/12/1]

6.德國重視智能合約的商業應用

雖然可編程經濟只討論科技問題,但事實上它背后帶來的經濟、貨幣和金融意義是非常大的。特別是德國人看重這件事,他們認為可編程的經濟是以后金融競爭最大的競技場。2019年德國銀行業協會和德國央行等各個組織都在傳遞這的觀點,2021年他們發表的一些演說和報告也專門討論了這件事情,可以說世界上可編程經濟最活躍的國家就是德國。

02.高速交易是數字貨幣的特色

無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。比特幣的流動性已經超過世界上大部分國家,只有少數幾個國家還沒有被超過,這是一件讓人驚訝的事情。

2020年11月美國一篇報道表示比特幣的流動性已經超過英國、俄羅斯流動性的總和,這樣比特幣已經實質上影響到世界合規金融市場,后來只剩2個法幣流動性沒有被超過。這帶來的信息太過驚訝,2021年2月美聯儲公開承認比特幣正在挑戰美元,因此必須將這事處理好。

2020年5月歐洲央行出臺的一份報告表示,臉書穩定幣如果出來會有3萬億資金,加上可編程經濟,這將會富可敵國,會是非常厲害的金融工具。這會成為歐洲最大的貨幣基金,影響太大。

1.MIT數字社會項目預測經濟大爆發

2012年麻省理工學院媒體實驗室推了“數字社會項目”,此后我在北航建立了數字社會與區塊鏈實驗室。這個項目中的一個重要概念是高流通性可以帶來重大的經濟發展,后來我在中國演講時也多次提到這個概念。

2.我們都估計過低了,美聯儲重視這數據

2016年1月我與一位英國資深銀行家朋友在國開行進行討論,并建議在各種金融活動上使用區塊鏈。該銀行家表示這樣做的話流通性預計會成長一倍,時間會減少一半,價值和經濟活動將會成長一倍。

由于當時沒有數據,我在中國演講時保守表示增長10%,對于至少10%的成長我是有把握的。

2020年9月國際貨幣基金組織發布文章《可編程的數字資產如何改變貨幣政策》比較了數字貨幣與傳統銀行存款賬戶的流通性,得出的結果是流通性可以增長20倍。這遠遠超過英國銀行家的預測,也遠遠超過我以前使用10%的預測。這文也表示這樣的數據一直是美聯儲關注的,因為這會影響到宏觀經濟以及國家貨幣政策。

2016年1月我們在國開行會議時,我們預測數字貨幣的速度會是傳統貨幣的2倍,但因為沒有實際數據可以支持,在分析時保守的預估可以增加10%的速度,這也是我們過去多年一直使用的預測。可是國際貨幣基金組織得出的數據是最低20倍!這遠遠超過我們保守的估計,也遠遠超過我們原來評估的增加速度。

在一些公開演講,例如2016年8月工信部演講、2017年網信辦會議、2019年國家發改委演講,都是使用10%的增速來預測數字貨幣對經濟的影響,當時的評估出來的經濟效益已經非常大。而這次國際貨幣基金組織的數據將會給實體經濟帶來更加巨大的影響。

數字貨幣或以區塊鏈為主的數字社會很有可能將會帶來巨大的經濟紅利。雖然這相差20倍的流通性不太可能帶動20倍的經濟成長,但確實是能帶來經濟成長的。

金色相對論 | 蔡維德:英國稱數字法幣是320多年來世界貨幣的第一次的重大改革:在今日舉行的金色相對論中,關于“英國央行行長提出的新經濟需要有不同的央行”該如何理解的問題,國家特聘教授,北航博導,英國倫敦大學學院區塊鏈研究中心科學顧問蔡維德表示:世界第一個提出數字法幣的國家是英國,在2015年底到2016年的時候,他們提出這個概念。問題出概念的時候,他們說到這個是世界的創舉,而且他們說是320多年來,是世界貨幣的第一次的重大改革,英國銀行說,320多年來,自從1694英國央行成立以來,他們發現英鎊沒有改變過。就說這是320年來的一次重大改革,當時講的時候,當時有許多的央行的學者在里面開會,他們都興奮的不得了,因為這是一次非常大的改革。那么這次的改革主要是因為整個銀行的基礎受到科技的變革。所以說以前是強盜打劫,所以銀行破產或者怎么樣,但這一次是因為是科技的關系。[2019/8/15]

3.智能合約改變金融市場

我在2020年11月提出數字經濟的成長路線,一是支付,二是投資,三是自金融,這是幣圈以及合規市場都做的一件事情。2021年5月中旬,我們發現幣圈已經正式走向了自金融,幣圈的自金融也開始合規化,也就是合規市場的支付和合規市場的銀行走向數字經濟,以及合規的百行百業也正在走進數字經濟,在這時候智能合約就是最后的武器。所以,智能合約的發展會決定每個國家后來的經濟發展。

今天的演講分為兩個部分:一是智能合約發展的歷史;二是新型智能合約與預言機。

03.智能合約的起源

智能合約這名詞是由扎博提出來的,扎博也是開發比特幣的人(前面第2講提到)。扎博在1994年提出了一個概念,代碼可以是合約。扎博通過販賣機舉例,當我們把錢放進去的時候,販賣機就給我們餅干或者糖果,雙方都沒有簽字,也沒有看到合同,但他認為這事實上是一個合同,后面的代碼就是智能合約,這是扎博當時提出的智能合約的起源。

圖1:販賣機案例啟發薩博“智能合約”概念,但后來英國不同意這觀點1.合同可以看不懂,但是不能不給合同雙方看過

25年后,英國法律協會開會時考慮把智能合約變成英國有法律效力的合同,但交易雙方不需要看合同這一點沒有得到英國法律界的認可。沒有機會讓客戶看合同就算有合約在英國法中是不可能成立的。英國法律協會的觀點是合同可以看不懂,例如使用外國語言寫的,使人看不懂,但是看不懂的合同也可以有法律效力。但是不讓客戶看合同,是沒有法律效力的。因此代碼可以難以看懂,但一定要讓客戶有機會看才能有法律效力。由于一般上販賣機合同沒有給客戶看,這案例不是“智能合約”。

2.約滿天下

扎博提出了另外一個觀點:“約滿天下”,以后智能合約必定到處都是。我提過“鏈滿天下”,但是還有“約滿天下”。

3.原始智能合約定義,“智能”代表什么意義

扎博原始智能合約定義,智能代表:1)使用正確的代碼;2)使用正確的數據;3)在正確的時間;4)正確地執行合同條款。

這智能合約和區塊鏈沒有關系,而且和人工智能沒有關系。后來智能合約的后續發展,加進了人工智能。

在原始智能合約的定義中,“智能”只是代表“使用正確的代碼和數據在正確的時間正確地執行”,和人工智能沒有關系,和區塊鏈系統也沒有關系。原始智能合約就是代碼,而這代碼自動執行合同上的條款。但是原來概念只是想法,薩博沒有提出如何是智能合約成為有法律效力的合同。

聲音 | 北航教授蔡維德:沃爾瑪發行穩定幣破壞力恐超Libra,將讓美元無孔不入:據巴比特消息,美國專利商標局(USPTO)專利文件顯示,零售巨頭沃爾瑪正在探索推出一個與常規貨幣(regular currency)聯系起來的數字貨幣,類似于Facebook的數字貨幣Libra,這意味著他們可能將發行一種與法定貨幣掛鉤的穩定幣。對此,北航教授蔡維德表示,沃爾瑪規避了Libra被美國國會質疑的幾個問題:比如一籃子貨幣、注冊在瑞士等。沃爾瑪聰明地選擇數字貨幣與美元掛鉤,并且應該不會在其他地方注冊,其通過的成功率會比較大。如果沃爾瑪的穩定幣上線,那么幾乎會使美元無孔不入。[2019/8/4]

04.智能合約實際發展路線是根據李嘉圖合約

智能合約的名字是扎博提的,但概念是IanGrigg提的,1995年IanGrigg提出了李嘉圖合約。扎博和IanGrigg都有法律背景,IanGrigg看到美國大部分的法律合同是標準化的,他認為如果要做智能合約就要先有標準,下圖代表了一個標準化的模板,如果要開發智能合約就要先有模板。

1.直接翻譯合同到代碼是很困難的

2018年斯坦福等大學要開發智能合約,他們拿實際的英文合同直接翻譯成代碼。但這立刻就碰到了死胡同,因為合約變成代碼是非常難的。當時斯坦福大學還表示要自動化,這更加不可能。

圖2:李嘉圖合約模版2.合同模版先翻譯到代碼模版

李嘉圖合約表示每個合同模板后面都有代碼模板,雖然沒有用智能合約的名字,但它用了可編程的合約,事實上李嘉圖合約是真正的智能合約。我認為IanGrigg事實上是智能合約真正的開發者,后來所有合規智能合約的工作都是走在李嘉圖合約的路線上。

3.有模版后還可以加機器學習

斯坦福大學后來做了一個法律合同工作CodeX,他們還做了一個可計算的合同(computablecontract),computablecontract里面還加了機器學習和一些合同模板,這些都是根據李嘉圖合約開發的。所以,現在如果要有法律效力的智能合約,都是走在李嘉圖合約路線上,沒有走在扎博的合約上。

4.七層模型是數字金融架構的前生

IanGrigg還寫了另外一篇文章,叫做七層模型。七層模型是加密、軟件、權利、會計、治理、價值、金融,用這種模型就可以做一個可計算的金融市場,這才是真正的金融系統。這個概念事實上就是可編程的經濟、可編程的交易、可編程的貨幣。

5.雅閣項目走在李嘉圖合約的基礎上

后來美國與英國合作了一個叫做雅閣項目,雅閣項目完全走在李嘉圖合約路線上面,此外雅閣項目還用到了區塊鏈,而李嘉圖合約當時還沒有區塊鏈。不過雅閣項目的原材料很難讀,學起來也很痛苦。

圖3:雅閣項目跟隨李嘉圖合約路線不只是雅閣項目,幾乎其他想有法律效力的智能合約系統都走李嘉圖合約路線。由于直接從薩博路線開始實在太難了,斯坦福大學已經嘗到這苦頭。

05.以太坊智能合約只是拿“智能合約”這名詞

2015年一位名為小V的年輕人和我在北航圍繞智能合約談了很多,我指出他做的不是智能合約,第一不智能,第二不是有法律效力的合同。我把過去的“智能”合同的工作給他看后

聲音 | 北航教授蔡維德:Libra可以完全取代SWIFT,改變國際金融流程和秩序:據巴比特消息,針對“Facebook發布Libra白皮書”一事,北航教授、國家“千人計劃”特聘教授蔡維德表示:“臉書的這件事比摩根大通發幣的影響力還要大。因為臉書影響到一百多個國家或地區,覆蓋了至少20億用戶,它的客戶量是世界上最大的。臉書的用戶量超過了很多銀行的用戶量總和,因此,它的影響力是巨大無比的。Libra可以完全取代SWIFT,改變國際金融流程和秩序。”他還指出,美國國會在2018年2月的時候開了一場會議,在這個會議上,美國決定擁抱合規的區塊鏈企業,但準備取締不合法的代幣市場。美國在這個數字貨幣發展上采取了兵分三路,首先是創造數字貨幣的流通貨幣,就是穩定幣,例如數字美元等;創造一個正確的市場,例如Bakkt;第三是打通法規法則。這三條路并進才使得美國能在該領域發展。[2019/6/19]

他表示他做的確實不是“智能”合約,但他沒打算更改名字,因為如果叫做“鏈上代碼”,以太坊會賣不出去,如果還是叫做“智能合約”,大家會以為名詞吸引人,就能賣得出去。

圖4:由于太多法律考量,小V在2018年后悔使用“智能合約”這名詞因此他只是用智能合約這名詞!而薩博的智能合約和區塊鏈沒有關系。因為那時候區塊鏈的概念還沒有出來。

在智能合約的發展上,這是第二個錯誤;第一個錯誤是扎博提出販賣機就叫智能合約,第二個錯誤是小V使用了智能合約這個名詞。

一般合同是指一種承諾,在完成任務X后,可借到300美元。智能合約是指把這個邏輯和錢放在鏈上,如果完成任務X,將自動獲得300美元。這是很簡單的智能合約,是以太坊基本的邏輯,也可以說是一種鏈上代碼。

1.“智能合約“需要運行在區塊鏈系統上

不過小V當時講對了一個概念,他表示智能合約需要在區塊鏈系統上運行,因為區塊鏈上的數據靠譜,所以在這上面可以做。這是智能合約的一個突破。

圖5:傳統智能合約運行在區塊鏈系統上

后來智能合約的發展突破上面的限制。智能合約不再只是執行交易,還執行監管,另外智能合約和區塊鏈系統也不再死綁定,可以動態調整。

2.以太坊智能合約成為發幣的泉源

然而智能合約也成為一個巨大的禍害,一些學者認為所有數字代幣的真正禍害者不是比特幣,而是以太坊。以太坊上有一個ERC20就可以發幣。

有人認為鏈都可以不要了,只要能發幣,就完成了。這樣以太坊的智能合約變成了發幣的源泉,發幣后也成為洗錢和各種壞事的工具,所以以太坊智能合約確實有非常不好的影響。

3.2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能

2016年又發生了TheDAO事件,他們認為使用智能合約可以做一種自金融組織,這得到了很多人的信任,并融到了1億多美元。在發生意外后,大家知道智能合約這名詞是不對的,美國法律界批評的聲音最大。

但是世界法律界還是決定“擁抱”智能合約。事實上,世界在TheDao事件后才真正擁抱智能合約。但是后來發展的智能合約和當時小V提出的智能合約不一樣,例如雅閣項目。這意味著走向了一個正式的道路,這也算是智能合約的改革。

聲音 | 蔡維德:\"沙盒精神\"是當前區塊鏈產業最需解決問題之一:據搜狐新聞消息,國內區塊鏈權威專家、中組部千人計劃學者、北航數字社會與區塊鏈實驗室主任蔡維德指出:“沙盒的精神是要協助小公司能進入大市場,這是當前區塊鏈產業最需要解決的問題之一,但是中國現在沒有這種機制,因此就由產業自發率先來做”,蔡維德說:“要想讓區塊鏈真正做到脫虛向實,前提是需要有產業秩序的建立。而由產、學界自主發起的產業沙盒,不失為產業秩序的建立過程中一個拋磚引玉的好方法。”[2018/10/6]

06.2018年美國CFTC報告有重大影響:交易和監管才是智能合約的主要功能

2018年美國大宗商品交易委員會CFTC出了一份《智能合約入門》,這份報告改寫了智能合約歷史。CFTC的報告表示智能合約有兩大功能,一是交易,二是監管;而這2大功能是同時間一起進行的。

這代表智能合約執行時,一些智能合約完成交易,一些智能合約監管這些正在進行的交易。這代表監管是“嵌入式”監管。這是一個全新的智能合約改革!比特幣、以太坊、超級賬本的智能合約都沒有這些概念。可是美聯儲、英國央行等出的報告也表示要有交易完備性,要能夠監管,這和CFTC的報告一致。

圖6:美國CFTC智能合約入門1.監管單位應該擁抱智能合約

CFTC表示監管單位應該擁抱智能合約。當時智能合約提出要逃避監管,但CFTC表示強盜、小偷、警察和都可以用智能合約,這是非常重要的180度大轉彎,而且是嵌入式、自動報告式的活動。

2.智能合約需要標準化、產業化

另外CFTC表示智能合約要服務化,智能合約是隨時隨地要執行,要服務化和標準化,不可以隨意開發交易代碼。

任何合規交易所例如上交所、深交所都有交易規則,這些交易規則都有標準化定義,而且監管也有標準所以智能合約要執行交易,必須有標準化的交易和標準化監管。如果我在不同交易所做區塊鏈交易,做同樣類型的金融交易,他們的交易流程和監管方法應該是一致的。這是CFTC的重要概念,要有標準化交易和標準化監管才能夠產業化。很多人集中做標準化的智能合約,這是智能合約產業化的一個重要路徑。

3.標準化的智能合約推進區塊鏈產業

智能合約可以有法律效力,也可以只是鏈上代碼。CFTC給智能合約提出非常重要的問題,CFTC認為標準化的行為助力市場效力、市場完整性、KYC、完成交易、記帳、自動監管報告。

另外一面,智能合約可以有作弊、不合法行為、操作風險、網絡風險、欺詐控制市場、預言機錯誤信息的風險。這些風險可能是開發時沒有注意到造成的錯誤,但是也有可能這有風險的智能合約是黑客提供的。所以,做智能合約時要全面標準化,盡量減少金融風險。

4.智能合約不能只是自動化現在流程

CFTC還講到,如果金融交易現在變成自動化執行,這會蘊含著非常大的風險。有可能在未知的情形下,智能合約突然就啟動執行了,也有法律效力,資產在合法的情況下轉移了,買到不想買的資產,或者賣了一些不想賣的資產,或者出現其他的狀況。現在的自動交易決策是人工處理,機器只是做執行工作,把這些東西變成智能合約來做時,風險自然就會變得很大。CFTC講到,如果這件事情要自動執行,那么現在的流程和基礎設施需要更改,這意味著智能合約的改革計劃。事實上CTFC在2018年就已經提出來了智能合約的改革計劃。

07.ISDA開啟金融智能合約標準化的工作

智能合約的改革影響到國際掉期與衍生品交易協會(InternationalSwapsandDerivativesAssociation,ISDA),這個協會專門制定標準包括智能合約標準。ISDA的標準化智能合約是“沒有代碼”的智能合約標準,這代表著,很多智能合約的工作與代碼沒有關系。智能合約首先要解決的是自動化法律流程問題,而自動化法律流程和傳統金融流程不一樣。傳統流程在過程中,人可以做一些靈活的改變,可是現在智能合約是自動執行,自動執行時出現的錯誤由誰負責就變成了一個很復雜的問題。ISDA表示數據來源需要是非常正確的,預言機+智能合約才是一個完整的應用。

1.智能合約需要事件處理模型

當有了預言機就出現事件模型。股票市場中,哪個公司發生重大事件,或者出錯,或者子公司上市,這就需要一種事件處理模型,而事件模型是傳統區塊鏈系統沒有考慮的。

事件模型是一個新型智能合約的里程碑,也就需要一種新型的基礎設施。

2.金融智能合約的制定需要考慮法律和金融交易流程

圖7:ISDA提出的主要金融市場事件違約包括未能付款和交付,違反和拒絕協議,信用審核違約,虛假陳述,指定交易中違約事件,還有破產,每項分別有一些相關描述,根據這些描述來設立一些智能合約標準,它是一個純法律上的流程。

在上面這個描述中可以用各種語言,包括自然語言或形式化的語言。整個智能合約以這種方式在進行研究和分析,其中ISDA制定標準。

ISDA在智能合約上的工作是重大突破,代表很大部分智能合約的工作和代碼沒有關系,而和法律和金融流程有關,而因為智能合約出現,金融流程改變,不能使用傳統金融流程。

3.事件處理模型會是智能合約重大發展路徑

根據ISDA我們提出來了預言機事件處理模型,各式各樣的違約事件、終止事件等,這些都可以經過一個事物的調整,把它變成復雜的事件模型。

圖8:金融事件的標準次序現在有各種各樣的預言機可以收集各種數據,預言機可以在金融公司、法院、股票市場、天氣預報、海關、物流等。這些地方收集出來的信息都會經過網絡到一個事件處理服務器,事件處理器把它分門別類,把這些信息送到需要關注的智能合約和區塊鏈上,這就變成一個復雜的網絡系統。這種網絡系統應該在互鏈網上做,這是一種網絡化的金融交易,這與傳統的比特幣、以太坊和超級賬本都非常不一樣。

圖9:事件模型08.法學大改革

法律的自動執行將顛覆法學研究、法律制度和法律實踐,這可能需要超過二三十年的時間,這會帶來重大影響,可是動作會非常慢,因為法律上的事情非常復雜。

2018年英國法律協會提出智能合約與區塊鏈應該屬于英國法律。2019年英國法律協會出的一份報告表示,扎博的智能合約是符合英國法律的,但是扎博智能合約用的例子不符合英國法律。很明顯英國法律協會沒有讀李嘉圖合約,它里面根本沒有討論到李嘉圖合約的種種問題和解決方案。非常有趣,英國法律協會也都知道扎博當時并沒有區塊鏈,英國法律協會用了一個沒有區塊鏈的概念,一開始又把它和區塊鏈放到一起。英國法律協會認為這是以后的英國法律。

2019年之后,英國又花時間來研究簽名法,因為智能合約需要有簽名。

2020年英國又提出一個新概念,英國表示先要定出英國標準的智能合約,英國在這上面是最積極的。智能合約與法律的結合英國是世界第一,智能合約與金融的結合德國排在第一。

傳統來講,計算機在法學上只是做分析,包括大數據、邏輯學、認知學。在哈佛大學、清華大學等高校中,有很多教授做的工作是邏輯學,他們都是用邏輯學來分析,還有IBMWatson律師,這些都是傳統上用在法律分析,但智能合約卻在法律執行,這是一個巨大的差別。當我們考慮法律執行的時候,一個全新的局面就出現了。

圖10:2018年提出有法律效力的智能合約是法學大改革

1.比格犬沒有高科技,還能執法

下圖是比格犬智能合約模型,我常常進出美國飛機場時發現,比格犬沒有上過學,它不懂中文,也不懂英文,不認字,但它卻能夠執法。沒有上過幼兒園、小學、中學、大學的比格犬都可以執法,那么有人工智能、大數據和智能合約的系統一定也能夠執法,這是給智能合約的一個鼓勵。

圖11:合同執行有周期斯坦福大學(StanfordUniversity)有可計算的合同,它可以有模型化。圖中右上方是一個合同的生命周期,當有合同周期,有法律模板,又在軟件工程領域里這是領域工程(DomainEngineering),當有這個領域工程時,智能合約的發展就會大大加速。

圖12:比格犬沒有使用高科技還可執法,有科技的智能合約必定可以執法

09.智能合約架構開始解耦

2020年又出現了一個新的現象。智能合約本來在以太坊,它的智能合約是在核心賬本里,是在一起的。可是英國央行表示智能合約可以在核心賬本的外面,這樣可以并行處理。如果并行處理,可以有更快的速度。這涉及到非常重要的一個概念,核心賬本可以做交易,智能合約可以做清結算,英國央行提出的概念就是預備把交易和清結算分開,這一點可能和傳統數字貨幣的想法已經不一樣了。我一直在講,區塊鏈、智能合約和預言機的做法、設計與傳統區塊鏈、傳統智能合約、傳統預言機的做法都不一樣。

英國央行也表示,智能合約應該放在與客戶交互的地方,和客戶交互的時候就能夠驗證客戶,先經過智能合約再到核心賬本。英國央行表示現在有三個智能合約模型,但不知道該選擇哪個做智能合約,我認為應該都放在一起,就變成智能合約又在核心賬本里,又和核心賬本并行,另外又在外面。這樣的話,就把智能合約系統和賬本系統拆分了,拆分時,智能合約系統又自己拆分,就變成了一種動態組成,這樣的一種系統就跟傳統的系統大不相同,我稱其為一種新型的標準化系統。

圖13:新型智能合約架構,3個不同智能這樣的系統事實上對智能合約以及區塊鏈產業是大有助力的,因為假設證監會、銀監會等監管單位想要做監管,他們可以自己創立智能合約庫,然后把智能合約庫推出去,每個交易系統都要執行這個智能合約庫。這樣的話,無論是張三的區塊鏈系統,李四的交易所,王五的股票交易所,或者是趙七的金融衍生品交易,全部是規范性的監管和規范性的交易,他們的智能合約就是標準化開發,標準化提供,這就變成一個非常好的產業,大家的競爭是在別的地方競爭,不是在標準化的地方競爭。

這原來市英國央行所提出的思路,但后來我們發展成為LSO模型,完全可以先行、并行、后行、標準化嵌入式監管等。雅閣項目里有各樣的預言機、各樣的智能合約等,它有非常多的標準化的事情,這可以有各方人的參與。

到這階段,智能合約不論在架構,開發方法,以及基礎思想和傳統智能合約大不相同。

1.新型智能合約和預言機

預言機現在越來越復雜,這事實上是2021年4月國外才推出的新概念。預言機本身也可以有區塊鏈,本身也可以有智能合約,本身它有一些驗證的算法,有隱私計算,而且它可以有多方驗證。因為一旦上了智能合約和區塊鏈,本身就有法律效應,所以做起來要非常小心和注意。現在的預言機也可以有多樣的LSO架構,事實上預言機本身也可以多方合約交互,多個賬本交互,動態注冊完成,這等于是一種新型的互聯網形式。預言機、智能合約還有鏈都是在網絡上面的,而不是在云上面,所以一種新型的網絡軟件工程或者網絡系統出現了,一種新型的狀態正在出現中。

圖14:雅閣項目提出,區塊鏈+智能合約+新型的智能合約是鏈上鏈下,這是一種混合的智能合約,這種混合智能合約也需要有多方驗證,而且要有預言機多方驗證。核心是指這個合約能夠安全地結合鏈上和鏈下,它是由鏈上鏈下組成的一種事情,鏈上是智能合約,鏈下是一種代碼。這種新型的智能合約正在出現。

圖15:鏈上和鏈下一起合作完成10.皋陶模型

我們將李嘉圖合約,CFTC,ISDA,斯坦福大學CodeX,比格犬模型的重要概念融合在皋陶模型中。皋陶是中國上古四圣之一,是家、思想家、教育家,但是最重要的是他是被后世尊為“中國司法始祖”。智能合約對世界法學的影響會越來越大,現在只是起步。由于合同可以自動執行,這對法學的改變會不斷的推出。

而智能合約也會出現兩條路線,一條繼續走“鏈上代碼”仍然不考慮法律效力,但是另外一條路線是走法律路線,而第二條路以后的會有深遠的影響。

Tags:區塊鏈FTCCFT區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢FTC幣FTC價格CFT幣CFT價格

加密貨幣
總愛忘事、疑心重、喜怒無常,老年人定期做做“記憶體檢”_

“老媽70多歲,現在經常忘事,有時提醒也想不起來。最近脾氣也大變,還總懷疑家中保姆偷她錢包、衣服,其實是她自己想不起放哪了,有時連我這個親閨女也不相信。這是怎么了?”市民張華有些郁悶.

1900/1/1 0:00:00
河南加油!科技互聯網企業救援進行中_CEO

7月17日以來,河南遭遇極端強降雨,中部和西北部出現大到暴雨,鄭州、焦作、新鄉、洛陽、許昌、平頂山等地的部分地區出現大暴雨,多地遭遇特大水災,國家防總已啟動防汛Ⅲ級應急響應.

1900/1/1 0:00:00
比特幣站上4萬美元吸引市場注意力 金價低位震蕩空頭趨勢漸明朗_比特幣

行情回顧: 黃金周一盤開于1876.32美元美元/盎司,最高上漲至1877.89元/盎司,最低下探1844.66美元/盎司,收于1864.00美元/盎司.

1900/1/1 0:00:00
DeFi世界最重要的基礎設施DEX,也是盛大公鏈的生態基石_以太坊

今天的DEX已經崛起為DeFi世界最重要的基礎設施,自動做市商模式興起實現了DEX交易量爆發式增長,僅2021年1月以太坊DEX總成交量就突破600億美金,為2019年全年的20多倍.

1900/1/1 0:00:00
算法穩定幣現狀:借貸協議應用最多,最不穩定的AMPL搶先上Aave_AMPL

文章來源:鏈幸財經 文章鏈接:https://www.hhh3.com/2183.html在加密貨幣的市值排行中,前十的幣種中已經有三種是穩定幣,它們分別是USDT、USDC、BUSD.

1900/1/1 0:00:00
鏈客Talk|KingDeFi—BSC和Solana上第一個人工智能收益挖礦聚合器_KingDeFi

5月11日,“鏈客Talk”邀請KingDeFi首席執行官兼創始人Marc來到鏈客直播間,和大家一起聊聊“KingDeFi——BSC和Solana上的第一個人工智能收益挖礦聚合器”這一話題. 大.

1900/1/1 0:00:00
ads