rrrrr r rrrr

第二十章 助力法律革新——實(shí)現(xiàn)法律自動執(zhí)行

rr

1.區(qū)塊鏈新定義里面的預(yù)言機(jī)如何助力法律的自動執(zhí)行？

rr

2.為什么使用智能合約后，計算機(jī)語言會影響到“法言法語”？

rr

3.為什么智能合約需要標(biāo)準(zhǔn)化、服務(wù)化、自動化？

rr

本章提出一個新的法治和法學(xué)的區(qū)塊鏈中國夢。區(qū)塊鏈和法律息息相關(guān)，彼此影響也逐漸顯現(xiàn)。區(qū)塊鏈的創(chuàng)新和在商業(yè)領(lǐng)域的用途不斷給現(xiàn)有法律制度和法律框架提出新問題，律師是第一個體驗(yàn)到區(qū)塊鏈對法律的影響并積極參與討論和研究的人群。比如2016年以前美國律協(xié)的商法學(xué)年度會議，基本沒有多少涉及和區(qū)塊鏈相關(guān)的議題，但2017年，有將近10%的會議議題涉及法律與科技結(jié)合，比如：區(qū)塊鏈普及、ICO合規(guī)、智能合約與UCC filing等，到了2018年，會議中相關(guān)議題的討論已接近30%，并且更加深入。

rr

另外，從一個側(cè)面也可以反映以計算機(jī)為基礎(chǔ)的科技對法律的影響。美國法學(xué)院從2010年到2017年，入學(xué)率逐年減少，截至2017年，全美法學(xué)院學(xué)生已經(jīng)減少了30%，2020年是美國42年來入學(xué)率最低的一年。并且從2010年起，法學(xué)院也已經(jīng)減少了10億美元的經(jīng)費(fèi)，許多法學(xué)院不得不減少聘請法學(xué)教授。而計算機(jī)工程學(xué)院的入學(xué)率則每年遞增，許多學(xué)生為了更好的工作機(jī)會，改讀工程專業(yè)，許多分析人士稱，大量重復(fù)性的法律工作會被計算機(jī)所取代，因此未來法學(xué)院畢業(yè)生就業(yè)更加困難。但是科技本身性質(zhì)中立，并不必然要給法律帶來負(fù)面影響，法律界人士更應(yīng)該考慮的是如何利用科技給法學(xué)研究、法律制度構(gòu)建和法律實(shí)踐帶來更為正面和有效的影響。

rr

本章著眼于法律與科技的結(jié)合，首先簡要介紹二者結(jié)合所產(chǎn)生的一個新興學(xué)科——計算法學(xué)；其次介紹兩個重要技術(shù)，認(rèn)知計算和智能合約與法律交互的現(xiàn)狀與未來；重點(diǎn)提出法律自動執(zhí)行的中國夢；最后預(yù)測法律與科技結(jié)合會給當(dāng)代法律研究、法律制度和法律實(shí)踐帶來怎樣的變革。

rr

一、計算法學(xué)的歷史

rr

廣義上的計算法學(xué)是指通過計算機(jī)技術(shù)實(shí)現(xiàn)法律邏輯；狹義的定義是指通過區(qū)塊鏈、大數(shù)據(jù)以及人工智能等技術(shù)在數(shù)字社區(qū)實(shí)現(xiàn)法律邏輯并可以針對案例進(jìn)行智能分析和判斷。計算法學(xué)是一個法學(xué)的分支學(xué)科。像計算機(jī)科學(xué)的其他學(xué)科一樣，計算法學(xué)關(guān)注定量模擬和分析技術(shù)，比如，使用計算機(jī)法律對法律問題進(jìn)行計算和建模，這個過程需要用到自然語言處理和大數(shù)據(jù)的分析。在計算法學(xué)的學(xué)術(shù)領(lǐng)域，學(xué)者關(guān)注利用有關(guān)電子和計算的方法來解決法律的問題。

rr

計算法學(xué)在許多年前就開始了，在計算機(jī)方面多半以人工智能和邏輯為出發(fā)點(diǎn)，以“計算邏輯”為主要工具，例如邏輯編程就是一個重要例子。因?yàn)榉芍匾曔壿?，這是法律和計算機(jī)結(jié)合的一個出發(fā)點(diǎn)。而計算機(jī)邏輯編程就是一個重要工作，該工作從20世紀(jì)初已經(jīng)開始，這方面華人學(xué)者人才輩出，例如哈佛大學(xué)王浩老師和臺灣清華大學(xué)前校長李家同老師都是計算邏輯領(lǐng)域的重要貢獻(xiàn)者。

rr

30年前日本提出第5代計算機(jī)計劃，并且以計算邏輯為主要計算機(jī)語言，因而計算邏輯和邏輯編程大為盛行。許多大學(xué)都在研究計算邏輯及其在法學(xué)上的應(yīng)用，可是實(shí)際的法律應(yīng)用比計算邏輯要復(fù)雜得多，這些項目遠(yuǎn)遠(yuǎn)不到可以實(shí)際使用的階段。

rr

20世紀(jì)50年代，法國科學(xué)家呂西安·梅爾提出用計算機(jī)解決法律問題，這個過程被稱為“思維過程機(jī)器化”。但是法律和當(dāng)時計算機(jī)技術(shù)相差太遠(yuǎn)，交互不多，因此進(jìn)展不大。直到20世紀(jì)90年代和21世紀(jì)初，人工智能和法律的結(jié)合使得計算法學(xué)有了進(jìn)展。2005年斯坦福成立專門的計算機(jī)科學(xué)組織，來研究計算機(jī)在法律中的應(yīng)用。其中一部分的工作是把法規(guī)可視化，可以來分析各種法律和決策之間的關(guān)系。

rr

英國普通法的網(wǎng)絡(luò)分析

rr

以前計算機(jī)在法律領(lǐng)域的運(yùn)用集中在分析上，不論是邏輯或是可視化分析，都是在分析法規(guī)或是案例，這些使我們更加了解法律，但在實(shí)踐上幫助不是直接的。用計算機(jī)來直接執(zhí)行法律是直接有用的，但也是最難的技術(shù)。一個簡單的應(yīng)用是將金融衍生品、期權(quán)和期貨等自然語言的表述自動編輯成代碼來執(zhí)行。這在法律上是最容易的工作，因?yàn)檫@些交易法規(guī)是易懂的，而且很容易被計算機(jī)處理…

rr

近年來計算機(jī)對自然語言的處理能力大有進(jìn)展，許多法律文章都可以被計算機(jī)處理。一個基于可擴(kuò)展標(biāo)示語言的標(biāo)準(zhǔn)由萊布尼茲·森特提出和開發(fā)，并應(yīng)用在美國和英國政府法律編制上。2013年，在美國，奧巴馬頒布了一項行政命令，即所有的公共政府文件在默認(rèn)情況下，均可以由機(jī)器可讀，盡管并沒有提到具體的格式。這表示有一天，計算機(jī)可以理解大部分法律文件。

rr

最近因?yàn)閰^(qū)塊鏈和智能合約，計算法學(xué)再度被重視。這是一個跨學(xué)科的重大改變，一向?qū)τ嬎銠C(jī)沒有興趣的法學(xué)院，比如許多法學(xué)家以前認(rèn)為這是一群不懂法律的黑客（Hacker）做出來的技術(shù)，和法學(xué)、法律距離太大而沒有實(shí)際價值，現(xiàn)在也逐漸開始重視計算機(jī)學(xué)科在法學(xué)領(lǐng)域的融合。這一現(xiàn)象在國外和國內(nèi)都一樣，國外已有高校成立研究團(tuán)隊開始對計算法學(xué)進(jìn)行研究，2018年，清華大學(xué)也提出要建立“計算法學(xué)”的碩士學(xué)位。

rr

二、認(rèn)知計算

rr

最近認(rèn)知計算（Cognitive Computing）也有非常大的進(jìn)展，認(rèn)知計算有自然語言處理能力，在一些領(lǐng)域里面，可以了解該領(lǐng)域的常識，加上里面存有大量的案例，可以根據(jù)存在的法規(guī)、案例和邏輯思考得到正確的答案。認(rèn)知計算以IBM公司開發(fā)出來的IBM Watson為代表。

rr

Waston本質(zhì)上是IBM制造的電腦系統(tǒng)。是“一個集高級自然語言處理、信息檢索、知識表示、自動推理和機(jī)器學(xué)習(xí)等開放式問答技術(shù)為一體的應(yīng)用”，并且“基于為假設(shè)認(rèn)知和大規(guī)模的證據(jù)搜集、分析、評價而開發(fā)的DeepQA（深度問答）技術(shù)”。其主體思想與AlphaGo的完全采用深度學(xué)習(xí)技術(shù)的人工智能不同，Waston思路更接近心智社會（Society of Mind）。Waston在一個電視常識游戲節(jié)目上的表現(xiàn)令人驚訝，因?yàn)樗诔ＷR上打敗了人類冠軍。而在以前，這被大多數(shù)的學(xué)者認(rèn)為是不可能的任務(wù)，因?yàn)樗麄冋J(rèn)為計算機(jī)不可能有常識，就算有常識也不可能打敗人類。這都被證實(shí)是不正確的。

rr

認(rèn)知計算的一個應(yīng)用就是法律，IBM將法規(guī)和案例放進(jìn)Watson系統(tǒng)，并且交給大學(xué)（例如多倫多大學(xué)）和律師辦公室進(jìn)行實(shí)驗(yàn)。以Watson技術(shù)為基礎(chǔ)，ROSS系統(tǒng)將認(rèn)知計算運(yùn)用在了法律檢索領(lǐng)域。不像傳統(tǒng)的法律檢索工具，如WestLaw, LexisNexis, Bloomberg BNA，通過輸入關(guān)鍵字，而后會列出一些相關(guān)聯(lián)的法律條文、案例和文獻(xiàn)等，使用人需要花費(fèi)大量的時間在大量的搜索結(jié)果中去尋找合適的信息。而ROSS，則是可以直接回答法律問題的。比如提問者問“駕照被吊銷繼續(xù)開車在紐約州需要付什么樣的法律責(zé)任”，ROSS首先會解析文本問題，生成查詢請求，搜索可能的答案。通過解讀措辭含糊的問題并通過用知識數(shù)據(jù)庫搜尋答案，ROSS展現(xiàn)了理解自然語言的能力。并且通過成千上百種算法從不同的維度分析備選假設(shè)的證據(jù)，并且在相應(yīng)的維度上計算對備選答案的支持程度，而獲得相應(yīng)答案。

rr

簡單地說，ROSS會通過海量檢索，包含在法律條文及案例的信息庫中檢索，直接給一個法律問題予以回答。Waston在回答40%—70%的問題時，達(dá)到了92%的平均精度。ROSS的原理是模仿人的認(rèn)知過程——觀察、學(xué)習(xí)、組織語言、處理數(shù)據(jù)、得出結(jié)論。而差別就在于ROSS的思考分析速度遠(yuǎn)超人類。

rr

但是，由于現(xiàn)實(shí)技術(shù)條件限制，ROSS在法學(xué)領(lǐng)域的發(fā)展和大范圍應(yīng)用，速度還是較為緩慢，并且其創(chuàng)新和實(shí)用性沒有超過法律檢索領(lǐng)域。

rr

三、智能合約

rr

1.可執(zhí)行的法律帶來新思想

rr

可執(zhí)行的法律一直是“計算法學(xué)”（computational law or computational legal studies）的一個大夢。麻省理工學(xué)院和英國首席科學(xué)家都提到這些概念。麻省理工學(xué)院媒體實(shí)驗(yàn)室在幾年前提出可執(zhí)行的法律，結(jié)合移動技術(shù)、安全計算和身份認(rèn)證等技術(shù)來創(chuàng)造一個新的數(shù)字社會。在不同的地方，不同的法規(guī)可以被執(zhí)行，達(dá)到情景感知的計算。

rr

英國首席科學(xué)家也認(rèn)為區(qū)塊鏈帶來的一個改變世界的革命是“計算機(jī)和法律的結(jié)合”，而這結(jié)合主要從“智能合約”而來。簡單地說，智能合約就是把法規(guī)用計算機(jī)語言（代碼）形式表示，在系統(tǒng)運(yùn)行的時候，相關(guān)的法規(guī)代碼也被執(zhí)行，代表相關(guān)的法規(guī)被系統(tǒng)執(zhí)行了。因?yàn)閭鹘y(tǒng)上，法規(guī)是用自然語音表示，也是不能被計算機(jī)執(zhí)行的，所以智能合約代表一個新時代的來臨，就是法規(guī)可以被計算機(jī)自動執(zhí)行！

rr

法律的自動執(zhí)行和移動計算的結(jié)合可以用一個例子來說明：在歐洲不同的國家法律不一樣，假設(shè)A國的法律規(guī)定16歲是合法的喝酒年齡，B國的法律規(guī)定18歲是合法的喝酒年齡。如果有一個16歲的人拿著酒瓶一邊喝酒，一邊從A國跨越到B國，那么有一張罰單就會自動開出，接著就會從該人的賬戶中自動扣除一定金額的罰款。怎么做到的呢？首先就是將法律條文用本體寫到智能合約的法律庫里，每個轄區(qū)（jurisdiction）都有各自的法律庫；每個人出門都會帶手機(jī)，手機(jī)定位可以自動檢測到你所在的轄區(qū)，當(dāng)你進(jìn)入酒店、酒吧，或者手上有酒的時候，手機(jī)會自動提醒該轄區(qū)的法律，比如告訴你本轄區(qū)的喝酒年齡是18歲，不到合法飲酒年齡飲酒要被罰款100歐元。智能合約法律庫可以設(shè)定if-then的兩個執(zhí)行程序：“如果該人未滿18歲喝酒，那么交管局就會開出一張違法喝酒的罰單”和“如果一個人被交管局開出一個違法喝酒的罰單，那么其關(guān)聯(lián)賬戶就會自動被扣除100美金的罰款。”所以當(dāng)條件成立時，相關(guān)法律就會被自動執(zhí)行！

rr

但是可執(zhí)行的法律在實(shí)際應(yīng)用上，還是遇到許多困難，甚至兩年前還出了重大意外事故，“The DAO”事件。在這事件上，上億美金項目的錢被黑客偷走。這個事件發(fā)生在智能合約技術(shù)還不成熟階段，引起了很大的爭議和爭論，也被主流媒體（例如《美國銀行家》雜志）大力批評，認(rèn)為拿沒有成熟的技術(shù)在金融市場上使用是不負(fù)責(zé)的態(tài)度。這些批評是正確的，因?yàn)檫@一技術(shù)在當(dāng)時的確沒有成熟，甚至到現(xiàn)在也沒有成熟。

rr

但是后來的發(fā)展卻表示這只是歷史過程中的一件不幸事故，此次事件以后，法律和計算機(jī)的合作不是停止，而是更加緊密地快速前進(jìn)。大批的研究團(tuán)隊出現(xiàn)，開始認(rèn)真研究法律和計算機(jī)的結(jié)合，并且大都圍繞智能合約、數(shù)字身份證和監(jiān)管科技。

rr

2.“智能合約”與法律的完美結(jié)合

rr

智能合約是“一套以數(shù)字形式定義的承諾，包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議?！痹诜深I(lǐng)域的應(yīng)用是法律文本代碼化，通過智能合約，部分法律條文可自動執(zhí)行。這一點(diǎn)使得法律與科技的結(jié)合從法律分析，深入到了法律執(zhí)行的領(lǐng)域。

rr

需要明確的是智能合約不是一個傳統(tǒng)的法律合同（并不滿足一個合同的形成要件），而是代碼的自動執(zhí)行。IBM對其的定義更為準(zhǔn)確，稱為“鏈上代碼”，表示這不是合約。但是智能合約卻是一個重要的方向。現(xiàn)在也有團(tuán)隊在研究傳統(tǒng)的法律合同如何半自動或是全自動轉(zhuǎn)成智能合約，這種智能合約不但可以執(zhí)行，而且因?yàn)樵瓉碛蟹珊贤赃@種智能合約也具有法律效應(yīng)。這些在國外都是熱門研究課題，由法學(xué)家和計算機(jī)學(xué)者一起合作研究。

rr

為什么說智能合約與法律可以完美結(jié)合？主要體現(xiàn)在數(shù)據(jù)的正確性上。數(shù)據(jù)的正確性是靠區(qū)塊鏈來保證的。一個智能合約在一條鏈上的執(zhí)行有以下幾個特點(diǎn)：

rr

①數(shù)據(jù)來源有保證：數(shù)據(jù)來自區(qū)塊鏈，鏈保證數(shù)據(jù)的正確性。

rr

②運(yùn)行結(jié)果有保證：智能合約使用正確的數(shù)據(jù)在鏈上運(yùn)行后，得到的結(jié)果必須達(dá)到共識后，才被接受。如果區(qū)塊鏈節(jié)點(diǎn)上的智能合約得到不同的結(jié)果，若結(jié)果不能得到共識，就會被拒。

rr

③結(jié)果存儲有保證：形成的結(jié)果又會被存儲于區(qū)塊鏈上，保證該數(shù)據(jù)不能被更改，該結(jié)果可能會被以后的智能合約使用，因?yàn)閿?shù)據(jù)沒有被更改過，區(qū)塊鏈可以保證數(shù)據(jù)的正確性。

rr

對于多鏈或互鏈網(wǎng)（鏈滿天下）來說，因?yàn)槊織l鏈都保證其鏈上數(shù)據(jù)準(zhǔn)確，任何結(jié)果會通過投票保證共識，結(jié)果又會被存儲于鏈上，所以整個區(qū)塊鏈互鏈網(wǎng)就可以由一系列各自獨(dú)立的鏈組成，形成了一套具有準(zhǔn)確信息的鏈網(wǎng)絡(luò)。

rr

這一完美的結(jié)合不同于現(xiàn)在的計算機(jī)系統(tǒng)，在現(xiàn)在的系統(tǒng)中，不能保證存儲在系統(tǒng)的數(shù)據(jù)沒有被更改過，使用被更改過的數(shù)據(jù)在大部分的情形下會得到不正確的結(jié)果，不正確的結(jié)果又會被存在系統(tǒng)里面，讓以后的使用者也得不到正確的數(shù)據(jù)。

rr

這一完美的結(jié)合帶來一個新的區(qū)塊鏈中國夢：即使用正確的數(shù)據(jù)，完成正確的計算得到正確的結(jié)果，存儲并且保證正確的結(jié)果來建立一個誠信社會！

rr

四、科技將帶來法律的中國夢

rr

我國現(xiàn)在進(jìn)入了中國夢——中華民族偉大復(fù)興——的發(fā)展階段。中華民族古代的四大發(fā)明是中國科學(xué)技術(shù)對世界文明和人類發(fā)展的卓越貢獻(xiàn)。要實(shí)現(xiàn)偉大復(fù)興，在現(xiàn)代來看，科學(xué)技術(shù)依舊是發(fā)展的主心骨，而法律制度和法律實(shí)踐是助力中國夢實(shí)現(xiàn)非常重要的根基和保證。科技和法律的結(jié)合助力中國夢的體現(xiàn)，在未來幾十年，是利用科技實(shí)現(xiàn)法律的自動執(zhí)行，這將會對整個法律制度和法律實(shí)踐帶來重大變革。

rr

1.法規(guī)和案例的計算機(jī)語言化、形式化和智能化 ——改變法學(xué)基礎(chǔ)

rr

法律自動執(zhí)行的前提需要一個智能合約法律庫。將法律條文和案例用一種形式化的本體語言來展現(xiàn)。即法律條文用計算機(jī)語言再寫一遍，存儲在計算機(jī)上；案例可以用認(rèn)知計算（例如本體、代碼、邏輯、形式化方法）來表述，但這需要大量的處理。由于中國是大陸法系國家，法律多數(shù)是以法典化的形式呈現(xiàn)，和法律以判例形式呈現(xiàn)的英美法系國家相比，中國更容易建立智能合約法律庫。在該法律庫里，法律條文被代碼化，使法律被計算機(jī)認(rèn)可和執(zhí)行變得可能。

rr

這些計算機(jī)語言，許多可以被執(zhí)行，就算不能執(zhí)行，也可以被自動分析，例如在大數(shù)據(jù)平臺或是人工智能平臺上進(jìn)行分析。而這些數(shù)據(jù)可以使用區(qū)塊鏈上的數(shù)據(jù)，保證數(shù)據(jù)正確。

rr

這會給法學(xué)的基礎(chǔ)帶來巨大的變化。因?yàn)橐郧胺ㄒ?guī)都是以自然語言表示，但以后還會以計算機(jī)語言表示，包括本體、代碼、邏輯和形式化語言等。這表明法學(xué)專業(yè)學(xué)生以后要學(xué)計算機(jī)技術(shù)，這將會給法學(xué)院帶來結(jié)構(gòu)性的變化，因?yàn)橛嬎銠C(jī)和相關(guān)技術(shù)，例如區(qū)塊鏈、人工智能和大數(shù)據(jù)的課程會進(jìn)入法學(xué)院。2018年清華大學(xué)表示要建立計算法學(xué)學(xué)位就是一個重要的布局。

rr

2.法律自動執(zhí)行（智能合約）將會進(jìn)入實(shí)際法律實(shí)踐和程序

rr

法律的自動執(zhí)行不僅影響?yīng)M義的執(zhí)法程序，對立法、執(zhí)法和司法都會帶來影響。

rr

首先，在立法層面，立法程序包括四個階段：①法律議案的提出，②法律議案的審議，③法律議案的表決，④法律的公布。第①和第②點(diǎn)，法律的自動執(zhí)行可以體現(xiàn)在用本體化的語言呈現(xiàn)法律議案，為投票做準(zhǔn)備，但這可能不是最經(jīng)濟(jì)有效的方式，現(xiàn)有的人為方式可能更加“智能”，比如議案審議，對需要修改的內(nèi)容直接在文檔上進(jìn)行修改，而不需要將還未形成法律的草案代碼化，費(fèi)時費(fèi)力。但是對于第③點(diǎn)和第④點(diǎn)，把智能合約放在議案的表決和公布上則是更有效的方式，因?yàn)檫壿嬁梢赃\(yùn)用到此，一旦投票人數(shù)達(dá)到一定數(shù)額，那么法律能通過（if-then邏輯），智能合約可自動查驗(yàn)最終投票的真實(shí)性。而后法律會自動公布在鏈上，代碼化后進(jìn)入到智能合約法律庫，為下一步的自動執(zhí)行做準(zhǔn)備。從立法的例子可以看到，法律的自動執(zhí)行并不是萬能的，而是需要將其運(yùn)用在最適合的地方，方能更經(jīng)濟(jì)有效地為人服務(wù)。

rr

其次，對司法的影響主要體現(xiàn)在兩方面：一是證據(jù)制度，二是糾紛的解決。要自動執(zhí)行，首先司法裁判的證據(jù)要被存儲在區(qū)塊鏈上。區(qū)塊鏈因其鏈上信息不可篡改的特點(diǎn)可以保證證據(jù)的真實(shí)性。證據(jù)有三性，真實(shí)性、合法性和關(guān)聯(lián)性，法庭質(zhì)證圍繞三性進(jìn)行，法官裁判也是依據(jù)三性而定。區(qū)塊鏈最重要的是保證了證據(jù)的原始和真實(shí)，這就為司法裁判提供了第一步的保證。

rr

區(qū)塊鏈還可以部分簡化證據(jù)的合法性要求。比如證據(jù)要求證據(jù)形式符合形式要求，如某份法律文件的有效性要求單位蓋章以及法定代表人簽名才有效。此舉目的是使該文件值得被信任。而區(qū)塊鏈的核心思想正是“去信任化”，如一公司通過區(qū)塊鏈出臺法律文件，并不需要任何單位蓋章或送負(fù)責(zé)人簽名，均可以保證該公司出臺的文件有效，無須額外簽署及蓋章流程，即可滿足該文件的合法有效性。

rr

最后，在糾紛解決方面，通過法律自動執(zhí)行對執(zhí)法領(lǐng)域產(chǎn)生影響。傳統(tǒng)的糾紛解決方式有法院裁判、私人調(diào)解或者仲裁?，F(xiàn)在很多糾紛可以通過網(wǎng)絡(luò)進(jìn)行解決，以廣州仲裁院為例，仲裁已經(jīng)發(fā)展到線上仲裁，即立案、受理、仲裁過程和出具裁決書均可以通過網(wǎng)絡(luò)進(jìn)行。截至2017年，廣州仲裁院已完成十萬余件的網(wǎng)絡(luò)仲裁。

rr

在此基礎(chǔ)上，法律的自動執(zhí)行有利于糾紛順利解決，即可以深入到裁決的執(zhí)行領(lǐng)域。因?yàn)閰^(qū)塊鏈的存證性能，對裁決的執(zhí)行可以部分利用到智能合約，特別是金額在不同賬戶間的執(zhí)行，或者所有權(quán)歸屬的移轉(zhuǎn)等，并且執(zhí)行的結(jié)果可以存于鏈上，保證準(zhǔn)確性與可追蹤性，這樣一來，可以在執(zhí)行領(lǐng)域減少司法成本。

rr

3.智能法律帶領(lǐng)科技創(chuàng)新

rr

這一系列法律改革需要大量的科技，例如需要區(qū)塊鏈互鏈網(wǎng)和監(jiān)管網(wǎng)，除此之外，還需要人工智能（包括認(rèn)知計算、本體）及大數(shù)據(jù)等。但在公檢法上，數(shù)據(jù)的正確性沒有被更改過是非常重要的。因?yàn)闀性S多的鏈（鏈滿天下），鏈不但要和其他鏈合作，還要檢驗(yàn)和查驗(yàn)其他鏈的行為和評價。一個公檢法的鏈不可能用另外一條弱鏈或是偽鏈的數(shù)據(jù)，因?yàn)楹ε聰?shù)據(jù)被更改過。偽鏈因?yàn)橛兄行目刂?，中心被控制，其他?jié)點(diǎn)可以有共識，但被共識的數(shù)據(jù)還可能是更改過的，因?yàn)閿?shù)據(jù)在中心節(jié)點(diǎn)改過，其他節(jié)點(diǎn)都會收到一致但是錯誤的信息，這些信息也會通過共識機(jī)制，而且會被放在區(qū)塊鏈上面。一條真鏈如果和偽鏈交互，后續(xù)發(fā)現(xiàn)數(shù)據(jù)不正確，真鏈會有法律責(zé)任，客戶會問為什么要使用偽鏈數(shù)據(jù)。為了避免這種風(fēng)險，真鏈會拒絕和偽鏈交互和交易。

rr

在區(qū)塊鏈互鏈網(wǎng)的環(huán)境下，鏈的性能、功能和安全性非常重要，鏈和鏈交互和交易協(xié)議很重要，需要一個新的基礎(chǔ)設(shè)施，會帶動一個新的區(qū)塊鏈技術(shù)發(fā)展，也是中國的一個巨大機(jī)會。例如Oracle的信息輸入機(jī)制、身份認(rèn)證、法規(guī)形式化和案例形式化等都會在中國法界帶動新科技，這些會帶動中國在安全、軟件工程、人工智能、大數(shù)據(jù)以及區(qū)塊鏈等領(lǐng)域的發(fā)展。

rr

4.科技將改變法律職業(yè)

rr

科技的不斷前進(jìn)給法學(xué)界帶來的一個憂慮是，法學(xué)相關(guān)職業(yè)——法學(xué)家、法官、檢察官和律師等是不是會被人工智能取代？

rr

2013年的一篇文獻(xiàn)中，研究者把702項職業(yè)劃分為低度技能、中度技能和重度技能三類。其中，法律助理與貨車駕駛員，屬于即將消失的工作，失業(yè)率高達(dá)94%。2017年6月摩根斯坦利公司運(yùn)用的合同智能（Contract Intelligence）軟件，每年可以省下36萬個小時的律師服務(wù)，還能降低合同的出錯率。這就意味著，會被取代的是較為機(jī)械性和重復(fù)性的法律工作，比如格式合同的撰寫與編輯，法律檢索，合同管理，案件預(yù)測等，大多都可以通過人工智能、大數(shù)據(jù)和區(qū)塊鏈等來完成。而做這些工作的大多是律師助理，他們成了潛在的失業(yè)群體，當(dāng)大部分法律工作可以被機(jī)器替代完成時，律師的數(shù)量也可能會減少。

rr

但是，不管科技如何進(jìn)步，法學(xué)家、律師、法官和檢察官等法律從業(yè)者不會完全被取代或者消失。機(jī)器畢竟不具有社會智能（Social Intelligence），機(jī)器可以做的是將法律從業(yè)者從煩瑣的事務(wù)中解放出來，不再耗時于格式化的服務(wù)。從而法律人可以專注于個案在法律適用上的特殊性，尤其涉及價值判斷與邏輯說理相結(jié)合時，機(jī)器很難替代人做到，這恰恰也是法官、律師和法學(xué)家等人的價值所在。其次，利用AI和大數(shù)據(jù)等對案件進(jìn)行判斷，或者說對法律進(jìn)行分析等，只是手段，不是學(xué)術(shù)目標(biāo)，因此無法替代法學(xué)研究，法學(xué)家也不會失去其應(yīng)有的價值。最后，法律的目的在于維持社會秩序，并通過社會秩序的構(gòu)建與維護(hù)，實(shí)現(xiàn)社會公正。這需要法律人的不懈努力，需要人的同理心、思想和情感，而科技無法直接實(shí)現(xiàn)該目標(biāo)，但是法律人卻可以利用科技為手段來促進(jìn)目標(biāo)的實(shí)現(xiàn)。

rr

因此說，科技的發(fā)展不會完全取代所有的法律從業(yè)者，但是卻會給法律人提出更高的要求。這反過來也會促進(jìn)法律教育的精英化。未來的法學(xué)院畢業(yè)生應(yīng)該是懂得科技并且會熟練運(yùn)用科技（人工智能、大數(shù)據(jù)、區(qū)塊鏈等）的人才，但不一定都懂編程或者開發(fā)軟件。就如同社會上有很多人會開車，會坐車，但不是需要每個人都去制造和設(shè)計車子。所以說，開發(fā)人工智能、區(qū)塊鏈和大數(shù)據(jù)的是一類人，使用和解釋這些技術(shù)的可以是另外一類人。對于這些高科技，對其的使用和解釋也是一門學(xué)問。當(dāng)然該過程可能要幾十年，甚至更久，但改變終將到來。

rr

本章總結(jié)

rr

誠然，中國夢無法一蹴而就，法律自動執(zhí)行之夢的實(shí)現(xiàn)也需要經(jīng)歷漫漫長路。而該夢實(shí)現(xiàn)的前提是要甄別適用性。很多情況適合將法律進(jìn)行自動執(zhí)行，一來可以減少成本，增加社會運(yùn)行效率。也有很多情況需要人的因素來做決定，過度的人工智能反而不適用或者使成本增加。這就要求科技和法律的結(jié)合要“因地制宜”，把好鋼用在刀刃上才能帶來最有效的革新和進(jìn)步。

rr

法律的自動執(zhí)行和過去法律和計算機(jī)結(jié)合的區(qū)別是，以前兩者的結(jié)合只是用于分析及做可視化用途，比如進(jìn)行法律檢索、法律判決以及預(yù)測分析等，而法律的自動執(zhí)行卻可以進(jìn)入到法律執(zhí)行領(lǐng)域。以前的法律是一個靜態(tài)的形式，而未來卻將法律相對動態(tài)化，改變整個法學(xué)研究、法律制度構(gòu)建和法律的實(shí)踐。夢很大很遠(yuǎn)，甚至需要幾十年的不斷探索和嘗試，但卻是未來最有價值的發(fā)展方向。

rr

最后，借用一句康德的名言：“人是目的，不是工具?！比暨\(yùn)用好科技這個工具，則可以更好地為人類服務(wù)。

rr

參考文獻(xiàn)

rr

[1]蔡維德：《區(qū)塊鏈助力實(shí)現(xiàn)中國夢引領(lǐng)中國科技再進(jìn)步，金融界》，2018年9月28日。

rr

[2]蔡維德：區(qū)塊鏈的中國夢之二：鏈滿天下打造數(shù)字社會，2018年9月28日。

rr

[3]Mechanization of Thought Processes：Proceedings of a Symposium Held at the National Physical Laboratory on 24th，25th，26th and 27th November 1958.London：Her Majesty’s Stationery Office，1959.Print.

rr

[4]Author Daniel Martin Katz, The Future of Law School Innovation （Conference@ColoradoLaw）Computational Legal StudiesTM（2014），https://computationallegalstudies.com/2014/04/17/the-future-of-law-school-innovation-conference-coloradolaw/（last visited Sep 27，2018）.

rr

[5]TheWhiteHouseOfficeofthePressSecretary，

rr

Executive Order Making Open And Machine Readable The New Default For Governmentinformation.

rr

[6]清華大學(xué)法學(xué)院，清華大學(xué)首屆“計算法學(xué)”主題夏令營圓滿舉行，http://www.tsinghua.edu.cn/publish/law/3566/2018/20180716144310660990896/2 0180716144310660990896_.html（last visited Sep 27，2018）。

rr

[7]李尊：《一張圖帶你看懂IBM Waston的工作原理|雷鋒網(wǎng)（2016）》，見https://www.leiphone.com/news/201607/FOeUS5Wo5gIFMvwJ.html （last visited Sep27，2018）。

rr

[8]Andrew Arruda, LegalResearch Reimagined：The New ROSS ROSSIntelligence（2018），

rr

https://rossintelligence.com/legal-research-tool-new-ross/（last visited Sep27，2018）.

rr

[9]Christopher D Clack, Vikram A BakshiLee Braine, SmartContract Templates：foundations, design landscape and research directions，15.

rr

[10]Eliza Mik, Smart contracts：terminology, technicallimitations and real world complexity, LawInnov.Technol.1-32（2017）.

rr

[11]Carl Benedikt FreyMichael A.Osborne, The future ofemployment：How susceptible are jobs to computerisation?，114 Technol.Forecast.Soc.Change 254-280（2017）.

rr

[12]JPMorgan Software Does in Seconds What Took Lawyers360，000 Hours, Bloomberg.com.

rr

[13]稅兵，超越民法的民法解釋學(xué)（2edition ed.2018）。

rrr