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

雷锋网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。比如基于移动电话，我们产生了海量的数据，我们需要通过一定程序来对这些数据进行收集分析，识别出需要的信息。而在这个过程中，我们就尤其需要保证数据的精确（这就需要区块链）。