<mark id="oztn4"></mark>
0
| 本文作者： 溫曉樺 | 2017-06-27 17:09 | 專題：GAIR 2017 |
雷鋒網(wǎng)AI金融評(píng)論此前報(bào)道，日前羅湖區(qū)政府?dāng)y手英國皇家工程院院士、歐洲科學(xué)院院士、牛津大學(xué)Bill Roscoe教授共建的金融科技研究院正式掛牌成立。
作為和信中歐金融科技研究院院長，Bill Roscoe教授提出了金融科技產(chǎn)業(yè)化的發(fā)展路徑。據(jù)了解，自去年12月深圳市和信中歐金融科技研究院正式在羅湖區(qū)注冊(cè)成立以來，Bill Roscoe教授迅速組織世界各地金融科技領(lǐng)域的專家，組建起了一支聚集歐洲創(chuàng)新力量的金融科技發(fā)展與創(chuàng)新團(tuán)隊(duì)，這個(gè)團(tuán)隊(duì)將專注于金融科技產(chǎn)業(yè)化的研究。
“我自己的職業(yè)生涯很長，對(duì)科技的實(shí)踐有很深的體會(huì)，理論和實(shí)際的邊界總是給技術(shù)應(yīng)用帶來很多的影響。”因此，Bill Roscoe教授定義研究院的發(fā)展方向?yàn)椤癛esearch for the Real World”，即研究院只從事與產(chǎn)業(yè)緊密相關(guān)的技術(shù)研究工作。
據(jù)雷鋒網(wǎng)了解，Bill Roscoe教授是在牛津大學(xué)任職超過40年的元老級(jí)科學(xué)家，主要研究方向和成果包括了信息安全，計(jì)算機(jī)驗(yàn)證和并行計(jì)算等，其研究成果可作為金融科技的核心平臺(tái)型技術(shù)，其中計(jì)算機(jī)驗(yàn)證技術(shù)將用于智能合約的檢驗(yàn)，信息安全技術(shù)將用于構(gòu)建免 PKI 認(rèn)證體系和公平交換技術(shù)。
Bill Roscoe教授曾表示，歐洲與中國金融市場(chǎng)發(fā)展相比較而言，中國金融機(jī)構(gòu)對(duì)Fintech有著更開放的態(tài)度，市場(chǎng)空間更為廣闊，未來和信中歐金融科技研究院將扎根深圳，重點(diǎn)探索區(qū)塊鏈和大數(shù)據(jù)技術(shù)的研發(fā)，同時(shí)深圳與牛津大學(xué)將同步提供圍繞機(jī)器學(xué)習(xí)、區(qū)塊鏈、安全驗(yàn)證等展開的新課程。
值得一提的是，Bill Roscoe教授也是本次由中國計(jì)算機(jī)學(xué)會(huì)（CCF）主辦、雷鋒網(wǎng)與香港中文大學(xué)（深圳）全程承辦的，將于 7.7-7.9 日在深圳召開的2017n年「全球人工智能與機(jī)器人峰會(huì)」（CCF-GAIR）金融科技專場(chǎng)的主講嘉賓，屆時(shí)他講進(jìn)行金融科技相關(guān)主題的大會(huì)報(bào)告。大會(huì)前夕，雷鋒網(wǎng)AI金融評(píng)論與Bill Roscoe教授進(jìn)行了對(duì)話，談及他的科研、實(shí)踐歷程，以及對(duì)金融科技未來的研判。
文章由曉樺、伊莉聯(lián)合采訪，由曉樺、伊莉、三川聯(lián)合編輯
雷鋒網(wǎng)：您最感興趣的研究領(lǐng)域是什么？近期在關(guān)注什么？
Bill Roscoe：我關(guān)注多個(gè)與區(qū)塊鏈相關(guān)的方面，也就是說關(guān)注區(qū)塊鏈的應(yīng)用，這意味著需要關(guān)注區(qū)塊鏈的信任機(jī)制，智能合約，以及潛在的要求及其驗(yàn)證、實(shí)際應(yīng)用落地方面等。
雷鋒網(wǎng)：正在攻克哪一方面的難題?
Bill Roscoe：我認(rèn)為區(qū)塊鏈的應(yīng)用潛力巨大，為了改進(jìn)現(xiàn)有事情并提高安全性，我在開發(fā)區(qū)塊鏈及加密技術(shù)的新應(yīng)用方式。但我認(rèn)為最大的挑戰(zhàn)在于，智能合約安全和智能合約驗(yàn)證方面。因?yàn)橹悄芎霞s是一個(gè)非常復(fù)雜的程序。正如Cas Cremers在之前的演講中提到的。
如果是紙質(zhì)合同，可以由律師來檢查法律效力和執(zhí)行情況。但是智能合約不太一樣，它潛在里就是合法的程序規(guī)則，同時(shí)可能因?yàn)橛绊懰囊蛩貙?shí)在太多了，所以會(huì)有多種多樣的結(jié)果。
此外，在實(shí)際運(yùn)行程序時(shí)往往還會(huì)出現(xiàn)一些有趣的問題，我們?nèi)绾沃肋@些意味著什么，我們?nèi)绾卫斫馑麄儗⒁鍪裁矗课覀冊(cè)诳匆环菁堎|(zhì)合同的時(shí)候，需要一位律師幫助解讀內(nèi)容。在這個(gè)交流過程中可能還存在一些差異難題，這是智能合約真正的難題。我們需要將合同條款轉(zhuǎn)化成計(jì)算機(jī)可以理解的、規(guī)范的語言，但不是直接復(fù)制現(xiàn)今的合同。（雷鋒網(wǎng)注：事實(shí)上智能合約和合約是無關(guān)的，它的重點(diǎn)是將需要利用區(qū)塊鏈上的數(shù)據(jù)運(yùn)行的業(yè)務(wù)邏輯由事件觸發(fā)自動(dòng)執(zhí)行。）
我期待有一天，不論是在監(jiān)管還是在公司監(jiān)督下，智能合約條款能正式確定下來。
雷鋒網(wǎng)：您在智能合約領(lǐng)域研究的重點(diǎn)是什么，與其他人研究的有什么不一樣？
Bill Roscoe：你可以認(rèn)為有關(guān)智能合約驗(yàn)證的技術(shù)貫穿我的整個(gè)職業(yè)生涯。1978年，我進(jìn)行平行并發(fā)系統(tǒng)的研究工作，關(guān)注智能合約系統(tǒng)，后來發(fā)布了一些成果，區(qū)塊鏈就是智能合約在平行區(qū)塊上運(yùn)行的案例。而80年代開始，并在此后的約30年中，從1988年一個(gè)浮點(diǎn)單元驗(yàn)證開始，我主攻著計(jì)算機(jī)驗(yàn)證領(lǐng)域，而且這些驗(yàn)證方法已經(jīng)在大型軍用系統(tǒng)、嵌入式系統(tǒng)、航空領(lǐng)域中使用。此外，我也涉足計(jì)算機(jī)安全和應(yīng)用密碼學(xué)領(lǐng)域。所有這些都構(gòu)成了智能合約的驗(yàn)證基礎(chǔ)。我的團(tuán)隊(duì)在這方面也有豐富的經(jīng)驗(yàn)，我們集思廣益共同推進(jìn)研究工作。
雷鋒網(wǎng)：您現(xiàn)階段的重點(diǎn)以及下一階段目標(biāo)是什么？
Bill Roscoe：我們暫時(shí)會(huì)專注于智能合約驗(yàn)證。我們目前已掌握智能合約的核心，現(xiàn)在正在召集大型研究團(tuán)隊(duì)加入其中，一起推動(dòng)研究，中國是研究計(jì)劃的主要推動(dòng)地。同時(shí)，我們還會(huì)培養(yǎng)有潛力的后備人才，這也很重要。
雷鋒網(wǎng)：您目前的研究主要是發(fā)現(xiàn)新技術(shù)，還是應(yīng)用現(xiàn)有技術(shù)？
Bill Roscoe：主要工作集中在發(fā)現(xiàn)新技術(shù)。但同時(shí)，很明顯我們也在挖掘已有技術(shù)的新潛能，比如區(qū)塊鏈技術(shù)，我們即將應(yīng)用它，并改造它。它的應(yīng)用將會(huì)與以往存在一些不同，其中一些會(huì)是最新ideas，有些是對(duì)原有ideas的創(chuàng)新。我們將通過創(chuàng)新性、顛覆性的ideas推動(dòng)fintech的發(fā)展。但創(chuàng)意想法都有一個(gè)適應(yīng)的過程。
雷鋒網(wǎng)：說到金融科技，離不開大數(shù)據(jù)、AI、區(qū)塊鏈，您認(rèn)為哪項(xiàng)技術(shù)會(huì)有最深遠(yuǎn)的影響力？您對(duì)于哪個(gè)領(lǐng)域更感興趣？
Bill Roscoe：這幾種技術(shù)存在緊密的聯(lián)系。如果你在金融領(lǐng)域使用大數(shù)據(jù)技術(shù)來改善流程或應(yīng)用，這意味著你將親自使用那些數(shù)據(jù)，最高效的使用方式是利用AI。比如基于移動(dòng)電話，我們產(chǎn)生了海量的數(shù)據(jù)，我們需要通過一定程序來對(duì)這些數(shù)據(jù)進(jìn)行收集分析，識(shí)別出需要的信息。而在這個(gè)過程中，我們就尤其需要保證數(shù)據(jù)的精確（這就需要區(qū)塊鏈）。
雷鋒網(wǎng)：為什么現(xiàn)在沒有一種工具或者技術(shù)可以對(duì)智能合約是否符合法律、市場(chǎng)、架構(gòu)和慣例常規(guī)等四個(gè)方面進(jìn)行檢驗(yàn)？
Bill Roscoe：驗(yàn)證技術(shù)非常復(fù)雜，我鉆研這個(gè)領(lǐng)域已有三十年。人們有著足夠的理由去研究，但是人們往往選擇回避，因?yàn)樵擃I(lǐng)域難度頗高。舉個(gè)例子，80年代我研發(fā)了第一代以浮點(diǎn)單元100%驗(yàn)證的微芯片的方法；三四年后，英特爾因?yàn)闆]有采用這個(gè)建議而損失了至少5億美元，后來英特爾公司雖然成為世界上最強(qiáng)的驗(yàn)證者，但是為此耗費(fèi)了巨大的財(cái)力。
智能合約是一個(gè)新技術(shù)，在驗(yàn)證方面，智能合約與其他驗(yàn)證計(jì)算機(jī)程序的方法并沒有什么不同。但是驗(yàn)證在現(xiàn)實(shí)世界中并未廣泛應(yīng)用。智能合約天然地要求著形式化驗(yàn)證，兩者的結(jié)合應(yīng)用速度將可能超過我所了解的所有領(lǐng)域。但是，進(jìn)行驗(yàn)證并不容易。
雷鋒網(wǎng)：您的研究如何應(yīng)用到金融領(lǐng)域？能否舉些實(shí)例？
Bill Roscoe：我之所以從歐洲來到中國的重要原因就是，中國的金融領(lǐng)域更加開放，容易接受新思想。有些fintech應(yīng)用尤其是支付領(lǐng)域的應(yīng)用，業(yè)內(nèi)人士嘗試說服英國相關(guān)部門采用一些方案，但是他們對(duì)于這個(gè)飛躍式技術(shù)并不感興趣。因此，我們認(rèn)為在中國更容易找到用武之地，當(dāng)然，這也會(huì)促進(jìn)當(dāng)?shù)氐膶W(xué)術(shù)研究。
其實(shí)，我個(gè)人過去的工作與金融領(lǐng)域并不十分相關(guān)，比如和軟件商、芯片商的合作，以及開發(fā)非常復(fù)雜的軍事硬件系統(tǒng)等，近期的結(jié)合會(huì)更密切。
雷鋒網(wǎng)：現(xiàn)在有兩種觀點(diǎn)，一種是區(qū)塊鏈將會(huì)變革銀行，另一種是區(qū)塊鏈并非很適合首先在銀行應(yīng)用，你怎么看？
Bill Roscoe：我認(rèn)為在銀行采用區(qū)塊鏈之前，我們需要更好地理解區(qū)塊鏈，以及基于讓它變得更加有效的前提下。任何事物在日常使用前都要在對(duì)其理解的基礎(chǔ)上。我覺得人們太快、太容易接受智能合約，并將其視作一種解決方式。但實(shí)際上，在接受之前，各界應(yīng)花更多的時(shí)間去思考問題，找到問題所在，并落實(shí)解決方案。我注意到，近期計(jì)算機(jī)科學(xué)界對(duì)此的關(guān)注度會(huì)加強(qiáng)。
別看區(qū)塊鏈現(xiàn)在風(fēng)頭一時(shí)無兩，但曾經(jīng)它被貼上地下非法貨幣相關(guān)標(biāo)簽，用于暗網(wǎng)的交易，所有人都不希望與它扯上關(guān)系。而過去18個(gè)月以來，不少大型機(jī)構(gòu)組織進(jìn)行區(qū)塊鏈研究。如今不少計(jì)算機(jī)專家也投身其中，帶來了新氣象。
雷鋒網(wǎng)：從你的角度來看，金融機(jī)構(gòu)應(yīng)用學(xué)術(shù)研究成果最好的切入點(diǎn)是什么？此外，研究成果應(yīng)該如何變成商業(yè)應(yīng)用？
Bill Roscoe：未來區(qū)塊鏈會(huì)是我們研究重點(diǎn)，我們關(guān)注著專利的開發(fā)，目前已經(jīng)有一些成果，但由于還未提交，所以暫時(shí)保密，但會(huì)圍繞安全認(rèn)證、區(qū)塊鏈等領(lǐng)域展開。
對(duì)于一個(gè)已經(jīng)誕生的想法，你要么選擇成立一家公司（將其商業(yè)化），或者是圍繞這個(gè)想法的主題來創(chuàng)業(yè)。當(dāng)然，我們會(huì)被贊助商寄予設(shè)立一些公司的目標(biāo)。另外，我與英國和中國的業(yè)界人士交流過，大家設(shè)立一家衍生公司，看起來人們首選的路線是，要么將其做大；要么開發(fā)相關(guān)技術(shù)，然后等待被收購。
雷鋒網(wǎng)：您和您的學(xué)生陳邦道博士活躍在fintech創(chuàng)業(yè)領(lǐng)域，能分享一下你們的初衷嗎？
Bill Roscoe：談?wù)撨@個(gè)問題時(shí)，需要先將技術(shù)分為兩類，一類是面向用戶的技術(shù)，一類是后臺(tái)技術(shù)。區(qū)塊鏈就是一個(gè)后臺(tái)技術(shù)。我們的初衷是，為銀行以及各行從業(yè)者提供更好的解決方案。數(shù)據(jù)存儲(chǔ)、保險(xiǎn)行業(yè)以及醫(yī)療行業(yè)對(duì)于我們研究非常感興趣，目前醫(yī)療也是我們一個(gè)大的潛在市場(chǎng)。
而當(dāng)我們進(jìn)入支付領(lǐng)域，這里的用戶已經(jīng)習(xí)慣了兩項(xiàng)支付服務(wù)。你必須讓他們明白，你做的是什么，如何保證安全性。這樣才能在用戶心中占據(jù)一席之地。
雷鋒網(wǎng)：您如何看待區(qū)塊鏈開源？因?yàn)樵谥袊芏嘟鹑陬I(lǐng)域的區(qū)塊鏈都是聯(lián)盟鏈，開源的安全性和可信度是否更低？
Bill Roscoe：公有鏈運(yùn)行良好的前提是有足夠大的社區(qū)，足夠強(qiáng)烈的積極性。但是大多數(shù)區(qū)塊鏈遭遇的一個(gè)難題就是，如何構(gòu)建更大的社區(qū)。我認(rèn)為聯(lián)盟鏈有著一些有趣的挑戰(zhàn)性。舉個(gè)大眾非常信賴的汽車品牌的例子，一個(gè)長久以來受到信任的大型主體在改變?cè)行湃文Ｊ胶笠话隳艹掷m(xù)欺騙大眾一段時(shí)間而不是被明確注意到，如何避免這個(gè)情況是我們一直在思考的。區(qū)塊鏈為各類交易提供了一些可能。
雷鋒網(wǎng)：您在計(jì)算機(jī)安全的研究重點(diǎn)是什么？您認(rèn)為它會(huì)產(chǎn)生什么影響？
Bill Roscoe：我的研究涵蓋了所有計(jì)算機(jī)領(lǐng)域，主要包括信任、隱私和安全等，我們致力于研究更好的軟件和建設(shè)一個(gè)更安全、可信的世界。
雷鋒網(wǎng)：7月7——7月9日，我們邀請(qǐng)了您參與雷鋒網(wǎng)協(xié)辦的Gair大會(huì)，您也會(huì)在金融科技分會(huì)場(chǎng)上做報(bào)告演講，能否預(yù)先透露下您的主要內(nèi)容？
Bill Roscoe：實(shí)際上，我對(duì)于關(guān)注區(qū)塊鏈的觀眾們非常感興趣，希望能在進(jìn)一步了解他們之后再確定我的演講主題。我認(rèn)為，了解他們與區(qū)塊鏈的發(fā)展存在著一定關(guān)系。如果到時(shí)我們的專利已經(jīng)提交，我將會(huì)更多地談?wù)勊鼈儭?/p>
————————————————————————————————
想要了解更多關(guān)于區(qū)塊鏈和智能合約的內(nèi)容嗎？想近距離與Bill Roscoe教授深度交流嗎？快來參加 7.7-7.9 的「全球人工智能與機(jī)器人峰會(huì)」（CCF-GAIR）吧！屆時(shí)，Bill Roscoe教授將在金融科技專場(chǎng)作大會(huì)報(bào)告。現(xiàn)在購票還能享受六折優(yōu)惠哦！
雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
專題
本專題其他文章
