智能合約是干什么用的
一、前言
自從2009年第一枚比特幣誕生,九年多時(shí)間里,區(qū)塊鏈技術(shù)正在被應(yīng)用在人們生活的各方各面,從1.0時(shí)代的數(shù)字貨幣,到2.0時(shí)代的智能合約,再到當(dāng)下3.0時(shí)代的全面應(yīng)用,區(qū)塊鏈每一次時(shí)代躍遷都必然具有劃時(shí)代意義。
今天主要聊一聊區(qū)塊鏈2.0時(shí)代的智能合約。相信幣圈大多數(shù)投資者們都或多或少了解智能合約,但是可能也存在不少所謂的“投機(jī)者”只關(guān)心炒幣,懶得去關(guān)心這些底層技術(shù);可是從長(zhǎng)遠(yuǎn)來看,不論你是投機(jī)還是投資都應(yīng)該了解并學(xué)習(xí)它。
二、智能合約
智能合約(smart contract)是由尼克?薩博(Nick Szabo)提出來的。他的定義是“一個(gè)智能合約是一套以數(shù)字形式定義的承諾(promises) ,包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議?!?/p>
簡(jiǎn)單來說,智能合約是一個(gè)事務(wù)處理模塊和狀態(tài)機(jī)構(gòu)成的系統(tǒng),它的存在是為了讓復(fù)雜、帶有觸發(fā)條件的數(shù)字化承諾能夠按參與者意愿正確執(zhí)行
三、智能合約的實(shí)現(xiàn)方法
實(shí)現(xiàn)智能合約就需要“圖靈完備”的計(jì)算機(jī)編程語言?!皥D靈完備”這個(gè)詞大家似乎了解的不多,可以簡(jiǎn)單地理解為能把世間一切可以計(jì)算解決的問題都計(jì)算出來的,這樣的一種虛擬機(jī)或者編程語言就叫圖靈完備。
舉一個(gè)不太精確但是很容易理解的例子說明一下:比如兩口做飯的鍋,一口鍋可以實(shí)現(xiàn)一切的烹飪方法煎、炒、蒸、燉、炸、汆、涮、鹵等,而另外的一口鍋則只能實(shí)現(xiàn)蒸和燉,其他的都不能實(shí)現(xiàn),那么前者就是圖靈完備的,后者則不是。
智能合約之所以可以在以太坊上完美應(yīng)用,就是因?yàn)橐蕴辉谄鋮^(qū)塊鏈上提供了一種近乎圖靈完備的計(jì)算環(huán)境。只要是編程語言能夠?qū)崿F(xiàn)的計(jì)算,其都能支持,這也為智能合約在更加廣泛的環(huán)境中得以應(yīng)用堅(jiān)實(shí)了基礎(chǔ)。
四、智能合約的作用
沒有提供智能合約功能之前,區(qū)塊鏈技術(shù)的應(yīng)用范圍還僅限于電子現(xiàn)金領(lǐng)域,有了智能合約區(qū)塊鏈技術(shù)廣泛應(yīng)用成為可能,因?yàn)閰^(qū)塊鏈上的智能合約一旦寫入就不能被篡改,而且任何人都無法干預(yù)它自動(dòng)執(zhí)行,所以如果用智能合約來替代人的履約行為,可想而知信任成本會(huì)大幅下降,交易行為達(dá)成效率會(huì)大為改善,這對(duì)現(xiàn)實(shí)生活的改變將會(huì)是廣泛的、全面的,畢竟我們生活的世界全靠信任工具維系。
舉個(gè)例子:外匯贈(zèng)金http://www.kaifx.cn/question/kaifx/1792.html將一個(gè)農(nóng)作物收成保險(xiǎn)業(yè)務(wù)寫成智能合約,合同約定當(dāng)連續(xù)60天不下雨情況發(fā)生時(shí),保險(xiǎn)公司支付理賠款。保險(xiǎn)公司在區(qū)塊鏈上建立這樣一個(gè)智能合約,代碼設(shè)定自動(dòng)從天氣信息網(wǎng)站搜索天氣信息,當(dāng)數(shù)據(jù)達(dá)到指標(biāo),代碼自動(dòng)執(zhí)行資金轉(zhuǎn)賬,執(zhí)行理賠,整個(gè)過程不需要人參與,沒有保險(xiǎn)理賠申請(qǐng)、沒有現(xiàn)場(chǎng)勘查、沒有審批流程、不需要投保人跑來跑去和耐心等待??赡苣阌X得傳統(tǒng)的技術(shù)也能做到,但是你是否意識(shí)到如果可以這樣,那保險(xiǎn)公司的作用是不是被削弱了,如果我們想不用保險(xiǎn)公司來做個(gè)事,而是用戶自發(fā)組織來做,那就會(huì)面臨缺少信任工具的問題,只有運(yùn)行在區(qū)塊鏈上的智能合約才能解決這個(gè)問題,這個(gè)作物保險(xiǎn)智能合約就是區(qū)塊鏈制造的信任工具。理論上任何人都可以開發(fā)類似的智能合約,只要滿足保險(xiǎn)產(chǎn)品的風(fēng)控邏輯即可達(dá)成。