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

本篇文章4199字，读完约10分钟

雷锋。此前有报道称，由罗湖区政府和英国皇家工程院、欧洲科学院以及牛津大学的比尔罗斯科教授共同建立的金融技术研究所正式成立。

作为何新中欧金融技术研究所所长，比尔·罗斯科教授提出了金融技术产业化的发展路径。据了解，自去年12月深圳何新中欧金融技术研究所在罗湖区正式注册成立以来，比尔·罗斯科教授迅速组织了来自世界各地的金融技术专家，组建了一个汇聚欧洲创新力量的金融技术开发创新团队。这个团队将专注于金融技术产业化的研究。

“我自己的职业生涯很长，而且我对科学技术的实践有很深的了解。理论和实践的界限总是给技术的应用带来很大的影响。”因此，比尔罗斯科教授将研究所的发展方向定义为“为现实世界而研究”，即研究所只从事与行业密切相关的技术研究。

据雷锋说。比尔·罗斯科教授是一位在牛津大学工作了40多年的资深科学家。他的主要研究兴趣和成果包括信息安全、计算机验证和并行计算等。他的研究成果可作为金融技术的核心平台技术，其中计算机验证技术将用于测试智能合同，信息安全技术将用于构建无pki认证系统和公平交易技术。

比尔·罗斯科教授曾经说过，与中国和欧洲金融市场的发展相比，中国的金融机构对金融技术的态度更加开放，空的市场更加广阔。未来，中欧金融技术研究院将落户深圳，专注于探索区块链和大数据技术。与此同时，深圳大学和牛津大学将同时开设机器学习、区块链和安全验证等新课程

值得一提的是，比尔·罗斯科教授还是由中国计算机联合会主办、雷锋承办的2017年全球人工智能与机器人峰会(ccf-GAIR)的主讲人。该活动将于7月7日至7月9日在深圳举行。届时，他将发表一份关于金融技术相关主题的会议报告。会议前夕，雷锋。《财经评论》与比尔·罗斯科教授进行了对话，谈论了他的研究和实践，以及他对金融技术未来的判断。

文章由小华和伊利共同采访，小华、伊利和三川共同编辑

关于学术研究雷锋。你最感兴趣的研究领域是什么？你最近在关注什么？

比尔·罗斯科:我关注与区块链相关的许多方面，也就是说，我关注区块链的应用，这意味着我需要关注区块链的信任机制、智能合同、潜在需求及其验证、实际应用的落地等。

雷锋。哪个问题正在被克服？

比尔·罗斯科:我认为区块链的应用潜力是巨大的。为了改进现有的东西和提高安全性，我正在开发区块链和加密技术的新应用方法。但我认为最大的挑战在于智能合同安全和智能合同验证。因为智能合同是一个非常复杂的过程。正如cas cremers在他之前的演讲中提到的。

如果是纸质合同，律师可以检查法律效力和执行情况。然而，智能合同是不同的，因为它们是潜在的法律程序规则，并且因为有太多的因素影响它们，会有各种各样的结果。

此外，在实际运行程序时，经常会有一些有趣的问题。我们如何知道这些意味着什么，以及我们如何理解它们将要做什么？当我们阅读纸质合同时，我们需要一个律师来帮助我们解释它。在这个沟通过程中可能还会有一些差异，这才是智能合同的真正问题。我们需要将合同条款翻译成计算机可以理解的标准语言，但不能直接复制当前的合同。(雷锋网注:事实上，智能合同和契约是不相关的，它的重点是自动执行业务逻辑，需要通过使用事件触发的区块链数据来运行。(

我期待着智能合同条款能够正式确定的那一天，不管是在公司的监督下还是在公司的监督下。

雷锋。你在智能合同领域的研究重点是什么，和其他人的研究有什么不同？

比尔·罗斯科:你可以认为智能合同验证技术贯穿了我的整个职业生涯。1978年，我对并行并发系统进行了研究，重点是智能合同系统，后来发表了一些成果。块链是在并行块上运行的智能契约的一个例子。自20世纪80年代以来，以及在接下来的30年里，自1988年验证浮点单元以来，我一直专注于计算机验证领域，并且这些验证方法已经用于大型军事系统、嵌入式系统、航空空领域。此外，我还涉足计算机安全和应用密码学。所有这些构成了智能合同的验证基础。我的团队在这方面也有丰富的经验，我们齐心协力推进研究工作。

雷锋。你在这个阶段的优先事项是什么，下一阶段的目标是什么？

比尔·罗斯科:我们将暂时专注于智能合同验证。目前，我们已经掌握了smart contract的核心，现在我们正在召集大规模的研究团队一起参与和推动研究。中国是研究计划的主要推动地。同时，培养潜在的后备人才也非常重要。

雷锋。你目前的研究主要是为了发现新技术还是应用现有技术？

比尔·罗斯科:主要工作集中在发现新技术上。但与此同时，很明显，我们也在挖掘现有技术的新潜力，例如区块链技术，我们将很快应用和改造这些技术。它的应用将不同于过去，其中一些将是最新的想法，一些将是原始想法的创新。我们将通过创新和颠覆性的理念促进fintech的发展。但是创造性的想法有一个适应的过程。

关于技术应用雷锋:说到金融技术，它离不开大数据、人工智能和区块链。你认为哪种技术会产生最深远的影响？你对哪个领域更感兴趣？

比尔·罗斯科:这些技术密切相关。如果您使用大数据技术来改进金融领域的流程或应用，这意味着您将自己使用数据，而使用数据的最有效方式是使用人工智能。例如，基于手机，我们已经生成了大量的数据，我们需要通过一定的程序收集和分析这些数据，以确定所需的信息。在这个过程中，我们特别需要保证数据的准确性(这需要区块链)。

雷锋。为什么没有工具或技术来测试智能合同是否符合法律、市场、架构和惯例？

比尔·罗斯科:验证技术非常复杂。我已经研究这个领域30年了。人们有足够的理由去学习，但是人们经常选择回避它，因为这个领域相当困难。例如，在20世纪80年代，我开发了第一代100%验证浮点单元的微芯片方法；三四年后，英特尔因为没有采纳这一提议而损失了至少5亿美元。后来，英特尔成为世界上最强的验证者，但在这上面花费了巨大的财政资源。

智能合同是一项新技术。就验证而言，智能合同与验证计算机程序的其他方法没有什么不同。。但是验证在现实世界中并没有被广泛使用。智能合同自然需要正式的验证，两者结合的应用速度可能会超过我所知道的所有领域。然而，核实并不容易。

雷锋。你的研究如何应用到金融领域？你能举一些例子吗？

比尔·罗斯科:我从欧洲来到中国的重要原因是，中国的金融业更加开放，更容易接受新思想。一些fintech应用程序，尤其是支付领域的应用程序，已经尝试说服英国的相关部门采用一些方案，但他们对这项跨越式技术不感兴趣。因此，我们认为在中国更容易找到使用它的地方，这肯定会促进当地的学术研究。

实际上，我过去的个人工作与金融领域不是很相关，比如与软件厂商和芯片厂商的合作，以及开发非常复杂的军事硬件系统等。，在不久的将来，两者的结合将会更加紧密。

雷锋。现在有两种观点。一是区块链将改造银行，二是区块链首先不太适合银行应用。你怎么想呢?

比尔·罗斯科:我认为在银行采用区块链之前，我们需要更好地了解区块链，使其更加有效。在日常使用之前，一切都应该基于理解。我认为人们太快太容易接受聪明的合同作为解决方案。但事实上，在接受它之前，各行各业的人都应该花更多的时间思考问题，找出问题所在，并实施解决方案。我注意到计算机科学界在不久的将来会更加关注这个问题。

尽管区块链现在备受关注，但它曾被贴上地下非法货币的标签，并被用于暗网交易，没有人愿意卷入其中。在过去的18个月里，许多大型组织都组织了区块链研究。如今，许多计算机专家也参与其中，这带来了一种新的氛围。

雷锋。在你看来，金融机构应用学术研究成果的最佳切入点是什么？此外，研究成果应如何投入商业应用？

比尔·罗斯科:未来，区块链将是我们研究的焦点。我们密切关注专利的发展。目前已经取得了一些成绩，但还没有提交，所以暂时保密，但会围绕安全认证、区块链等领域进行。

对于一个已经诞生的想法，你要么选择成立一个公司(将其商业化)，要么围绕这个想法的主题创业。当然，我们会被赞助商盯上，成立一些公司。此外，我还与英国和中国的人讨论了成立一家衍生品公司的问题。似乎人们更喜欢的路线是要么把它做大；要么开发相关技术，然后等待被收购。

雷锋。(公开号码:雷锋。你和你的学生陈邦道博士都是金融科技企业家。你能分享你的初衷吗？

比尔·罗斯科:谈到这个问题，我们需要把技术分成两类，一类是面向用户的技术，另一类是后台技术。块链是一种背景技术。我们的初衷是为银行和各行各业的从业者提供更好的解决方案。数据存储、保险和医疗行业对我们的研究非常感兴趣，医疗也是我们目前一个巨大的潜在市场。

当我们进入支付领域时，这里的用户已经习惯了两种支付服务。你必须让他们知道你做什么以及如何确保安全。只有这样，我们才能在用户心中占有一席之地。

关于计算机安全雷锋:你认为区块链开源怎么样？因为区块链在中国的许多金融领域都是一个联盟链，开源的安全性和可信度是不是更低？

比尔·罗斯科:公共链运作良好的前提是有足够大的社区和足够强的热情。然而，大多数区块链人遇到的一个难题是如何建立一个更大的社区。我认为联盟链有一些有趣的挑战。例如，一个长期被公众信任的汽车品牌，一个长期被信任的大对象，在改变原来的信任模式后，通常会欺骗公众一段时间，而不是被明确地注意到。如何避免这种情况是我们一直在思考的问题。区块链为各种交易提供了一些可能性。

雷锋。你在计算机安全方面的研究重点是什么？你认为这会有什么影响？

比尔·罗斯科:我的研究涵盖了所有计算机领域，主要包括信任、隐私和安全。我们致力于研究更好的软件，建设一个更安全、更可信的世界。

其他雷烽网:7月7日至7月9日，我们邀请您参加由Leifeng.com联合举办的gair会议，您还将在金融科技分公司做讲座。你能提前透露你的主要内容吗？

比尔·罗斯科:事实上，我对关注区块链的观众非常感兴趣，我希望在决定我演讲的主题之前能更好地了解他们。在我看来，了解他们与区块链的发展有一定的关系。如果到那时我们的专利已经提交了，我会更多地谈论它们。

————————————————————

想了解更多关于区块链和智能合同的信息吗？想和比尔·罗斯科教授近距离交流吗？欢迎参加7月7日至7月9日举行的全球人工智能和机器人峰会。届时，比尔·罗斯科教授将发表关于金融技术的会议报告。现在你可以享受40%的购票优惠！

雷锋原创文章。严禁擅自转载。详情请参考转载说明。