專訪原牛津計算機系主任Bill Roscoe：三十年安全驗證研發(fā)積累，將如何創(chuàng)新智能合約？| GAIR 2017

本文作者：溫曉樺

2017-06-27 17:09

專題：GAIR 2017

導語：在一個領域堅持研究數(shù)十年，成果滲透到計算機運作的關鍵環(huán)節(jié)。今天我們感慨于他的科學成就，卻難以想象因為發(fā)明了這也的安全系統(tǒng)而保障或挽救了多少利益。

雷鋒網(wǎng)AI金融評論此前報道，日前羅湖區(qū)政府攜手英國皇家工程院院士、歐洲科學院院士、牛津大學Bill Roscoe教授共建的金融科技研究院正式掛牌成立。

作為和信中歐金融科技研究院院長，Bill Roscoe教授提出了金融科技產(chǎn)業(yè)化的發(fā)展路徑。據(jù)了解，自去年12月深圳市和信中歐金融科技研究院正式在羅湖區(qū)注冊成立以來，Bill Roscoe教授迅速組織世界各地金融科技領域的專家，組建起了一支聚集歐洲創(chuàng)新力量的金融科技發(fā)展與創(chuàng)新團隊，這個團隊將專注于金融科技產(chǎn)業(yè)化的研究。

“我自己的職業(yè)生涯很長，對科技的實踐有很深的體會，理論和實際的邊界總是給技術應用帶來很多的影響。”因此，Bill Roscoe教授定義研究院的發(fā)展方向為“Research for the Real World”，即研究院只從事與產(chǎn)業(yè)緊密相關的技術研究工作。

據(jù)雷鋒網(wǎng)了解，Bill Roscoe教授是在牛津大學任職超過40年的元老級科學家，主要研究方向和成果包括了信息安全，計算機驗證和并行計算等，其研究成果可作為金融科技的核心平臺型技術，其中計算機驗證技術將用于智能合約的檢驗，信息安全技術將用于構建免 PKI 認證體系和公平交換技術。

Bill Roscoe教授曾表示，歐洲與中國金融市場發(fā)展相比較而言，中國金融機構對Fintech有著更開放的態(tài)度，市場空間更為廣闊，未來和信中歐金融科技研究院將扎根深圳，重點探索區(qū)塊鏈和大數(shù)據(jù)技術的研發(fā)，同時深圳與牛津大學將同步提供圍繞機器學習、區(qū)塊鏈、安全驗證等展開的新課程。

值得一提的是，Bill Roscoe教授也是本次由中國計算機學會（CCF）主辦、雷鋒網(wǎng)與香港中文大學（深圳）全程承辦的，將于 7.7-7.9 日在深圳召開的2017n年「全球人工智能與機器人峰會」（CCF-GAIR）金融科技專場的主講嘉賓，屆時他講進行金融科技相關主題的大會報告。大會前夕，雷鋒網(wǎng)AI金融評論與Bill Roscoe教授進行了對話，談及他的科研、實踐歷程，以及對金融科技未來的研判。

文章由曉樺、伊莉聯(lián)合采訪，由曉樺、伊莉、三川聯(lián)合編輯

關于學術科研 About Academic Research

雷鋒網(wǎng)：您最感興趣的研究領域是什么？近期在關注什么？

Bill Roscoe：我關注多個與區(qū)塊鏈相關的方面，也就是說關注區(qū)塊鏈的應用，這意味著需要關注區(qū)塊鏈的信任機制，智能合約，以及潛在的要求及其驗證、實際應用落地方面等。

雷鋒網(wǎng)：正在攻克哪一方面的難題?

Bill Roscoe：我認為區(qū)塊鏈的應用潛力巨大，為了改進現(xiàn)有事情并提高安全性，我在開發(fā)區(qū)塊鏈及加密技術的新應用方式。但我認為最大的挑戰(zhàn)在于，智能合約安全和智能合約驗證方面。因為智能合約是一個非常復雜的程序。正如Cas Cremers在之前的演講中提到的。

如果是紙質合同，可以由律師來檢查法律效力和執(zhí)行情況。但是智能合約不太一樣，它潛在里就是合法的程序規(guī)則，同時可能因為影響它的因素實在太多了，所以會有多種多樣的結果。

此外，在實際運行程序時往往還會出現(xiàn)一些有趣的問題，我們?nèi)绾沃肋@些意味著什么，我們?nèi)绾卫斫馑麄儗⒁鍪裁矗课覀冊诳匆环菁堎|合同的時候，需要一位律師幫助解讀內(nèi)容。在這個交流過程中可能還存在一些差異難題，這是智能合約真正的難題。我們需要將合同條款轉化成計算機可以理解的、規(guī)范的語言，但不是直接復制現(xiàn)今的合同。（雷鋒網(wǎng)注：事實上智能合約和合約是無關的，它的重點是將需要利用區(qū)塊鏈上的數(shù)據(jù)運行的業(yè)務邏輯由事件觸發(fā)自動執(zhí)行。）

我期待有一天，不論是在監(jiān)管還是在公司監(jiān)督下，智能合約條款能正式確定下來。

雷鋒網(wǎng)：您在智能合約領域研究的重點是什么，與其他人研究的有什么不一樣？

Bill Roscoe：你可以認為有關智能合約驗證的技術貫穿我的整個職業(yè)生涯。1978年，我進行平行并發(fā)系統(tǒng)的研究工作，關注智能合約系統(tǒng)，后來發(fā)布了一些成果，區(qū)塊鏈就是智能合約在平行區(qū)塊上運行的案例。而80年代開始，并在此后的約30年中，從1988年一個浮點單元驗證開始，我主攻著計算機驗證領域，而且這些驗證方法已經(jīng)在大型軍用系統(tǒng)、嵌入式系統(tǒng)、航空領域中使用。此外，我也涉足計算機安全和應用密碼學領域。所有這些都構成了智能合約的驗證基礎。我的團隊在這方面也有豐富的經(jīng)驗，我們集思廣益共同推進研究工作。

雷鋒網(wǎng)：您現(xiàn)階段的重點以及下一階段目標是什么？

Bill Roscoe：我們暫時會專注于智能合約驗證。我們目前已掌握智能合約的核心，現(xiàn)在正在召集大型研究團隊加入其中，一起推動研究，中國是研究計劃的主要推動地。同時，我們還會培養(yǎng)有潛力的后備人才，這也很重要。

雷鋒網(wǎng)：您目前的研究主要是發(fā)現(xiàn)新技術，還是應用現(xiàn)有技術？

Bill Roscoe：主要工作集中在發(fā)現(xiàn)新技術。但同時，很明顯我們也在挖掘已有技術的新潛能，比如區(qū)塊鏈技術，我們即將應用它，并改造它。它的應用將會與以往存在一些不同，其中一些會是最新ideas，有些是對原有ideas的創(chuàng)新。我們將通過創(chuàng)新性、顛覆性的ideas推動fintech的發(fā)展。但創(chuàng)意想法都有一個適應的過程。

關于技術落地 About Technology Application

雷鋒網(wǎng)：說到金融科技，離不開大數(shù)據(jù)、AI、區(qū)塊鏈，您認為哪項技術會有最深遠的影響力？您對于哪個領域更感興趣？

Bill Roscoe：這幾種技術存在緊密的聯(lián)系。如果你在金融領域使用大數(shù)據(jù)技術來改善流程或應用，這意味著你將親自使用那些數(shù)據(jù)，最高效的使用方式是利用AI。比如基于移動電話，我們產(chǎn)生了海量的數(shù)據(jù)，我們需要通過一定程序來對這些數(shù)據(jù)進行收集分析，識別出需要的信息。而在這個過程中，我們就尤其需要保證數(shù)據(jù)的精確（這就需要區(qū)塊鏈）。

雷鋒網(wǎng)：為什么現(xiàn)在沒有一種工具或者技術可以對智能合約是否符合法律、市場、架構和慣例常規(guī)等四個方面進行檢驗？

Bill Roscoe：驗證技術非常復雜，我鉆研這個領域已有三十年。人們有著足夠的理由去研究，但是人們往往選擇回避，因為該領域難度頗高。舉個例子，80年代我研發(fā)了第一代以浮點單元100%驗證的微芯片的方法；三四年后，英特爾因為沒有采用這個建議而損失了至少5億美元，后來英特爾公司雖然成為世界上最強的驗證者，但是為此耗費了巨大的財力。

智能合約是一個新技術，在驗證方面，智能合約與其他驗證計算機程序的方法并沒有什么不同。但是驗證在現(xiàn)實世界中并未廣泛應用。智能合約天然地要求著形式化驗證，兩者的結合應用速度將可能超過我所了解的所有領域。但是，進行驗證并不容易。

雷鋒網(wǎng)：您的研究如何應用到金融領域？能否舉些實例？

Bill Roscoe：我之所以從歐洲來到中國的重要原因就是，中國的金融領域更加開放，容易接受新思想。有些fintech應用尤其是支付領域的應用，業(yè)內(nèi)人士嘗試說服英國相關部門采用一些方案，但是他們對于這個飛躍式技術并不感興趣。因此，我們認為在中國更容易找到用武之地，當然，這也會促進當?shù)氐膶W術研究。

其實，我個人過去的工作與金融領域并不十分相關，比如和軟件商、芯片商的合作，以及開發(fā)非常復雜的軍事硬件系統(tǒng)等，近期的結合會更密切。

雷鋒網(wǎng)：現(xiàn)在有兩種觀點，一種是區(qū)塊鏈將會變革銀行，另一種是區(qū)塊鏈并非很適合首先在銀行應用，你怎么看？

Bill Roscoe：我認為在銀行采用區(qū)塊鏈之前，我們需要更好地理解區(qū)塊鏈，以及基于讓它變得更加有效的前提下。任何事物在日常使用前都要在對其理解的基礎上。我覺得人們太快、太容易接受智能合約，并將其視作一種解決方式。但實際上，在接受之前，各界應花更多的時間去思考問題，找到問題所在，并落實解決方案。我注意到，近期計算機科學界對此的關注度會加強。

別看區(qū)塊鏈現(xiàn)在風頭一時無兩，但曾經(jīng)它被貼上地下非法貨幣相關標簽，用于暗網(wǎng)的交易，所有人都不希望與它扯上關系。而過去18個月以來，不少大型機構組織進行區(qū)塊鏈研究。如今不少計算機專家也投身其中，帶來了新氣象。

雷鋒網(wǎng)：從你的角度來看，金融機構應用學術研究成果最好的切入點是什么？此外，研究成果應該如何變成商業(yè)應用？

Bill Roscoe：未來區(qū)塊鏈會是我們研究重點，我們關注著專利的開發(fā)，目前已經(jīng)有一些成果，但由于還未提交，所以暫時保密，但會圍繞安全認證、區(qū)塊鏈等領域展開。

對于一個已經(jīng)誕生的想法，你要么選擇成立一家公司（將其商業(yè)化），或者是圍繞這個想法的主題來創(chuàng)業(yè)。當然，我們會被贊助商寄予設立一些公司的目標。另外，我與英國和中國的業(yè)界人士交流過，大家設立一家衍生公司，看起來人們首選的路線是，要么將其做大；要么開發(fā)相關技術，然后等待被收購。

雷鋒網(wǎng)：您和您的學生陳邦道博士活躍在fintech創(chuàng)業(yè)領域，能分享一下你們的初衷嗎？

Bill Roscoe：談論這個問題時，需要先將技術分為兩類，一類是面向用戶的技術，一類是后臺技術。區(qū)塊鏈就是一個后臺技術。我們的初衷是，為銀行以及各行從業(yè)者提供更好的解決方案。數(shù)據(jù)存儲、保險行業(yè)以及醫(yī)療行業(yè)對于我們研究非常感興趣，目前醫(yī)療也是我們一個大的潛在市場。

而當我們進入支付領域，這里的用戶已經(jīng)習慣了兩項支付服務。你必須讓他們明白，你做的是什么，如何保證安全性。這樣才能在用戶心中占據(jù)一席之地。

關于計算機安全 About Computer Security

雷鋒網(wǎng)：您如何看待區(qū)塊鏈開源？因為在中國很多金融領域的區(qū)塊鏈都是聯(lián)盟鏈，開源的安全性和可信度是否更低？

Bill Roscoe：公有鏈運行良好的前提是有足夠大的社區(qū)，足夠強烈的積極性。但是大多數(shù)區(qū)塊鏈遭遇的一個難題就是，如何構建更大的社區(qū)。我認為聯(lián)盟鏈有著一些有趣的挑戰(zhàn)性。舉個大眾非常信賴的汽車品牌的例子，一個長久以來受到信任的大型主體在改變原有信任模式后一般能持續(xù)欺騙大眾一段時間而不是被明確注意到，如何避免這個情況是我們一直在思考的。區(qū)塊鏈為各類交易提供了一些可能。

雷鋒網(wǎng)：您在計算機安全的研究重點是什么？您認為它會產(chǎn)生什么影響？

Bill Roscoe：我的研究涵蓋了所有計算機領域，主要包括信任、隱私和安全等，我們致力于研究更好的軟件和建設一個更安全、可信的世界。