會上，各位嘉賓就區(qū)塊鏈安全問題、區(qū)塊鏈金融應(yīng)用問題、區(qū)塊鏈對于數(shù)據(jù)的重要意義等方面展開了精彩的演講與討論。

7月24日，由浙江大學(xué)方圖區(qū)塊鏈研究中心與浙江省金融科技協(xié)會聯(lián)合主辦的“圖論三期論壇·中美區(qū)塊鏈技術(shù)與應(yīng)用交流大會”在杭州成功舉辦。

浙江大學(xué)方圖區(qū)塊鏈研究中心作為主辦方非常榮幸的邀請到了耶魯大學(xué)計算機系系主任&CertiK聯(lián)合創(chuàng)始人邵中教授、浙江大學(xué)信息技術(shù)中心主任陳文智教授、FORTUNA方圖區(qū)塊鏈創(chuàng)始人蔡良濱、DCC創(chuàng)始人朱晟卿、DATA聯(lián)合創(chuàng)始人宋曉嘯蒞臨現(xiàn)場并發(fā)表了主題演講，同時嘉楠耘智區(qū)塊鏈事業(yè)部總經(jīng)理邵建良、京東云區(qū)塊鏈實驗室運營總監(jiān)潘熙之、韓國MoFAS聯(lián)合創(chuàng)始人Kim Seongkee參與了本次大會的圓桌論壇。本次大會不僅是有史以來耶魯系四大區(qū)塊鏈項目Fortuna方圖、CertiK、DATA、DCC的首次聚首，同時也是專注于智能合約形式化驗證的CertiK項目的第一次中國行，更是耶魯系與浙大系在區(qū)塊鏈領(lǐng)域的首次思維碰撞。會上，各位嘉賓就區(qū)塊鏈安全問題、區(qū)塊鏈金融應(yīng)用問題、區(qū)塊鏈對于數(shù)據(jù)的重要意義等方面展開了精彩的演講與討論。

區(qū)塊鏈項目CertiK以智能合約形式化驗證而聞名，耶魯大學(xué)邵中教授本次以CertiK聯(lián)合創(chuàng)始人的身份參會，以《創(chuàng)建完全可信賴的智能合約和區(qū)塊鏈生態(tài)系統(tǒng)》為主題發(fā)表了演講，邵中教授表示，通過將較大的程序或者系統(tǒng)分成小的模塊進行形式化驗證，CertiK可以有效驗證智能合約的邏輯是否完備，是否存在安全隱患，同時邵中教授認為區(qū)塊鏈技術(shù)本身還處于早期，隨著可擴展性和交易性能的逐步提升，未來的系統(tǒng)復(fù)雜度將遠超現(xiàn)階段的水平，對于安全隱患的防范以及智能合約的形式化驗證將存在大量需求。形式化驗證作為一項成熟的安全領(lǐng)域的重要技術(shù)已經(jīng)成功運用到很多領(lǐng)域，把它有效應(yīng)用在區(qū)塊鏈領(lǐng)域?qū)χ悄芎霞s的安全性、一致性、可理解性、可編程性等各方面產(chǎn)生重大的意義，這也是CertiK花費非常多的時間和精力去做這件事的原因。

近兩年，中國區(qū)塊鏈技術(shù)在國際舞臺上不斷崛起甚至一度領(lǐng)先，這其中有一股中國高校力量不可忽視，那就是“浙大系”區(qū)塊鏈。陳文智教授作為浙江大學(xué)區(qū)塊鏈技術(shù)研究的重要領(lǐng)軍人物之一，也在圖論現(xiàn)場進行了精彩的分享。陳教授在現(xiàn)場為大家詳細講解了DAG技術(shù)在區(qū)塊鏈領(lǐng)域的應(yīng)用優(yōu)勢，并表示，下一步將通過使用環(huán)簽名、零知識證明等方式增強區(qū)塊鏈的隱私保護。

作為全球首個耶魯系區(qū)塊鏈項目，FORTUNA方圖創(chuàng)始人蔡良濱就《衍生品將是區(qū)塊鏈金融的第一出口》為主題發(fā)表了演講。蔡良濱表示，金融的本質(zhì)是時空范圍的價值交換，而金融的發(fā)展一直沿著價值交換的范圍擴大與交易成本降低兩條主線進行，而區(qū)塊鏈作為唯一自帶一套金融體系的技術(shù)在這兩方面都會有很大的貢獻，比如基于區(qū)塊鏈的通證就是目前這個世界上最為高效的資產(chǎn)證券化手段。由于金融衍生品的切入點足夠聚焦與輕便，不受制于現(xiàn)有的數(shù)據(jù)與資產(chǎn)上鏈的生態(tài)瓶頸問題，衍生品很有可能會成為區(qū)塊鏈金融的第一出口，而方圖作為這個領(lǐng)域的領(lǐng)跑者與開拓先鋒，正從華爾街、芝加哥等地不斷吸收金融衍生品領(lǐng)域的全球頂級人才，一起用區(qū)塊鏈改造金融衍生品的世界。

Distributed Credit Chain(簡稱DCC)是全球首條分布式銀行公鏈，致力于為全球金融服務(wù)機構(gòu)打造一個分布式的金融生態(tài)體系, 以科技賦能金融，通過分布式銀行金融體系實現(xiàn)真正意義上的全球普惠金融。大會現(xiàn)場DCC創(chuàng)始人朱晟卿就《金融系統(tǒng)性風(fēng)險解決方法探討：分布式信用》為主題發(fā)表了演講，朱晟卿表示，你永遠不知道自己的信貸數(shù)據(jù)有多值錢，DCC可以幫助你將信貸數(shù)據(jù)的價值發(fā)揮到最大。

旨在利用區(qū)塊鏈技術(shù)解決數(shù)字生態(tài)系統(tǒng)中用戶不信任問題的DATA是耶魯系的另一個重量級項目，聯(lián)合創(chuàng)始人宋曉嘯出席會議并就《區(qū)塊鏈——數(shù)字化生態(tài)的新基石》一題發(fā)表了演講。宋曉嘯認為目前的整個數(shù)字生態(tài)是崩潰的，而DATA以AI技術(shù)和P2P移動存儲架構(gòu)為驅(qū)動的去中心化層數(shù)據(jù)協(xié)議，將在這一領(lǐng)域繼續(xù)發(fā)力。

圖論論壇分享環(huán)節(jié)結(jié)束后，在方圖創(chuàng)始人蔡良濱的主持下，耶魯大學(xué)計算機系系主任&CertiK聯(lián)合創(chuàng)始人邵中教授、浙江大學(xué)信息技術(shù)中心主任陳文智教授、DCC創(chuàng)始人朱晟卿、比升資本創(chuàng)始合伙人&嘉楠耘智事業(yè)部總經(jīng)理邵建良、京東云區(qū)塊鏈實驗室運營總監(jiān)潘熙之、MoFAS 聯(lián)合創(chuàng)始人&CTO Kim Seongkee等嘉賓參與了圖論圓桌論壇，就區(qū)塊鏈學(xué)術(shù)、安全、性能、中美環(huán)境差異、高校學(xué)術(shù)認可、巨頭入局競爭、與互聯(lián)網(wǎng)時代的差異化投資理念等方面展開了深入討論。

圖論論壇是浙江大學(xué)方圖區(qū)塊鏈研究中心定期舉辦的系列主題論壇，本次大會邀請到了全球耶魯系四大區(qū)塊鏈項目以及國內(nèi)外知名學(xué)者與機構(gòu)，這也是耶魯系與浙大系在區(qū)塊鏈領(lǐng)域的首次思維碰撞，學(xué)術(shù)交流與應(yīng)用探討，別開生面，精彩紛呈。這次論壇讓我們發(fā)現(xiàn)，在區(qū)塊鏈的世界里，象牙塔與工業(yè)界的距離，變得近在咫尺。