隨著比特幣等加密數字貨幣的快速發展和區塊鏈技術在諸如金融、云計算等行業的廣闊前景,現在智能合約在區塊鏈上更是得到了廣泛的應用。
智能合約(smart contract)這一概念最早由 Nick Szabo于1995 年首次提出,在當時智能合約被定義為“一個智能合約是一套以數字形式定義的承諾(commitment),包括合約參與方可以在上面執行這些承諾的協議。”
如今智能合約有了更全面、更準確的定義,所謂的智能合同是一種旨在以信息化方式傳播、驗證或執行合同的計算機協議。智能合約允許在沒有第三方的情況下進行可信交易,這些交易可追蹤且不可逆轉。智能合約的目的是提供優于傳統合約的安全方法,并減少與合約相關的其他交易成本。
鑒于智能合約的去中心化特性以及合約本身的性質,一般把區塊鏈智能合約分為以下三類:
動態 | 阿里公益平臺將使用區塊鏈技術讓公益時可記錄、可分享、可激勵:據阿里巴巴集團方面介紹,用戶在互聯網上的愛心捐贈、捐步、種樹等公益行為都有了統一的價值量化標準——公益時。這些公益時不僅可以用于兌換試點城市“時間銀行”的養老服務,公益時用戶還可以獲得免費使用機場貴賓廳、免費領取志愿者保險、免費體檢等日益增加的權益。阿里巴巴3小時公益平臺還將使用區塊鏈技術,讓公益時可記錄、可分享、可激勵。(新華網)[2019/12/24]
1、以太坊(Ethereum)
這是一個開源并且通用的具有智能合約功能的公共區塊鏈平臺。通過其專用加密貨幣以太幣(Ether,ETH),及以太坊虛擬機(ethereum virtual machine)來處理點對點合約。以太坊可以用來創建去中心化的程序、自治組織和智能合約,應用目標涵蓋多個領域。這也是目前最為大眾所熟悉的智能合約
動態 | Artbloc將向公眾出售高端藝術品基于區塊鏈的部分所有權:韓國初創公司Artbloc將向公眾出售高端藝術品基于區塊鏈的部分所有權。據報道,Artbloc本月收購了David Hockney的兩件作品,將為兩個作品分別發行8500個及5000個代幣,每個代幣的定價為9900韓元(8.18美元)。這些代幣將使用以太坊進行記錄,并可以私下交易或通過平臺進行交易。[2019/8/31]
2、Hyperledger Fabric
這是一個模塊化并且開源的企業級許可分布式賬本技術(distributed ledger technology,DLT)平臺,旨在用于企業環境中,它主要提供了支持不同組件的可插入實現和創建通道等功能。
3、Enterprise Operation System(EOS)
動態 | 美國陸軍的空間和地面通信局尋求通過區塊鏈來檢查通信數據中的漏洞和網絡安全問題:據i-hls報道,美國陸軍的空間和地面通信局(S&TCD)正在尋求通過區塊鏈來檢查通信數據中的漏洞和網絡安全問題。該解決方案必須包括基于機器學習的服務,該服務可跟蹤和阻止惡意的結構化和非結構化消息。[2019/6/9]
EOS是一個商用分布式應用設計的區塊鏈底層公鏈操作系統,目的是解決現有的區塊鏈應用性能低、安全性差、開發難度高以及過度依賴手續費的問題,并實現分布式應用的性能擴展。
以最常見的以太坊為例,在以太坊白皮書里是這樣解釋智能合約的:
在以太坊里,有兩種實體可以發起和接收交易:真實的人(或者軟件機器人,因為密碼協議是不能區分這兩者的)與合約。合約事實上可以看成是活在以太坊網絡上的自動化代理人,它有以太坊的地址以及賬戶金額,可以發送和接收交易。每當有人向合約發送交易后,它就被激活了,然后就開始運行它自己的程序,例如改變它自己的內部狀態或者甚至放送一些交易,完成后它又休息了。合約自身的程序由特殊的低級語言寫成,包括用來暫時存儲的堆棧、用來暫時存儲的內存輸入項、以及用來存儲合約永久狀態的存儲輸入項。
2018區塊鏈項目融資加速 兩個月融資額達3.75億美元:2017年區塊鏈相關的融資記錄為9億美元,今年前兩個月相關項目獲得傳統渠道融資數額已經達到3.75億美元,融資的輪次包括可轉換債券的種子輪、天使輪、A輪、B輪等。據Crunchbase的數據統計共記錄了527筆由比特幣、以太幣、區塊鏈以及虛擬貨幣公司所籌集的風險投資和ICO。[2018/3/6]
簡單概括就是以太坊的智能合約首先是一組計算機代碼,其核心內容是算法。這種算法通過代碼體現出來,反映的則是現實世界的合約和規則。以太坊的智能合約通常運行在區塊鏈賬本上,由相關事件進行驅動,通過事件產生一定的觸發條件,進而運行智能合約。隨后通過運行智能合約,鏈上狀態得以改變,最終實現數字資產交易的目的
從合同法角度來看,這類智能合約是有效力的。
區塊鏈創業公司TenX聯合創始人Julian Hosp博士:比特幣在2018年的上行潛力高達150%:區塊鏈創業公司TenX聯合創始人Julian Hosp博士稱,比特幣在2018年的上行潛力高達150%。[2018/2/23]
我國《民法典》第四百六十九條規定了合同具體形式,
“當事人訂立合同,可以采用書面形式、口頭形式或者其他形式。書面形式是合同書、信件、電報、電傳、傳真等可以有形地表現所載內容的形式。以電子數據交換、電子郵件等方式能夠有形地表現所載內容,并可以隨時調取查用的數據電文,視為書面形式。”
《民法典》第一百四十三條規定,
“具備下列條件的民事法律行為有效:
(一)行為人具有相應的民事行為能力;
(二)意思表示真實;
(三)不違反法律、行政法規的強制性規定,不違背公序良俗。”
我國《電子簽名法》第五條對于電子數據形式作出規定,
“符合下列條件的數據電文,視為滿足法律、法規規定的原件形式要求:
(一)能夠有效地表現所載內容并可供隨時調取查用;
(二)能夠可靠地保證自最終形成時起,內容保持完整、未被更改。但是,在數據電文上增加背書以及數據交換、儲存和顯示過程中發生的形式變化不影響數據電文的完整性。”
第六條對于電子數據保存要求作出規定,
“符合下列條件的數據電文,視為滿足法律、法規規定的文件保存要求:
(二)數據電文的格式與其生成、發送或者接收時的格式相同,或者格式不相同但是能夠準確表現原來生成、發送或者接收的內容;
(三)能夠識別數據電文的發件人、收件人以及發送、接收的時間。
”基于上述法律規定,以太坊區塊鏈上的智能合約符合合同所要求的法定形式,屬于電子數據交換形式在以太坊區塊鏈上的有形表面內容,可以隨時調取查用,因此符合書面的要求。
而前述分析可以看出以太坊智能合約是以公開源代碼的形式部署于以太坊區塊鏈中,其程序和運行結果是可以預見的,也可以進一步推斷行為人具有相應的民事行為能力,只要意思表示真實的,除非有相反的證據足以推翻,該類智能合同就是有效的。
但是智能合約也有其缺陷,最明顯且最不可避免的缺點就是代碼漏洞。計算機代碼由人類編寫,可以減少漏洞但要做到完全無漏洞幾乎不可能,比如之前引起以太幣市場劇烈波動的THEDAO被攻擊事件就是這種漏洞極為典型的例子。
學術界也有數據指出?
“將近 100萬份智能合約進行每份10秒分析時間的分析后發現,這其中有34200份智能合約很容易受到黑客攻擊,其中2365份有明顯漏洞。”
因此,智能合約安全審計是非常有必要的。目前大多數加密貨幣服務商都采用了智能合約安全審計以規避代碼漏洞風險。在智能合約上線運行前,由專業的區塊鏈安全服務商對智能合約的安全性進行審查,評估是否存在安全漏洞,并出具報告。
需要注意的是,安全審計只是有效降低風險的方法但并不能完全避免代碼漏洞,即使是最專業的安全審計人員,也不可能在有限時間內窮盡發現所有漏洞。
不可否認,智能合約對于豐富、活躍金融市場具有一定的積極意義,但還是一項需要完善的新興技術。相信如果有足夠的時間發展,智能合約在將來會大有作為。
References
?《以太坊:下一代智能合約和去中心化應用平臺》
計算機應用研究 Application Research of Computers ISSN 1001-3695,CN 51-1196/TP
6月24日,以太坊測試網開啟了倫敦升級,一天內就在ETH2.0上質押了10萬枚以太坊,價值約2億美元,倫敦升級的開啟意味著ETH2.0的到來也越來越近了.
1900/1/1 0:00:00現階段,各地數字人民幣試點在如火如荼地推進中,應用場景日趨豐富,不少用戶已體驗了數字人民幣支付。最新數據顯示,數字人民幣白名單用戶已達1000萬.
1900/1/1 0:00:00在藍狐筆記之前的文章中,多次提到DeFi的下一步重點在于資產效率的提升。這從Uniswap、Curve等多個協議的迭代中可以看到這個趨勢.
1900/1/1 0:00:00從最早的Crypto Punk到云吸貓游戲CryptoKitties,從爆紅出圈的NBA Topshot到以6900萬美元天價拍出的Beeple的畫作「每一天:前5000天」.
1900/1/1 0:00:00兼容EVM又高效安全的zkSync有何潛力?zkSync是Matter Labs 開發的Layer 2擴容方案,基于零知識證明運行,同時強調一流的用戶及開發者體驗.
1900/1/1 0:00:00Hi,小伙伴們! 這是一個百年未有之大變局,也是一個充滿機遇的時代。變什么?機遇是什么?很多人都想知道。我們今天試著通過將天象、互聯網以及DeFi等聯系起來看看這條隱藏的通關之路究竟是什么.
1900/1/1 0:00:00