专访原牛津计算机系主任Bill Roscoe：三十年安全验证研发积累，将如何创新智能合约？| GAIR 2017

2017 年 6 月 27 日 AI金融评论 温晓桦&伊莉

300 + 明星创业公司，3000 + 行业人士齐聚全球人工智能与机器人峰会 GAIR 2017，一同见证 AI 浪潮之巅！峰会抢票火热进行中。读者有专属送票福利活动哦，详情见文末！

雷锋网AI金融评论此前报道，日前罗湖区政府携手英国皇家工程院院士、欧洲科学院院士、牛津大学Bill Roscoe教授共建的金融科技研究院正式挂牌成立。

作为和信中欧金融科技研究院院长，Bill Roscoe教授提出了金融科技产业化的发展路径。据了解，自去年12月深圳市和信中欧金融科技研究院正式在罗湖区注册成立以来，Bill Roscoe教授迅速组织世界各地金融科技领域的专家，组建起了一支聚集欧洲创新力量的金融科技发展与创新团队，这个团队将专注于金融科技产业化的研究。

“我自己的职业生涯很长，对科技的实践有很深的体会，理论和实际的边界总是给技术应用带来很多的影响。”因此，Bill Roscoe教授定义研究院的发展方向为“Research for the Real World”，即研究院只从事与产业紧密相关的技术研究工作。

据雷锋网了解，Bill Roscoe教授是在牛津大学任职超过40年的元老级科学家，主要研究方向和成果包括了信息安全，计算机验证和并行计算等，其研究成果可作为金融科技的核心平台型技术，其中计算机验证技术将用于智能合约的检验，信息安全技术将用于构建免 PKI 认证体系和公平交换技术。

Bill Roscoe教授曾表示，欧洲与中国金融市场发展相比较而言，中国金融机构对Fintech 有着更开放的态度，市场空间更为广阔，未来和信中欧金融科技研究院将扎根深圳，重点探索区块链和大数据技术的研发，同时深圳与牛津大学将同步提供围绕机器学习、区块链、安全验证等展开的新课程。

值得一提的是，Bill Roscoe教授也是本次由中国计算机学会（CCF）主办、雷锋网与香港中文大学（深圳）全程承办的，将于 7.7-7.9 日在深圳召开的2017n年「全球人工智能与机器人峰会」（CCF-GAIR）金融科技专场的主讲嘉宾，届时他讲进行金融科技相关主题的大会报告。大会前夕，雷锋网AI金融评论与Bill Roscoe教授进行了对话，谈及他的科研、实践历程，以及对金融科技未来的研判。

文章由晓桦、伊莉联合采访，由晓桦、伊莉、三川联合编辑。

关于学术科研 About Academic Research

雷锋网：您最感兴趣的研究领域是什么？近期在关注什么？

Bill Roscoe：我关注多个与区块链相关的方面，也就是说关注区块链的应用，这意味着需要关注区块链的信任机制，智能合约，以及潜在的要求及其验证、实际应用落地方面等。

雷锋网：正在攻克哪一方面的难题?

Bill Roscoe：我认为区块链的应用潜力巨大，为了改进现有事情并提高安全性，我在开发区块链及加密技术的新应用方式。但我认为最大的挑战在于，智能合约安全和智能合约验证方面。因为智能合约是一个非常复杂的程序。正如Cas Cremers在之前的演讲中提到的。

如果是纸质合同，可以由律师来检查法律效力和执行情况。但是智能合约不太一样，它潜在里就是合法的程序规则，同时可能因为影响它的因素实在太多了，所以会有多种多样的结果。

此外，在实际运行程序时往往还会出现一些有趣的问题，我们如何知道这些意味着什么，我们如何理解他们将要做什么？我们在看一份纸质合同的时候，需要一位律师帮助解读内容。在这个交流过程中可能还存在一些差异难题，这是智能合约真正的难题。我们需要将合同条款转化成计算机可以理解的、规范的语言，但不是直接复制现今的合同。（雷锋网注：事实上智能合约和合约是无关的，它的重点是将需要利用区块链上的数据运行的业务逻辑由事件触发自动执行。）

我期待有一天，不论是在监管还是在公司监督下，智能合约条款能正式确定下来。

雷锋网：您在智能合约领域研究的重点是什么，与其他人研究的有什么不一样？

Bill Roscoe：你可以认为有关智能合约验证的技术贯穿我的整个职业生涯。1978年，我进行平行并发系统的研究工作，关注智能合约系统，后来发布了一些成果，区块链就是智能合约在平行区块上运行的案例。而80年代开始，并在此后的约30年中，从1988年一个浮点单元验证开始，我主攻着计算机验证领域，而且这些验证方法已经在大型军用系统、嵌入式系统、航空领域中使用。此外，我也涉足计算机安全和应用密码学领域。所有这些都构成了智能合约的验证基础。我的团队在这方面也有丰富的经验，我们集思广益共同推进研究工作。

雷锋网：您现阶段的重点以及下一阶段目标是什么？

Bill Roscoe：我们暂时会专注于智能合约验证。我们目前已掌握智能合约的核心，现在正在召集大型研究团队加入其中，一起推动研究，中国是研究计划的主要推动地。同时，我们还会培养有潜力的后备人才，这也很重要。

雷锋网：您目前的研究主要是发现新技术，还是应用现有技术？

Bill Roscoe：主要工作集中在发现新技术。但同时，很明显我们也在挖掘已有技术的新潜能，比如区块链技术，我们即将应用它，并改造它。它的应用将会与以往存在一些不同，其中一些会是最新ideas，有些是对原有ideas的创新。我们将通过创新性、颠覆性的ideas推动 Fintech 的发展。但创意想法都有一个适应的过程。

关于技术落地 About Technology Application

雷锋网：说到金融科技，离不开大数据、AI、区块链，您认为哪项技术会有最深远的影响力？您对于哪个领域更感兴趣？

Bill Roscoe：这几种技术存在紧密的联系。如果你在金融领域使用大数据技术来改善流程或应用，这意味着你将亲自使用那些数据，最高效的使用方式是利用AI。比如基于移动电话，我们产生了海量的数据，我们需要通过一定程序来对这些数据进行收集分析，识别出需要的信息。而在这个过程中，我们就尤其需要保证数据的精确（这就需要区块链）。

雷锋网：为什么现在没有一种工具或者技术可以对智能合约是否符合法律、市场、架构和惯例常规等四个方面进行检验？

Bill Roscoe：验证技术非常复杂，我钻研这个领域已有三十年。人们有着足够的理由去研究，但是人们往往选择回避，因为该领域难度颇高。举个例子，80年代我研发了第一代以浮点单元100%验证的微芯片的方法；三四年后，英特尔因为没有采用这个建议而损失了至少5亿美元，后来英特尔公司虽然成为世界上最强的验证者，但是为此耗费了巨大的财力。

智能合约是一个新技术，在验证方面，智能合约与其他验证计算机程序的方法并没有什么不同。但是验证在现实世界中并未广泛应用。智能合约天然地要求着形式化验证，两者的结合应用速度将可能超过我所了解的所有领域。但是，进行验证并不容易。

雷锋网：您的研究如何应用到金融领域？能否举些实例？

Bill Roscoe：我之所以从欧洲来到中国的重要原因就是，中国的金融领域更加开放，容易接受新思想。有些 Fintech 应用尤其是支付领域的应用，业内人士尝试说服英国相关部门采用一些方案，但是他们对于这个飞跃式技术并不感兴趣。因此，我们认为在中国更容易找到用武之地，当然，这也会促进当地的学术研究。

其实，我个人过去的工作与金融领域并不十分相关，比如和软件商、芯片商的合作，以及开发非常复杂的军事硬件系统等，近期的结合会更密切。

雷锋网：现在有两种观点，一种是区块链将会变革银行，另一种是区块链并非很适合首先在银行应用，你怎么看？

Bill Roscoe：我认为在银行采用区块链之前，我们需要更好地理解区块链，以及基于让它变得更加有效的前提下。任何事物在日常使用前都要在对其理解的基础上。我觉得人们太快、太容易接受智能合约，并将其视作一种解决方式。但实际上，在接受之前，各界应花更多的时间去思考问题，找到问题所在，并落实解决方案。我注意到，近期计算机科学界对此的关注度会加强。

别看区块链现在风头一时无两，但曾经它被贴上地下非法货币相关标签，用于暗网的交易，所有人都不希望与它扯上关系。而过去18个月以来，不少大型机构组织进行区块链研究。如今不少计算机专家也投身其中，带来了新气象。

雷锋网：从你的角度来看，金融机构应用学术研究成果最好的切入点是什么？此外，研究成果应该如何变成商业应用？

Bill Roscoe：未来区块链会是我们研究重点，我们关注着专利的开发，目前已经有一些成果，但由于还未提交，所以暂时保密，但会围绕安全认证、区块链等领域展开。

对于一个已经诞生的想法，你要么选择成立一家公司（将其商业化），或者是围绕这个想法的主题来创业。当然，我们会被赞助商寄予设立一些公司的目标。另外，我与英国和中国的业界人士交流过，大家设立一家衍生公司，看起来人们首选的路线是，要么将其做大；要么开发相关技术，然后等待被收购。

雷锋网：您和您的学生陈邦道博士活跃在 Fintech 创业领域，能分享一下你们的初衷吗？

Bill Roscoe：谈论这个问题时，需要先将技术分为两类，一类是面向用户的技术，一类是后台技术。区块链就是一个后台技术。我们的初衷是，为银行以及各行从业者提供更好的解决方案。数据存储、保险行业以及医疗行业对于我们研究非常感兴趣，目前医疗也是我们一个大的潜在市场。

而当我们进入支付领域，这里的用户已经习惯了两项支付服务。你必须让他们明白，你做的是什么，如何保证安全性。这样才能在用户心中占据一席之地。

关于计算机安全 About Computer Security

雷锋网：您如何看待区块链开源？因为在中国很多金融领域的区块链都是联盟链，开源的安全性和可信度是否更低？

Bill Roscoe：公有链运行良好的前提是有足够大的社区，足够强烈的积极性。但是大多数区块链遭遇的一个难题就是，如何构建更大的社区。我认为联盟链有着一些有趣的挑战性。举个大众非常信赖的汽车品牌的例子，一个长久以来受到信任的大型主体在改变原有信任模式后一般能持续欺骗大众一段时间而不是被明确注意到，如何避免这个情况是我们一直在思考的。区块链为各类交易提供了一些可能。

雷锋网：您在计算机安全的研究重点是什么？您认为它会产生什么影响？

Bill Roscoe：我的研究涵盖了所有计算机领域，主要包括信任、隐私和安全等，我们致力于研究更好的软件和建设一个更安全、可信的世界。