7月24日，由浙江大学方图区块链研究中心与浙江省金融科技协会联合主办的“图论三期论坛·中美区块链技术与应用交流大会”在杭州成功举办。

浙江大学方图区块链研究中心作为主办方非常荣幸的邀请到了耶鲁大学计算机系系主任&CertiK联合创始人邵中教授、浙江大学信息技术中心主任陈文智教授、FORTUNA方图区块链创始人蔡良滨、DCC创始人朱晟卿、DATA联合创始人宋晓啸莅临现场并发表了主题演讲，同时嘉楠耘智区块链事业部总经理邵建良、京东云区块链实验室运营总监潘熙之、韩国MoFAS联合创始人Kim Seongkee参与了本次大会的圆桌论坛。本次大会不仅是有史以来耶鲁系四大区块链项目Fortuna方图、CertiK、DATA、DCC的首次聚首，同时也是专注于智能合约形式化验证的CertiK项目的第一次中国行，更是耶鲁系与浙大系在区块链领域的首次思维碰撞。会上，各位嘉宾就区块链安全问题、区块链金融应用问题、区块链对于数据的重要意义等方面展开了精彩的演讲与讨论。

区块链项目CertiK以智能合约形式化验证而闻名，耶鲁大学邵中教授本次以CertiK联合创始人的身份参会，以《创建完全可信赖的智能合约和区块链生态系统》为主题发表了演讲，邵中教授表示，通过将较大的程序或者系统分成小的模块进行形式化验证，CertiK可以有效验证智能合约的逻辑是否完备，是否存在安全隐患，同时邵中教授认为区块链技术本身还处于早期，随着可扩展性和交易性能的逐步提升，未来的系统复杂度将远超现阶段的水平，对于安全隐患的防范以及智能合约的形式化验证将存在大量需求。形式化验证作为一项成熟的安全领域的重要技术已经成功运用到很多领域，把它有效应用在区块链领域将会对智能合约的安全性、一致性、可理解性、可编程性等各方面产生重大的意义，这也是CertiK花费非常多的时间和精力去做这件事的原因。

近两年，中国区块链技术在国际舞台上不断崛起甚至一度领先，这其中有一股中国高校力量不可忽视，那就是“浙大系”区块链。陈文智教授作为浙江大学区块链技术研究的重要领军人物之一，也在图论现场进行了精彩的分享。陈教授在现场为大家详细讲解了DAG技术在区块链领域的应用优势，并表示，下一步将通过使用环签名、零知识证明等方式增强区块链的隐私保护。

作为全球首个耶鲁系区块链项目，FORTUNA方图创始人蔡良滨就《衍生品将是区块链金融的第一出口》为主题发表了演讲。蔡良滨表示，金融的本质是时空范围的价值交换，而金融的发展一直沿着价值交换的范围扩大与交易成本降低两条主线进行，而区块链作为唯一自带一套金融体系的技术在这两方面都会有很大的贡献，比如基于区块链的通证就是目前这个世界上最为高效的资产证券化手段。由于金融衍生品的切入点足够聚焦与轻便，不受制于现有的数据与资产上链的生态瓶颈问题，衍生品很有可能会成为区块链金融的第一出口，而方图作为这个领域的领跑者与开拓先锋，正从华尔街、芝加哥等地不断吸收金融衍生品领域的全球顶级人才，一起用区块链改造金融衍生品的世界。

Distributed Credit Chain（简称DCC）是全球首条分布式银行公链，致力于为全球金融服务机构打造一个分布式的金融生态体系, 以科技赋能金融，通过分布式银行金融体系实现真正意义上的全球普惠金融。大会现场DCC创始人朱晟卿就《金融系统性风险解决方法探讨：分布式信用》为主题发表了演讲，朱晟卿表示，你永远不知道自己的信贷数据有多值钱，DCC可以帮助你将信贷数据的价值发挥到最大。
旨在利用区块链技术解决数字生态系统中用户不信任问题的DATA是耶鲁系的另一个重量级项目，联合创始人宋晓啸出席会议并就《区块链——数字化生态的新基石》一题发表了演讲。宋晓啸认为目前的整个数字生态是崩溃的，而DATA以AI技术和P2P移动存储架构为驱动的去中心化层数据协议，将在这一领域继续发力。

图论论坛分享环节结束后，在方图创始人蔡良滨的主持下，耶鲁大学计算机系系主任&CertiK联合创始人邵中教授、浙江大学信息技术中心主任陈文智教授、DCC创始人朱晟卿、比升资本创始合伙人&嘉楠耘智事业部总经理邵建良、京东云区块链实验室运营总监潘熙之、MoFAS 联合创始人&CTO Kim Seongkee等嘉宾参与了图论圆桌论坛，就区块链学术、安全、性能、中美环境差异、高校学术认可、巨头入局竞争、与互联网时代的差异化投资理念等方面展开了深入讨论。

图论论坛是浙江大学方图区块链研究中心定期举办的系列主题论坛，本次大会邀请到了全球耶鲁系四大区块链项目以及国内外知名学者与机构，这也是耶鲁系与浙大系在区块链领域的首次思维碰撞，学术交流与应用探讨，别开生面，精彩纷呈。这次论坛让我们发现，在区块链的世界里，象牙塔与工业界的距离，变得近在咫尺。