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

区块链财富生态的成长离不开『安详』作为盾牌，成都链安将一手抓牢科学技能的钻研，一手抓稳市场品牌的推广，以『让区块链生态更安详』为使命，与更多优秀企业联袂共建区块链生态繁荣。????

——成都链安首创人&CTO郭文生传授

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

会上，作为蚂蚁链开放同盟链西南地域安详节点，成都链安首创人&CEO杨霞传授举办了关于『在区块链安详规模的创新与摸索』的主题分享。杨霞传授从区块链生态所面对的安详挑战作为切入点，着重对成都链安的办理方案与蚂蚁链的业务相助举办了具体讲授。

集会会议开场，省发改委杨昕致辞，提到四川省级相关部分正在成渝双城地域经济圈建树、新时代西部大开拓等重大计谋机会，及国度数字经济创新成长试验区建树的机会下，加速敦促区块链技能创新和遍及应用，助推四川数字经济成长和财富进级。四川全省现有区块链企业200多家，全省企业、高校、科研机构等已经申请专利100余件，专利和论文数位于全国前列。

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

郭文生传授暗示，以智能合约安详为代表的区块链生态的相关问题不容忽视，一般的测试要领难以发明息争决安详痛点。智能合约的高安详性要求抉择了『走向形式化推理』的须要性，而成都链安基于自主科研技能打造的自动化可扩展的智能合约形式化验证平台，可以或许快速、高效、精确地对智能合约举办『军事级』的安详验证。

——成都链安首创人&CEO杨霞传授

成都链安，自公司创建以来，就驻足于成都这片区块链热土之上，扎根区块链安详这一赛道，敦促区块链财富生态应用，助力四川、全国、以致全球的区块链行业的安详建树。作为蚂蚁链西南地域的安详节点，成都链安以本次峰会连系主办单元的身份，以安详保障区块链生态，以信任链接无限代价！

不绝摸索，，专注创新

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

同时，杨霞传授暗示，作为蚂蚁链开放同盟链的安详节点，成都链安将会为蚂蚁链生态企业提供相关的安详产物和处事，共建生态安详，并与蚂蚁链举办技能交换与相助，资源互通，共建区块链生态繁荣。

成都，作为文化秘闻深厚的汗青名城，同时也作为以区块链等新型技能为代表的的新兴之城，当之无愧被选定为『链X云』都市系列峰会的开幕首站。本次峰会由四川省成长和改良委员会和四川省大数据中心为指导单元，由蚂蚁链和阿里云主办、成都链安科技有限公司和成都区块链安详工程技能研究中心连系主办。

技能先行，安详至上

以信任链接无限代价

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。