快讯
2017中国专利统计数据出炉 2018科技风向预测
21分钟前
高航导读:1月18日,国家知识产权局在京发布了2017年主要工作统计数据及有关情况。站在科技创新发展的风口上,无论互联网圈内外的人都难以置之不理,今天小编与你聊聊从2017知产数据看2018科技风往哪吹?1主要统计数据2017年,我国发明专 [详情]
【论坛】努力开创我国工业互联网发展新局面
22分钟前
点击上方“工信微报” 可以订阅哦!努力开创我国工业互联网发展新局面中国信息通信研究院院长 刘多近日,国务院印发了《关于深化“互联网+先进制造业”发展工业互联网的指导意见》(以下简称《指导意见》),这是以党的十九大精神为指引,落实“加快发展先 [详情]
新闻AB面 | 云养猫?我最近养了只青蛙
27分钟前
原标题:新闻AB面 | 云养猫?我最近养了只青蛙嘻哈的热潮,以Gai的退赛,彻底凉了下来。而对于当下大行其道,以知名动漫形象包装的低俗儿童动漫,有关部门是不是更得管管?大中国人才济济,原创音乐的势头渐渐明朗,单靠用户评论成为营销界翘楚的网易 [详情]
P2P万顺网被曝逾期连发五条公告,实控人:黑势力威胁我 1月19日坏消息榜
30分钟前
摘要: 近日,一家名为“万顺网”的江苏P2P平台出现逾期,官网连发5条公告,称平台“遭多个恶意渠道挤兑”,并遭受20人有组织的哄抢,库房40多辆车短时间不见,随后,万顺网总部遭洗劫,公司已经报警。关注钛媒体每日、每月整理发布的行业坏消息榜, [详情]
汽车&互联网 “新”聚首2018
31分钟前

芳华逝去,一年一见,又到了车董会年会!

“车董会”是国内首个汽车互联网社群,由来自主机厂商、汽车金融、汽车后市场、汽车媒体、二手车电商、创投VC等不同领域的千余兄弟共同发起成立,本着“聚合、发声、共赢” [详情]

产学结合:工业4.0下的利戴人才培养新模式
38分钟前
随着软件和机器人技术的普及,站在众所周知的工业4.0的路口,现代工厂的人才培养模式变革势在必行。利戴全球市场正在积极探索产学结合的人才培养新模式。“自动化和机器人会首先取代简单的工作,”德国顶级顾问咨询公司Simon-Kucher & Pa [详情]
科技革命推动现代产业体系建设
39分钟前
来源:《中国国情国力》杂志作者单位:商务部国际贸易经济合作研究院党的十九大报告提出“贯彻新发展理念,建设现代化经济体系”,同时着眼于未来,提出到2035年,我国要基本实现社会主义现代化,经济实力、科技实力大幅跃升,跻身创新型国家前列;到20 [详情]
社会固化,经济低迷,屌丝逆袭到底有多难?(深度思考)
40分钟前
17年7月份,一高中同学偶然间得到老家城市一个做啤酒的项目,经过详细的分析以及同学敏锐的商业嗅觉,认为这是个机会,是可以认真做下去的项目,于是,同学就出手跟踪、调查、实施这个项目,直到今天。结果是:现实的生活总是让你感觉苍白无力。同学凭借自 [详情]
中科院预测中心2018中国经济预测(直播全文)
40分钟前
主题:2018中国经济预测发布与高端论坛时间:2018年1月18日上午地点:中国科学院数学系统与科学研究院南楼219会议室主持人:各位领导、各位嘉宾,各位媒体界的朋友,大家上午好!感谢大家在新年伊始来参加由中国科学院预测科学研究中心主办,中 [详情]
原创 | 人工智能助力信息化加速发展
43分钟前
作者:蓝海长青智库特邀研究员  王因传回顾人类社会发展的历程,无论农业文明还是工业文明,都是人类生存发展能力的提升,是将人从各种事务中解放出来。农业文明用工具增强了人类的劳动能力,延伸了人的劳动范围;工业文明用机器代替人的体力劳动,直接解放 [详情]
借力“新零售” ,汽车金融提质增效
43分钟前
2017年对于汽车金融行业而言是具有突破性发展的一年,市场参与主体日趋多元化,服务模式、产品种类更加丰富,汽车金融渗透率显著提升,市场竞争格局也在不断变化与调整。在各金融机构纷纷回归服务小微实体经济的大背景下,与汽车产业紧密结合的汽车金融预 [详情]
百度研究院引入三位科学家 新增两个实验室
44分钟前
雷帝网 乐天 1月19日报道百度研究院今日在硅谷召开全员大会,宣布设立商业智能实验室(Business Intelligence Lab,BIL)和机器人与自动驾驶实验室(Robotics and Autonomous Driving La [详情]
深度 阿里新供应链体系架构解读
45分钟前
阿里妹导读:很多童鞋发现,每年双11收货的速度,越来越快了。在“提速”的背后,阿里工程师是如何做到的呢?本文主要讲解天猫双11期间供应链的相关工作,包括前期的备货、爆款下沉等准备事项、流量调控、销量预测、补货调拨、以及仓、配履行等多个环节, [详情]
APP要被小程序取代了?小游戏将进一步催熟小程序!
46分钟前
微信小程序上线一周年还记得去年1月9日,微信小程序刚刚正式上线引起的轰动吗?从那个时候起,只要是在小程序上线的应用,用户无须下载安装,只要扫一扫或搜一下即可打开应用,本质上是简化版的APP,于是开始有了各种APPs能否继续存在下去的担忧。如 [详情]
短短60秒的广告,足以令你改变一生的行为!
47分钟前
家庭教育多么重要孩子会跟着学他们所看到的想要你的孩子成为什么样的人自己首先要成为什么样的人圈子真的很重要,抓住碎片学习,这几个微信号不能错过!商界智慧精选shangjiezhjx智慧、内涵、有品位,顶尖商界智慧每天分享,企业管理、营销思想、 [详情]
解锁新姿势 如何用配置中心实现全局动态流控?
47分钟前
阿里妹导读:当资源成为瓶颈时,服务框架需要对消费者做限流,启动流控保护机制。流量控制有多种策略,比较常用的有:针对访问速率的静态流控、针对资源占用的动态流控、针对消费者并发连接数的连接控制和针对并行访问数的并发控制。在实践中,各种流量控制策 [详情]
2017年度AppTOP1000|金融、短视频超速增长 共享单车季节效应放大
49分钟前
岁末年初,大到国家行业,小到职场个人,我们已习惯在辞旧迎新中的祝福中成长成熟。移动互联网在过去的2017,各大应用产品服务在下半场跑道上竞相奔逐,从野蛮时代的流量竞争开始转向精细时代的存量用户运营,规则开始建立,国家发布大数据和人工智能发展 [详情]
财经直播,能给你带来什么?
49分钟前
直播,一个被贴在新一代成长者上的新型标签,一个被不断提及、刷新的互联网工具。通过直播,我们可以了解不同行业、不同性别甚至于不同阶级之间所存在的不同的观念以及生活方式。而百度百科则给出了更为直接的释义——生活的圈层化,让我们对其他圈层的生活好 [详情]
周鸿祎评贾跃亭:乔布斯那么牛的人都没敢造车
49分钟前
IT之家1月19日消息 “下周回国贾跃亭”俨然成为了科技行业的新梗,根据贾跃亭公开发布的消息,其近期依然在美国造车,国内乐视方面的问题由贾跃亭妻子甘薇与贾跃民代为处理。一向快人快语的“红衣大炮”周鸿祎在近日参加某活动时直言不讳表示,乐视“为 [详情]
趣店罗敏是真傻还是在下一步大棋?
50分钟前
一个身价几百亿的人跟几个名不见经传的自媒体争短长,不由得让人慨叹,上帝果然还是公平的,给了他几百亿的同时也在脑子里灌了几勺水。其实监管政策刚出来时,我一直在想罗敏是真傻还是在下大棋,因为所有的条件他都合规,持牌、有消费场景、综合利率36%左 [详情]
中国快递“金包裹”花落谁家?谜底出人意料
52分钟前
1月18日,由中国邮政快递报社主办的“快递之夜”2018快递行业颁奖典礼在京举办。来自行业及关联产业的企业大佬及代表、国邮智库专家等近200人共襄盛举。各项大奖纷纷出炉、花落各家。作为快递之夜份量最重的奖项,“金包裹”大奖最终花落谁家悬念十 [详情]
赶超马云马化腾,干掉老王许家印,小米雷要成中国首富了?
54分钟前
说起中国首富,大伙儿相顾无言~双马一王一许,刚好凑成一桌麻将轮流坐庄。“一点都不funny,我们要Surprise~”吃瓜群众表示抗议~于是,小米雷说:我来了!这段时间,小米上市是热点。有说将在今年上市,有说下半年,有说年底;有说赴美,有说 [详情]
阿里新零售战略调整:云零售事业部与天猫淘宝全面合体
1小时前
凤凰网科技讯 (作者/管艺雯)1月19日消息,阿里巴巴集团今日晚间宣布:阿里巴巴云零售事业部与天猫、淘宝全面合体,阿里新零售继续聚焦、聚力。原云零售事业部总经理叶国晖将担任新成立的天猫新零售平台事业部负责人,向天猫总裁靖捷汇报。天猫新零售平 [详情]
@程序员,你该如何做职业规划才能不被“废”?
1小时前
作者简介:王俊生,曾上线运营平台;报表自定义;养老护理中心信息化平台等项目。此外负责公司项目从 SVN 到 Gitlab 的迁移和公司十亿级数据迁移工作。日常喜欢运动、旅游、读书,励志做一个热衷技术、享受生活的新时代程序员。本文来自作者在 [详情]
风口上的数码印花,你是种了草还是掉进坑?
1小时前
本报记者  贾榕原创文章,欢迎转发,请授权转载都说“站在风口,猪也能飞”,这听起来很美,但“风口”真的那么好站吗?当前,数码印花的广泛应用掀起了纺织领域的变革,但行业中各种泡沫和揠苗助长的现象并不少见。如何避过“刀口”、找准“风口”,成为数 [详情]
揭秘手机QQ“智图”背后黑科技:AI深度学习帮你一键定
1小时前
年轻人的聊天世界是充满着表情的。“对方不想和你说话,并向你扔了一只单身狗;皮皮虾,我们走。”画风奇特的暴漫,被网友恶搞的尔康雪姨,还有那些被玩坏的热门影视,这些一夜之间火起来的表情包成为年轻人的最常用的元素,想接近年轻人必须要备好充足的表情 [详情]
云米全屋互联网家电陈小平:积极开放合作推动智能家
1小时前
“智能家居真的是下一个风口吗?”“如何避免华而不实的智能家电?”在智能家居被热议的今天,许多疑问也相继产生。1月18日,智联未来·2018智慧家庭产业创新峰会暨中国智慧家装应用白皮书发布会在广州召开。众多行业大咖相聚一堂,云米全屋互联网家电 [详情]
BV2018百度风投投资年会在京召开埃洛克航空CEO王砚泽
1小时前
1月18日,BV2018百度风投投资年会在北京召开,此次年会以“人工智能”为主题,汇聚了百度风投(BV)投资的50余家中美企业及国内外数百位嘉宾,BV大家庭成员先后探讨了全球视野下AI在工业、消费、数据与科技等领域的驱动与变革。作为BV大家 [详情]
360共享云发布官方声明布局海外市场拒绝恶意炒作
1小时前
近日,360对外公布了共享云计划,并宣布360共享云路由器开启预售,引起业内强烈反响。在迅雷链克等产品受到互联网金融协会的批评的前车之鉴下,360共享云官方也发表声明澄清,明确表示360共享云计划的云钻积分并非数字货币,杜绝一切炒作行为。3 [详情]
正式宣战?今日头条禁止微信、微博等账户推广!
1小时前
昨日上午,今日头条官方头条号发布了一则公告,自2018年1月24日(下周三)起,禁止推广微信、微博等第三方平台账户,触犯规则或对账户进行扣分和禁言处罚。据悉,推广第三方平台帐号及二维码、个人和群组联系方式,诱导用户关注第三方平台帐号这几类推 [详情]

区块链研习 | 区块链里所说的“智能合约”是什么?

雷锋网 2017-10-11 22:36

原标题:区块链研习 | 区块链里所说的“智能合约”是什么?

雷锋网AI金融评论按:本文作者为中国信息通信研究院(工信部电信研究院)专家敖萌博士,雷锋网独家特约文章,雷锋网与信通院联合首发。未来,敖萌博士原创的区块链系列文章还将继续刊出,雷锋网(公众号:雷锋网)与信通院相关平台同步更新,敬请关注!

谈到区块链,必然离不开“智能合约”这个词。我们在本系列的第一篇文章中提到“智能合约”(smart contract)是由多产的跨领域法律学者 Nick Szabo 在1995年提出来的,他的定义为:“一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。”那么,我们该如何理解这段话呢?

回顾一下比特币区块链系统中的转账:

Alice 转账给 Bob 100比特币,在比特币区块链系统中是这样记录的:

本质上,这就是一个合同。这个合同里面规定了 Alice 要转给 Bob 100比特币,该合同立即生效。注意,里面有一个“解锁信息”,这个“解锁信息”本质上就是 Alice 证明自己是 Alice 的地址持有者时需要提交的一个信息。

显然,像比特币区块链系统里面,纯UTXO模式的这种合同用处是很有限的。首先,比特币是一个独立运行的封闭系统,它的转账脚本没有提供和外界进行交互的接口。所有信息(这里主要是解锁信息)只能在脚本提交到区块链之前定死,之后就只能按照固定方式运行。这对于“合同”来说是不符合实际应用的。

在我们实际生活中,一个完整的合同制定——执行流程是按照如下方式随着时间流逝而进行的:

其中,条件的达成通常是一个外部输入的事件,这意味着,我们实际生活中的合同通常是“事件驱动”型的。这个“事件”是否发生通常不是区块链上的数据能够判断出来的,而是依靠事件发生的时间点,通过链外输入数据的方式实现。

以电子商务为例,Alice 在某宝的某个商家购买了一台笔记本电脑,当 Alice下单成功的那一刻,实质上就生成了一个合同。这个合同包含了 Alice 需要在多长时间内付款到第三方平台(事件1)。然后卖家看到 Alice 付款后需要发货,当 Alice 收到货以后需要点击确认收货(事件2),完成整个合同(在不考虑售后的情况下)。

在这个合同的执行过程中,事件1由于是一个纯粹的金融活动,已经高度的虚拟化,能够实现自动发现事件自动触发。而事件2则是一个在现实世界中发生的活动,需要我们“点击确认收货”来把这个事件的发生同步到虚拟世界中,这个“点击确认收货”就是虚拟世界中的事件2。所以,对于某宝的购物合同而言,事件1实质上是 Alice 是否转账到平台,事件2是 Alice 是否点击确认收货。因此,在这个合同中,预留了一个和外部交互的接口——确认收货。

除了和外部的交互能力外,比特币转账合同(脚本)的另一个重要缺陷是它不是图灵完备的。这句话对于非计算机专业的人来说可能不太好理解,我们可以简单的理解为它没有循环能力和复杂的条件控制能力。

合同的循环能力在我们现实世界中是很常见的,例如我们和电信运营商签署的移动电话服务合同,通常就是一个循环合同。这种合同以自然月为单位,每个月自动循环执行。还有类似的企业间签订的长期采购合同,都是一种不断循环的合同。合同中规定的事件(或时间点)全部达成以后,自动循环回第一步,重新执行。

而复杂的条件控制能力就更常见了——合同中的违约条款就是条件控制能力。事件达成怎样,没有达成如何执行违约条款等,这些都需要合同拥有复杂的条件控制能力。

比特币中的交易是使用比特币区块链底层平台定义的一套脚本语言来写的,由于当初比特币区块链系统是按照一个数字货币的模型进行设计的,因此它并不需要这些复杂的能力。但是如果我们需要区块链技术在其他商业场合进行应用,很多时候就需要这些能力。比如我们利用以太坊平台来实现某个业务,那么整个流程是这样子的:

目前,关于智能合约的争议仍然是很多的。主要包含两方面:

1、合同本身是否是双方真实意思的表达

a)在现实世界中,我们撰写的合同除了受合同细节的约束外,还受到了外部法律和行业惯例的约束。而在智能合约中,外部法律和行业惯例如果不能严格的体现在合同中,那么合同就不是双方真实意思的表达了。

b)在现实世界中,我们撰写的合同通常是由律师或者法律专家来帮我们完成的。不同水平的法律专家,其完成的合同严谨程度是不一样的。同样在智能合约中,我们撰写的合同是由程序员帮我们完成的,程序员的水平决定了合同的严谨性。还有一点,程序通常都会有bug,这些bug是否会导致严重的损失,然而在bug没有被发现之前,都不得而知。

2、合同的仲裁机构是谁

a)在现实世界中,我们通常都会在合同中约定一旦发生纠纷,请哪个仲裁机构对合同进行仲裁。而在区块链中,尤其是公有链平台上的智能合约,一旦我们认为合同没有表达双方真实的意思,我们无法找到一个仲裁机构对合同进行仲裁。

b) 在联盟链中,由于各方各个节点的身份都是已知的,现实世界中的司法机构是可以介入智能合约纠纷的。但是这种介入有时候可能会影响整个联盟链系统的稳定性,这种情况下,怎样介入是一个技术问题,而这个技术问题又可能会带来新的bug。