智慧型合約(smart contract )是一種旨在以資訊化方式傳播、驗證或執行合同的計算機協議。智慧型合約允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。
什麼意思呢?我們舉個例子:
比如甲和乙打賭一場球賽的輸贏,結果甲贏了,而乙卻反悔了,不願意付錢。按照傳統的合約,可能甲只能去法院起訴乙。而這個週期又包含了起訴,立案,宣判,執行階段。
而通過智慧型合約,在打賭前雙方吧賭資充到智慧型合約系統,無論哪一方輸贏,智慧型合約系統就會按照程式進行撥款。
智慧型合約相當於在計算機系統中構建乙份參與方均可讀的合同。當某一事件觸發就會立即執行,自動把錢交給贏了的人。
智慧型合約適用於各種情況。它可以是金融服務、眾籌協議、保險費、違約合同、信貸執法等等。
智慧型合約並不是一定要依賴於區塊鏈來實現,但是區塊鏈的去中心化,資料的防篡改,決定了智慧型合約更加適合於在區塊鏈上來實現。
區塊鏈解決了『智慧型合約』的信任問題。
『智慧型合約』的出現可能對商業合作是乙個很大的顛覆。例如之前的商業合作需要第三方公信機構的參與或者需要第三方的擔保。而基於區塊鏈『智慧型合約』的出現大大減少了人工的參與。如擔保,審計,核驗等等。
關於智慧型合約,最初是由一位跨領域法律學者尼克薩博提出,他把智慧型合約定義為一套以數字形式定義的承諾,包括合約參與方可以在計算機系統上執行這些承諾的協議。
從這位學者給出的定義可以看出,智慧型合約的提出其實與區塊鏈沒有必然聯絡,它是使用傳統的計算機技術也可以實現自動交易的合約。
日常所用的信用卡還款功能也可以認為是智慧型合約思想的應用。然而,關於智慧型合約的理論實踐,在傳統計算機技術中並沒有得到廣泛應用。
在傳統計算機技術中使用智慧型合約的侷限背景:
對於現實社會中的合約,需要得到參與雙方的簽認後才可認為正式生效,合同中的雙方必須彼此信任並履行義務。而對於智慧型合約而言,合約是以**的形式呈現,它的是否執行與事件是否達成觸發條件直接相關,即使交易雙方互不信任,也不影響合約的生效執行。
然而,對於傳統計算機技術而言,這裡會存在乙個問題,**存在著被篡改或者被黑客攻擊的風險。一旦篡改或攻擊成功,由於最重要的證據由交易雙方計算機系統中保留,想要舉證的難度是非常大的。
因此不難理解,關於智慧型合約如何工作的理論,利用傳統計算機技術為什麼並沒有得到廣泛應用。
歸其原因主要是由於信任問題沒有被解決,僅靠電腦程式不能真正觸發合約的執行,因為可能還離不開人工的評判與批准。直到位元幣的出現及廣泛應用,智慧型合約理論的實踐迎來了曙光。
智慧型合約目前雖然處於初級發展階段,但潛力無限,它將會改變我們的生活。未來,智慧型合約需要新的法律法規約束以保障智慧型合約的法律效力。智慧型合約不僅會影響到合同法,而且影響力會擴充套件到整個社會的其它社會性契約。
CS 區塊鏈 智慧型合約
和雲計算相似,占用區塊鏈的資源 不管是簡單的轉賬交易,還是合約的部署和執行 同樣需要付出相應的費用。以太坊上用gas機制來計費,gas也可以認為是乙個工作量單位,智慧型合約越複雜 計算步驟的數量和型別,占用的記憶體等 用來完成執行就需要越多gas。gas 由執行合約的人在提交執行合約請求的時候規定,...
區塊鏈學習筆記 智慧型合約
智慧型合約這個詞首次出現的時間是在1994年由尼克薩博提出的概念。而尼克薩博所提出的智慧型合約的概念是這樣描述 乙個智慧型合約是一套以數字形式定義的約定,包括合約參與方可以在上面執行這些約定的協議。智慧型合約的基本思想是,各種各樣的合約條款可以嵌入到我們使用的硬體和軟體中從而使得攻擊者需要很大的代價...
區塊鏈智慧型合約開發小記
使用 python和 solidity語言,drf框架開發智慧型合約的一些踩坑記錄。compile source和compile standard方法都無法import 檔案進行編譯,提示找不到檔案,使用compile files方法吧。compile files 方法裡面合約路徑不能有冒號,使用相...