时艳强：胡教授您很早就提出了智能合约工程（SCE），您可以给大家分享一下什么是智能合约工程？目前有哪些研究方向？取得了什么成果或者有何进展？
胡凯：回答布洛克科技【时点对话】第三问。这个要从软件工程开始说起，为什么会诞生软件工程呢？在60年代中期，爆发了软件危机，也就是软件的规模化生产以及软件的可靠性成为软件发展的制约性因素。在1983年，软件工程就提出了七条基本原理，包括从语言、数据库到开发工具、平台等方面的定义，它在给定的成本和进度下要求开发出具有适用性、可修改性、可靠性、可维护性等十余个属性的可靠软件。
目前的智能合约也处在一个初期的过程。首先我们认为智能合约是一个软件，但智能合约又是一个特殊的软件。我们研究智能合约的属性，给它定义了十个有别于其他软件的一些属性，比如说智能合约需要有合法性、证据性、一致性、智能性、可信性、可观察性等智能合约作为一个特殊软件的属性。
自从智能合约诞生以来，就发生了很多不可信事件，包括2016年6月的the DAO事件，2018年4月22日到25日，几个公链发生的重大漏洞事件，给客户带来了巨大的经济损失，这是智能合约作为一个特殊软件的特殊属性。因此我们在2017年初，就提出了一个智能合约工程的概念。智能合约工程是融合软件工程、复合验证方法和计算法律的智能合约系统化、规模化的开发过程. 就是要解决智能合约可信化、规模化生产问题。
我们目前的工作包括对智能合约的形式化验证、并行模型、一致性测试、基于模板和
人工智能的合约生成、自动部署和运行、以及法律代码化等一些方面，力图构建一个完整的智能合约工程体系。
【时点对话·第四问】
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
