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

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教授進行了對話，談及他的科研、實踐歷程，以及對金融科技未來的研判。

文章由曉樺、伊莉聯合採訪，由曉樺、伊莉、三川聯合編輯。

雷鋒網：您最感興趣的研究領域是什麼？近期在關注什麼？

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

雷鋒網：正在攻克哪一方面的難題?

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

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

此外，在實際運行程序時往往還會出現一些有趣的問題，我們如何知道這些意味著什麼，我們如何理解他們將要做什麼？我們在看一份紙質合同的時候，需要一位律師幫助解讀內容。在這個交流過程中可能還存在一些差異難題，這是智能合約真正的難題。我們需要將合同條款轉化成計算機可以理解的、規範的語言，但不是直接複製現今的合同。（雷鋒網註：事實上智能合約和合約是無關的，它的重點是將需要利用區塊鏈上的數據運行的業務邏輯由事件觸發自動執行。）

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

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

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

雷鋒網：您現階段的重點以及下一階段目標是什麼？

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

雷鋒網：您目前的研究主要是發現新技術，還是應用現有技術？

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

雷鋒網：說到金融科技，離不開大數據、AI、區塊鏈，您認為哪項技術會有最深遠的影響力？您對於哪個領域更感興趣？

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

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

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

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

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

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

其實，我個人過去的工作與金融領域並不十分相關，比如和軟體商、晶元商的合作，以及開發非常複雜的軍事硬體系統等，近期的結合會更密切。

雷鋒網：現在有兩種觀點，一種是區塊鏈將會變革銀行，另一種是區塊鏈並非很適合首先在銀行應用，你怎麼看？

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

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

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

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

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

雷鋒網：您和您的學生陳邦道博士活躍在 Fintech 創業領域，能分享一下你們的初衷嗎？

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

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

雷鋒網：您如何看待區塊鏈開源？因為在很多金融領域的區塊鏈都是聯盟鏈，開源的安全性和可信度是否更低？

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

雷鋒網：您在計算機安全的研究重點是什麼？您認為它會產生什麼影響？

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

雷鋒網：7月7——7月9日，我們邀請了您參與雷鋒網協辦的Gair大會，您也會在金融科技分會場上做報告演講，能否預先透露下您的主要內容？

Bill Roscoe：實際上，我對於關注區塊鏈的觀眾們非常感興趣，希望能在進一步了解他們之後再確定我的演講主題。我認為，了解他們與區塊鏈的發展存在著一定關係。如果到時我們的專利已經提交，我將會更多地談談它們。

想要了解更多關於區塊鏈和智能合約的內容嗎？想近距離與Bill Roscoe教授深度交流嗎？快來參加 7.7-7.9 的「全球人工智慧與機器人峰會」（CCF-GAIR）吧！屆時，Bill Roscoe教授將在金融科技專場作大會報告。現在購票還能享受六折優惠哦！