时艳强对话胡凯:智能合约距离智能还有多远

对话时间:9月26日18:00微信社群:布洛克-北京-078对话嘉宾:胡凯北航计算机学院教授北航分布式与移动计算实验室负责人北京市计算机学会理事时艳强布洛克科技创始人全球高校区块链爱好者联盟主席本期速览:北航计算机学院的胡凯教授在分布式计算、智能合约以及形式化验证方面有很深入的研究,发表了50余篇SCI/EI相关的论文,与胡建平先生主编了目前国内最权威的分布式计算方面的国家级教材《分布式计算系统导论》。胡凯教授做客布洛克科技时点对话,给大家关于区块链与智能合约做了一期精彩分享。胡教授长期对分布式计算理论和技术开展研究,他讲到,2000年以来分布式计算技术有很多巨大的进步,比如网络计算、集群、网格技术、云技术、移动计算、P2P网络等,极大地影响了信息技术社会生态甚至是人们的生活方式。区块链也是分布式技术最新的重要发展。分布式系统特点是没有全局时钟、计算行为并行、可故障容错并满足一定程度透明性地协同合作求解目标,其基本理念是:复杂集体行为可以通过简单个体的自同步来完成。建立互联网思维和分布式思维是理解和研究区块链的基础,凯文·凯利在《失控》一书中提到了很多很好的思维方式。区块链技术也是分布式的一种新的发展,从技术层面看,区块链是一种技术,它融合了很多前沿技术,包括非第三方数据共享,信誉提升,时间轴数据库,价值网络等。但从社会层面看,和以往信息技术不同,区块链又不是一种单纯技术,它涉及和解决了经济,哲学,法律,文化等社会领域问题,成为一种构建社会各种形态和技术的桥梁。智能合约早在比特币区块链诞生10年之前的1994年,就由密码学家尼克.萨博先生首先提出了,但始终没有推行起来,主要因为它需要一个受信任的计算执行环境,而区块链正好满足了这么一个需要。因此区块链和智能合约的结合成为了第二代区块链的显著标志,并具有划时代的意义。关于智能合约的目前水平,胡教授认为可以划分为三类:第一类是简单型智能合约:也称链上代码(chaincode),如以太坊上大多数项目,只是可操作性代码,形式和内容简单,基本没什么智能;第二类是契约性智能合约:是表达契约关系、控制数字资产的代码,如网络购物、租赁、遗产等合约,更为复杂,有一定承诺和约定的智能表达;第三类是代码即法律合约,具有存证和判据,符合法律规制或法律的代码化,是更智能,更高级的合约,将极大影响互联网世界法律秩序的建立和自动判别。应该说,无论是哪一种,智能合约都是代表了区块链上主流的、大规模的应用,智能合约技术是区块链革命中最重要的因素。现在智能合约还出在早期阶段,有许多问题需要解决,包括最先把智能合约引入到区块链的以太坊,也存在很多问题待解决。经过研究探索,胡教授提出了智能合约工程(SCE)的概念,在形式化验证方面也提出了很多新的理论研究和技术实践。虽然现在的智能合约还不“智能”,但是这也是正常的,随着越来越多的人关注智能合约,国家层面去考虑设置相关课程甚至专业,对智能合约的发展都有很大推动作用,就比如现在有很多培训机构和区块链学院,也都是一种积极的推动。目前区块链的各种落地项目和应用都离不开智能合约技术了。未来和人工智能等技术融合,我们可能只需用自然语言表达需求,或利用专业人员提供的契约模板,系统就能自动可信智能合约,届时智能合约将能满足大规模应用的发展。开场时艳强:各位布洛克人,大家晚上好!
欢迎大家来到领先的区块链社群媒体【布洛克科技】,与5000+社群1000000+布洛克人一起参与【时点对话】节目,探讨区块链技术。本期是布洛克科技【时点对话】第153期,主题:
智能合约距离智能还有多远。嘉宾:胡凯。胡凯,北航计算机学院教授,北航分布式与移动计算实验室负责人,北京市计算机学会理事。曾任新加坡南洋理工大学研究员、法国雷恩一大客座教授和美国亚利桑那州立大学访问学者。主要研究内容包括分布式计算系统、区块链技术和形式化设计与验证方法。主编了国内分布式计算权威教材《分布式计算系统导论》,是国内区块链和智能合约技术早期研究学者之一;智能合约工程(SCE)和验证即服务(VaaS)等概念和理论方法的提出者,主持完成国内多项重要区块链应用落地项目。近年来先后主持和参与国家基金、863重大项目、国家核高基及多项大型工程,发表SCI/EI检索论文50余篇,获得国家发明专利和软件著作权30余项。让我们掌声有请今天的角儿:胡凯。【时点对话·第一问】

对话时间:8月7日
18:00微信社群:布洛克–北京–248对话嘉宾:冯军币世界前合伙人、总编辑时艳强布洛克科技创始人全球高校区块链爱好者联盟主席本期速览:冯军,币世界前合伙人、总编辑,做客布洛克科技时点对话栏目第132期,他曾经深度报道“我爸是李刚”等多起热点新闻事件始末,后投身币世界,被称为“区块链快讯第一人”。亲见当下媒体圈的乱象,加之后来他感觉新闻不只是快讯,应该做一个严肃专业的区块链金融媒体,毅然选择离开。当下的币市受消息面的影响还是很大的,尤其是短期行情。投资者可以从消息层面去判断,比如政策、行情、币种、行业消息,另外,消息级别和消息获取时间比较重要。对于行业的有币无币之争,他还是持开放态度。对于公链与DApp之争,他认为这要看行业机会和自身实力。最后他提到,区块链媒体应该坚持原则,担起自己的社会责任。开场时艳强:各位布洛克人,大家晚上好!欢迎大家来到领先的区块链社群媒体【布洛克科技】,与5000+社群1000000+布洛克人一起参与【时点对话】节目,探讨区块链和数字货币。本期是布洛克科技【时点对话】第132期,主题:
如何利用消息面做数字货币投资?嘉宾:冯军。冯军,币世界前合伙人、总编辑,被称为“区块链快讯第一人”,开创了用快讯形式传播区块链共识的先河。其对消息和新闻层面的有独到见解,是国内知名的“调查记者”,先后供职于南方都市报、腾讯网等,率先报道过“我爸是李刚”“雷政富不雅视频”“红十字总会秘密仓库”等热点新闻。让我们掌声有请今天的角儿:冯军。【时点对话·第一问】

近日,纸贵科技与区块链安全技术服务商CertiK达成安全战略合作。双方将在区块链、智能合约等多项安全性验证服务领域携手,利用自动化推演的原理检测代码漏洞并提供修复方案,弥补人为检测的思维局限,降低链上代码验证成本,提升产品使用体验,为智能合约和区块链系统提供可靠的安全盾牌。

近日,纸贵科技与区块链安全技术服务商CertiK达成安全战略合作。双方将在区块链、智能合约等多项安全性验证服务领域携手,利用自动化推演的原理检测代码漏洞并提供修复方案,弥补人为检测的思维局限,降低链上代码验证成本,提升产品使用体验,为智能合约和区块链系统提供可靠的安全盾牌。

CertiK区块链安全技术服务商

CertiK是致力于通过全球领先的形式化验证技术,重构社区对于智能合约和区块链信任的区块链安全技术服务商,由耶鲁大学计算机科学系教授邵中及其弟子、哥伦比亚大学计算机系助理教授顾荣辉建立。团队成员来自耶鲁大学、哥伦比亚大学和硅谷的知名IT公司。

CertiK团队构建的CertiKOS,是世界上第一个被完成形式化验证的操作系统内核,被称作无漏洞且防黑客的系统,曾引起国内外轰动,被部署在多个安全领域。CertiK目前已与星云、NEO、光速中国、八维资本等多家知名企业达成合作,为其提供形式化验证服务。

纸贵科技携黑客终结者打造区块链安全盾牌

此次合作,CertiK作为纸贵科技的安全服务提供商,通过检测并修复代码漏洞,进一步提升纸贵科技区块链服务的安全系数,为用户提供更加安全、放心的更高质量区块链服务体验。双方将携手共同保护区块链技术安全,开启区块链技术安全新领域。

在CertiK先进的深度规范验证技术支持下,纸贵科技将检测相关智能合约代码,并依据其提供的解决方案进行完善,不断提升纸贵科技在区块链技术研发和区块链服务提供过程中的可靠性,从而更好地为企业用户提供更加安全可靠的定制化区块链解决方案。

纸贵区块链云服务平台Zig-BaaS加入CertiK形式化验证服务后,不仅可以帮助开发者快速构建区块链基础设施,提供区块链应用开发、部署、测试和监控的整套解决方案。更能为用户提供形式化验证、性质检查、代码审核等服务内容,来保证智能合约和区块链系统的安全性,进一步丰富了Zig-BaaS的服务能力。用户可在Zig-BaaS上了解、咨询包括智能合约形式化验证在内的各类区块链服务项目,纸贵科技将会为客户提供最专业的区块链解决方案。

除此之外,双方还将就区块链行业的技术安全展开深度合作,资源共享,共同为促进区块链行业的良性发展而努力。

责任编辑:宋辰