成都链安与蚂蚁链和阿里云联合主办【链X云】城市峰会，以信任链接无限价值

// 导语

PREFACE

2020年8月28日，由蚂蚁链和阿里云主办、成都链安科技有限公司和成都区块链安全工程技术研究中心联合主办——『链X云』城市峰会首站，于天府之国——成都盛大开场，共同携手开启链上城市之旅。

以信任链接无限价值

『链X云』城市峰会——成都站

成都，作为文化底蕴深厚的历史名城，同时也作为以区块链等新型技术为代表的的新兴之城，当之无愧被选定为『链X云』城市系列峰会的开幕首站。本次峰会由四川省发展和改革委员会和四川省大数据中心为指导单位，由蚂蚁链和阿里云主办、成都链安科技有限公司和成都区块链安全工程技术研究中心联合主办。

成都链安，自公司创立以来，就立足于成都这片区块链热土之上，扎根区块链安全这一赛道，推动区块链产业生态应用，助力四川、全国、乃至全球的区块链行业的安全建设。作为蚂蚁链西南地区的安全节点，成都链安以本次峰会联合主办单位的身份，以安全保障区块链生态，以信任链接无限价值！

峰会现场，来自政、企、院、校各单位的领导和嘉宾汇聚一堂，人才济济，针对区块链产业应用和行业赋能展开了一场高质量的深度探讨。四川省发展改革委副主任杨昕、长江学者特聘教授张小松、蚂蚁集团智能科技事业群副总裁金戈、成都链安创始人&CEO杨霞教授、成都链安创始人&CTO郭文生教授等嘉宾先后上台进行了主题分享。

会议开场，省发改委杨昕致辞，提到四川省级相关部门正在成渝双城地区经济圈建设、新时代西部大开发等重大战略机遇，及国家数字经济创新发展试验区建设的机遇下，加快推动区块链技术创新和广泛应用，助推四川数字经济发展和产业升级。四川全省现有区块链企业200多家，全省企业、高校、科研机构等已经申请专利100余件，专利和论文数位于全国前列。

不断探索，专注创新

——成都链安创始人&CEO杨霞教授

会上，作为蚂蚁链开放联盟链西南地区安全节点，成都链安创始人&CEO杨霞教授进行了关于『在区块链安全领域的创新与探索』的主题分享。杨霞教授从区块链生态所面临的安全挑战作为切入点，着重对成都链安的解决方案与蚂蚁链的业务合作进行了详细讲解。

同时，杨霞教授表示，作为蚂蚁链开放联盟链的安全节点，成都链安将会为蚂蚁链生态企业提供相关的安全产品和服务，共建生态安全，并与蚂蚁链进行技术交流与合作，资源互通，共建区块链生态繁荣。

技术先行，安全至上

——成都链安创始人&CTO郭文生教授

会上，成都链安创始人&CTO郭文生教授以技术和安全作为切入点，着重对『智能合约安全及形式化验证技术』进行了主题分享。郭文生教授从智能合约安全问题、形式化推理、形式化验证平台层层递进，深入浅出，带来了一场高质量的主题分享。

郭文生教授表示，以智能合约安全为代表的区块链生态的相关问题不容忽视，一般的测试方法难以发现和解决安全痛点。智能合约的高安全性要求决定了『走向形式化推理』的必要性，而成都链安基于自主科研技术打造的自动化可扩展的智能合约形式化验证平台，能够快速、高效、准确地对智能合约进行『军事级』的安全验证。

结语

区块链产业生态的发展离不开『安全』作为盾牌，成都链安将一手抓牢科学技术的钻研，一手抓稳市场品牌的推广，以『让区块链生态更安全』为使命，与更多优秀企业携手共建区块链生态繁荣。