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

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

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

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

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

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

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

關(guān)于學術(shù)科研 About Academic Research 

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

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

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

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

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

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

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

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

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

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

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

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

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

關(guān)于技術(shù)落地 About Technology Application

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

關(guān)于計算機安全 About Computer Security

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

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

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

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

其他 The others

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

Bill Roscoe：實際上，我對于關(guān)注區(qū)塊鏈的觀眾們非常感興趣，希望能在進一步了解他們之后再確定我的演講主題。我認為，了解他們與區(qū)塊鏈的發(fā)展存在著一定關(guān)系。如果到時我們的專利已經(jīng)提交，我將會更多地談?wù)勊鼈儭?/p>

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

想要了解更多關(guān)于區(qū)塊鏈和智能合約的內(nèi)容嗎？想近距離與Bill Roscoe教授深度交流嗎？快來參加 7.7-7.9 的「全球人工智能與機器人峰會」（CCF-GAIR）吧！屆時，Bill Roscoe教授將在金融科技專場作大會報告?，F(xiàn)在購票還能享受六折優(yōu)惠哦！

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。