最近的几年，区块链技术发展的很快，感觉转眼间代币经济已经从电子货币变成了基础设施。典型的表现就是前几年在市值前十中的支付币，现在都逐渐逐渐被公有链的代币所取代，以前的LTC、XMR、Dash，现在的EOS、ADA、NEO，区块链技术的革新日新月异，功能赋予在区块链从比特币抽出来之后延展得很快，也越加变得丰富。
首先，小编为你们讲解一下区块链智能合约这个问题。要想安全可靠地写一个区块链智能合约，智能合约语言必须进 一步缩减功能，加入很多约束条件。跟律师打过交道的都知道，合同一般分类是有范本的，律师从来不愿意从头起草，而是在范本的基础上修改添加合约。这就是因为范本提供了很多约束条件，经历过时间的考验和不断的更新，不容易犯错误。律师的范本就类似高级程序语言设计中的 type 和 pattern。前段时间以太坊上的 DAO 出现被攻击的事件，就是因为合约代码中的错误。所以说，对于写区块链智能合约的程序语言来说，少反而是多。另外，真正要设计一个区块链智能合约的语言，恐怕从一开始就要考虑如何结合形式验证(formal verification) 技术来证明每个合约的正确性，把可证明性(verifiability或 provability)设计到语言的结构内，这对于任何一个公司任何一个技术来说都是一个挑战，不过这个挑战对于yunbao技术人员来说，并不是什么难事，都是专业技术人员出身，从事过很多大的项目开发，开发区块链智能合约来说很简单。
区块链智能合约的发展，被比作新一代互联网。从原则上讲，要真正借鉴互联网成功发展几十年的经验，而不是简单照着 web 1.0 的方式搞各种炒作。今后的正确发展方向是把互联网成功的精髓在区块链领域发扬光大。要做到这一点，需要扎实的知识背景，强大的研究功力，和丰富的实战经验。