捕获科技:科普|智能合约的本质、问题、应用及发展之路

2019-11-13

有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么智能合约到底是什么?存在哪些问题,目前的应用和未来发展之路在哪里?下面广州区块链开发公司捕获科技专家给你答案。

1.  智能合约的起源和意义

近年来区块链成为大热门技术,作为一门应用技术,其迅猛的发展和热潮是罕见的,为什么会受到社会各阶层人士的关注呢?有很多分析和认识,但笔者认为最重要的原因有二个,一是区块链并不是一门单独的技术,它不仅是包含了很多技术的融合,更是涉及社会治理模式和思维改变的思想性技术,这种思想性技术会促使人们创新、产生技术革命;第二就是区块链技术迎合了当前社会重要的发展大潮,那就是人类社会向数字化社会发展过程中(Gartner报告2016),未来如何把实体社会人们生活的模式、信用、法律甚至文化等依存关系转移到虚拟世界上是技术和社会治理面临的巨大挑战(Grand Challenge)问题,而区块链相关技术正是迎合这个大潮的重要技术之一。

2.  智能合约的定义

智能合约有许多非形式化的定义,这里列举几个供大家从不同角度去理解智能合约的本质内涵和意义:

1) 智能合约通过使用协议和用户接口来促进合约的执行(尼克.萨博);

2) 智能合约就是用程序代码编写的合约,它的条款由程序来执行(Mark S. Miller);

3) 智能合约就是基于区块链的可直接控制数字资产的程序。(Ethereum)

4) 智能合约是运行在可复制、共享账本上的计算机程序,可以处理信息,接收、储存和发送价值。

5) 智能合约是一段代码,被部署在分享的、复制的账本上,它可以维持自己的状态,控制自己的资产和对接收到的外界信息或者资产进行回应。

总的来说,一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。

 3. 智能合约的问题与解决之道

应该说,目前区块链上的智能合约还处于技术早期阶段,是不成熟、不安全的和不智能的,更没有形成理论体系,还不能大规模够满足应用的需求,主要问题有:

1) 智能合约规模化产生问题:和软件发展过程一样,可以预计智能合约是需要规模化生产应用的,如何规模化生产可信智能合约是个大问题,笔者提出的智能合约工程正是未雨绸缪的理论;

2) 智能合约公信编写问题:作为一种代码合约,和文本协议很大的不同在于,如何公信编写,谁来验证、测试?合约当事方显然是不合适的,一般的第三方也很难有公信立场,建立公信生产机制是发展的关键;

3)智能合约的可信问题:由于智能合约是管理巨大数字资产的特殊软件,软件bug的问题目前非常突出,软件陷阱会导致明显地有利于合约的一方,该怎样进行对合约进行查验和修复?如何验证合约的逻辑正确并杜绝漏洞?形式化方法是目前软件可信性验证的重要手段, 避免类似于由于代码本身漏洞给黑客攻击的机会;

4) 智能合约的智能化问题:目前基本是简单合约,或固定的合约模板,智能合约的语言、编写、部署、审计、自动辅助工具、动态修改都会是全新的模式,与人工智能技术结合是研究趋势;

5) 合法性问题:智能合约具有与“真正”合约一样的法律效力吗?如果智能合约的结果违背法律,或者法庭发现它有与合约法冲突该如何解决?计算法律学只是研究法律化的问题,而笔者提出法律代码科技,要解决代码即法律问题;

6) 智能合约执行问题:存在多个合约需要时间触发的时候,待触发事件由谁管理与发送?如果多个合约同时执行,会带来复杂的访问控制、同步并发以及一致性问题;

7) 性能问题:把合约状态的一致性过程与区块链的一致性过程区别处理,有可能会增加区块的制作时间,比如区块的构造时间就包含了区块中交易的处理时间,减慢了建块速度,该如何加快合约执行效率?

     4. 智能合约发展

捕获科技专家预测智能合约的发展也可以分为三代:

第一代是目前用的比较多的简单的链上代码(IBM)称为链上代码,大多是目前以太坊上项目中简单的IF-THEN-ELSE语句的合约,只是一些简单流程性的代码,没有什么复杂性逻辑和智能内容;

第二代是已经或将要广泛应用的契约型的智能合约,表达契约关系的代码。比如说购物的合约、出租的合约、医患关系、保险关系、追溯等的合约,有一定的承诺和约定的智能表达,这些我们可以通过律师或者现成的契约模板,把这些模板转换为代码形成智能合约;

第三代将是智能合约的高级或智能时代,表现为代码即法律合约:具有存证和判据,符合法律规制或法律规则的代码化,是更智能,更高级的合约,专家认为也是智能合约的最有前途的发展。


以上就是广州捕获科技专家的分享,欢迎大家前来咨询,我们将24小时竭诚为您服务!
      广州捕获信息科技有限公司,是国内前三的互联网技术研发管家,也是广州知名的互联网技术研发高新科技企业。我们是一家专注创新理念、价值投资、产业结合的创新型科技企业,专业成熟的区块链技技术研发团队。旗下区块链云平台为企业提供区块链钱包、区块链商城、DApps、区块链交易系统、多功能区块链应用研发与区块链经济运行整体解决方案,区别于传统的商业模式,打造科技创新商业关系,搭建完整的生态结构。帮助更多企业抓住时代的机会,实现自身产业经济增长。
      如有需要请联系我们,我们以专业的技术承接各种区块链定制开发,以优厚的价格达到客户满意的效果。我们承诺:只要您有想法,互联网技术我们来帮您实现,您正好需要,我们刚好专业 。

咨询热线:13128674242(王生)17675604797(刘生)


相关新闻

新闻&案例

新闻动态
行业资讯

关于我们

公司简介
联系我们

联系方式

电话:020-22954640
微信:13265307814
邮件:service@buhuokeji.com
QQ:1663714047

开发合作扫我

关注公众号