最近的幾年，區塊鏈技術發展的很快，感覺轉眼間代幣經濟已經從電子貨幣變成了基礎設施。典型的表現就是前幾年在市值前十中的支付幣，現在都逐漸逐漸被公有鏈的代幣所取代，以前的LTC、XMR、Dash，現在的EOS、ADA、NEO，區塊鏈技術的革新日新月異，功能賦予在區塊鏈從比特幣抽出來之後延展得很快，也越加變得豐富。

首先，小編為你們講解一下區塊鏈智慧合約這個問題。要想安全可靠地寫一個區塊鏈智慧合約，智慧合約語言必須進 一步縮減功能，加入很多約束條件。跟律師打過交道的都知道，合同一般分類是有範本的，律師從來不願意從頭起草，而是在範本的基礎上修改新增合約。這就是因為範本提供了很多約束條件，經歷過時間的考驗和不斷的更新，不容易犯錯誤。律師的範本就類似高階程式語言設計中的 type 和 pattern。前段時間以太坊上的 DAO 出現被攻擊的事件，就是因為合約程式碼中的錯誤。所以說，對於寫區塊鏈智慧合約的程式語言來說，少反而是多。另外，真正要設計一個區塊鏈智慧合約的語言，恐怕從一開始就要考慮如何結合形式驗證(formal verification) 技術來證明每個合約的正確性，把可證明性(verifiability或 provability)設計到語言的結構內，這對於任何一個公司任何一個技術來說都是一個挑戰，不過這個挑戰對於yunbao技術人員來說，並不是什麼難事，都是專業技術人員出身，從事過很多大的專案開發，開發區塊鏈智慧合約來說很簡單。

區塊鏈智慧合約的發展，被比作新一代網際網路。從原則上講，要真正借鑑網際網路成功發展幾十年的經驗，而不是簡單照著 web 1.0 的方式搞各種炒作。今後的正確發展方向是把網際網路成功的精髓在區塊鏈領域發揚光大。要做到這一點，需要紮實的知識背景，強大的研究功力，和豐富的實戰經驗。