以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > DOT > Info

蔡維德:“智能合約”已有新定義 如何解讀?_以太坊:以太坊價格今日行情美元實時

Author:

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

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

核心要點

智能合約的思想發生了很大的變化,智能合約、區塊鏈已經有新定義了。在以太坊出現時,就有了智能合約,后來不久又有了預言機,區塊鏈現在是一個賬本系統+智能合約+預言機。

無論是英國、德國還是美國,他們都認為智能合約帶來“可編程經濟”,可編程經濟帶來高速交易,高速交易帶來了高流動性。

傳統流程在過程中,人可以做一些靈活的改變,可是現在智能合約是自動執行,自動執行時出現的錯誤由誰負責就變成了一個很復雜的問題。ISDA表示數據來源需要是非常正確的,預言機+智能合約才是一個完整的應用。

傳統來講,計算機在法學上只是做分析,包括大數據、邏輯學、認知學。在哈佛大學、清華大學等高校中,有很多教授做的工作是邏輯學,他們都是用邏輯學來分析,還有IBM Watson律師,這些都是傳統上用在法律分析,但智能合約卻在法律執行,這是一個巨大的差別。

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

· 區塊鏈控制數據,保證數據不能被篡改。

· 智能合約控制流程,智能合約工作的發展非常重要,因為它帶領這個領域走向了產業化,智能合約不再是黑科技,而是一種產業化產品。

· 預言機和外面接觸,控制外面的系統。

區塊鏈、智能合約和預言機組成一種復雜系統,而且組成機制也發生變化,以前是死綁定,現在可以動態改變。預言機是專門收集數據、驗證數據和傳送數據的,所以預言機可能是最復雜也是最多的。

智能合約

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

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

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

傳統可編程經濟

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

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

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

蔡維德:中國目前最需要打造元宇宙治理科技:金色財經消息,在由中國科技新聞學會籌備成立的元宇宙科技傳播專業委員會,并與《中國科技信息》雜志共同推出“認知與途徑:元宇宙百人訪談錄”上,北京航空航天大學教授、博士生導師蔡維德認為,現在盛行的元宇宙思想,主要是小說內的科技部分,包括交互、增強現實(AR)、虛擬現實(VR)、云技術等,但是,對于中國來說目前最需要的元宇宙技術是治理科技。元宇宙大致指的是一個由虛擬現實(VR)和增強現實(AR)技術促進的通用虛擬世界,一個集體的虛擬開放空間,由虛擬增強的物理和數字現實(digital reality)融合創造。

這個世界需要多元科技,包括計算機科技,例如人工智能、通訊、計算(新型超算,隱私計算等)、VR、AR、區塊鏈、游戲;早期元宇宙的科技領域;游戲,地圖,數字貨幣(包括NFT)。

更為重要的是,元宇宙系統包含數字經濟,包括新型數字經濟(數字資產、交易等)和傳統數字經濟(電商、社交網絡、搜索引擎等)。新型數字經濟發展需依托各式各樣的新型金融科技,例如合規數字貨幣。(《中國科技信息》雜志社)[2022/5/3 2:46:14]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

智能合約改變金融市場

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

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

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

圖1: 販賣機案例啟發薩博“智能合約”概念,但后來英國不同意這觀點

聲音 | 蔡維德:數字法幣或要等第10代區塊鏈技術才能實現:據金融界消息,中組部“千人計劃”特聘教授、北航教授蔡維德表示,數字法幣或要等第10代區塊鏈技術才能實現。其認為一般的數字代幣根本達不到數字法幣的要求,如果用第一代或是第二代數字代幣的技術做數字法幣,恐怕會遇到“不可能完成的任務”。此外,其還表示,區塊鏈是監管利器,區塊鏈技術本身可以降低成本,節省的成本就可以覆蓋監管過程產生的費用。如果公司使用了區塊鏈技術,就不需要監管層人工查賬。因為在區塊鏈上,公司和監管單位可以實現賬本共享,這樣監管就節省了人工查賬的成本。[2019/4/17]

合同可以看不懂,但是不能不給合同雙方看過

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

約滿天下

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

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

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

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

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

智能合約的名字是扎博提的,但概念是Ian Grigg提的,1995年Ian Grigg提出了李嘉圖合約(Ricardian Contract)。扎博和Ian Grigg都有法律背景,Ian Grigg看到美國大部分的法律合同是標準化的,他認為如果要做智能合約就要先有標準,下圖代表了一個標準化的模板,如果要開發智能合約就要先有模板。(備注:Ian Grigg 并沒有使用智能合約這名詞,而使用李嘉圖合約這名詞,在文獻中,有學者區分這2個合約的定義。但是我們認為這2個路線事實上都是智能合約,而且后來合規智能合約的發展是根據李嘉圖合約。)

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

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

圖2: 李嘉圖合約模版

合同模版先翻譯到代碼模版

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

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

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

聲音 | 北航蔡維德:目前有很多虛假交易數據 區塊鏈可解決虛假:在今日舉行的第一屆中國區塊鏈產業經濟發展年會上,北京航空航天大學教授、“千人計劃”特聘專家蔡維德發表有關區塊鏈的主題演講。蔡維德表示,目前金融交易環節多、效率低,很多交易數據都是虛假的,需要金融系統區塊鏈。他指出,區塊鏈可解決虛假,但區塊鏈不是唯一的工具。區塊鏈是基礎設施,不是應用。蔡維德還提到,智能合約輸入來自區塊鏈,執行結果要共識,而輸出要進入區塊鏈。[2019/1/22]

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

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

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

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

圖3: 雅閣項目跟隨李嘉圖合約路線

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

2015年一位名為小V的年輕人和我在北航圍繞智能合約談了很多,我指出他做的不是智能合約,第一不智能(起碼不是人工智能定義的“智能”),第二不是有法律效力的合同。我把過去的“智能”合同的工作給他看后(這方面美國法律界已經工作20年了,主要工作在人工智能、自然語言處理,大數據分析,軟件架構上。)

他表示他做的確實不是“智能”合約,但他沒打算更改名字,因為如果叫做“鏈上代碼”(ChainCode),以太坊會賣不出去,如果還是叫做“智能合約”,大家會以為名詞吸引人,就能賣得出去。(備注:后來在2018年,他后悔使用“智能合約”這名詞。)

圖4: 由于太多法律考量,小V在2018年后悔使用“智能合約”這名詞

因此他只是用智能合約(這是薩博提出的)這名詞!而薩博的智能合約和區塊鏈沒有關系。因為那時候區塊鏈的概念還沒有出來。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

這代表智能合約執行時,一些智能合約完成交易,一些智能合約監管這些正在進行的交易。這代表監管是“嵌入式”監管。這是一個全新的智能合約改革!

比特幣、以太坊、超級賬本的智能合約都沒有這些概念。可是美聯儲、英國央行等出的報告也表示要有交易完備性,要能夠監管,這和CFTC的報告一致。

圖6: 美國CFTC智能合約入門

監管單位應該擁抱智能合約

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

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

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

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

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

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

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

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

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

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

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

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

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

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

圖 7: ISDA提出的主要金融市場事件

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

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

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

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

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

圖8: 金融事件的標準次序

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

圖9: 事件模型

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

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

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

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

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

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

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

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

圖11: 合同執行有周期

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

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

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

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

圖13: 新型智能合約架構,3個不同智能合約系統并行處理交易

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

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

到這階段,智能合約不論在架構(動態復雜架構),開發方法(標準化,模版化開發),以及基礎思想(有法律效力,新型金融流程)和傳統智能合約大不相同。

新型智能合約和預言機

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

圖14: 雅閣項目提出,區塊鏈+智能合約+預言機一起工作

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

圖15: 鏈上和鏈下一起合作完成

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

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

Tags:區塊鏈FTCCFT以太坊區塊鏈怎么入手NFTCircleCFTY以太坊價格今日行情美元實時

DOT
Messari分析師Ryan Watkins:UDSC已成為DeFi的首選穩定幣_SDC:OMP

近日,Messari分析師Ryan Watkins發推表示:未來幾周,USDT在以太坊上的穩定幣供應份額很可能首次跌破50%.

1900/1/1 0:00:00
成功出圈的NFT 為何有了變成區塊鏈犯罪“新寵”的危險?_NFT:PARADOX NFT BSC

最近一段時間,比特幣的價格嚴重縮水,使得整個加密貨幣市場都處于風雨飄搖的狀態。可就在同時,NFT卻迎來了大漲.

1900/1/1 0:00:00
鄒傳偉:以 PoS 礦池質押收益為例解析 DeFi 的利息理論_STAK:ING

DeFi 不是連續時間金融,而是離散時間金融,DeFi 的頻率由公鏈的內在節奏——出塊時間決定.

1900/1/1 0:00:00
最受歡迎的穩定幣Tether會成為加密市場的末日嗎?_tether:加密貨幣

由于缺乏透明度,最受歡迎的穩定幣 Tether 在加密貨幣社區中一直具有一定程度的不確定性并受到懷疑.

1900/1/1 0:00:00
金色觀察丨比特幣難度暴跌 但礦工收入為何能4天漲50%?_比特幣:EOS

金色財經 區塊鏈7月7日訊 數據顯示,在網絡出現有史以來最大難度下調之后,比特幣礦工收入反而猛增.

1900/1/1 0:00:00
一覽韓國區塊鏈生態現狀:交易所、頭部企業與銀行等_BIT:區塊鏈專業大學排名

中國加密貨幣用戶只是基數位于世界首位,而并非「百分比」。如果要提到真正的「人人皆幣民」的大國,那一定是韓國.

1900/1/1 0:00:00
ads