『从理论上来说，相比于传统链下的安全风险，区块链生态所面临的安全风险更大。因为区块链系统由代码写成，只要是由代码写出来的，就肯定会有安全风险。』9月2日，成都链安科技有限公司CEO杨霞在接受小链财经采访时表示。

?

随着区块链技术的成熟，它被应用在金融、医疗、物流等多个领域。伴随而生的是各类安全事件逐年攀升。数据显示，2019年全年区块链安全事件累计发生超万次，全球累计损失超60亿美元。数字资产犯罪案件中，美国占比为28%为全球最多，欧洲占24%，中国占比18%。

『而且，由于区块链技术的不可篡改属性，一旦被攻击，那就无法弥补。』?杨霞向小链财经说道。基于这样的原因，成都链安早在2016 年，就将视野聚焦在了区块链的安全研究上。当时智能合约引发的安全事件频繁发生，杨霞敏锐地感觉到了创业契机，并开始寻找针对区块链领域安全问题的技术解决方案，最终在她一直钻研的形式化验证技术身上找到了答案。

?

据介绍，成都链安以『形式化验证』为核心技术，推出了『一键式』智能合约自动形式化验证系统Beosin-VaaS。可一键查验代码漏洞，检测准确率超过97%。其实，形式化验证技术是一种数学方法，即把代码变成公式，用数学手段去推理证明。

?

具体而言的步骤就是，第一步，对智能合约或其他程序要完成的功能进行形式化的描述；第二步，对代码进行形式化描述；第三步，证明代码的功能实现与合约的设计目标一致。因为对目标和代码都进行了数学建模，所以整个过程都是数学推理，可以保证结果真实有效。

在杨霞看来，区块链技术被纳入新基建之后，更多政府、企业开始应用区块链技术，如区块链+政务、区块链+司法等，而这也会带来更大的安全压力。『因此，从这个层面来说，区块链生态安全的前期预防就很重要。』

?

因此，成都链安在区块链安全领域上进行了大量投入和深度探索，现在已经布局了一整套的面向区块链生态安全的全生命周期解决方案，推出了『Beosin一站式区块链安全服务平台』，能提供业内最高质量的区块链安全服务。『这样的安全平台，对于企业和政府来说，最大的效用就是便捷和安全。』杨霞表示。

?

在保障区块链生态安全之外，成都链安如今也正在积极探索企业上链之路。8月28日，『链X云』城市峰会首站活动在成都开幕。成都链安科技有限公司、成都区块链安全工程技术研究中心联合主办了这次峰会。

?

在峰会上，杨霞表示，成都链安作为蚂蚁链西南地区的安全节点，将提供一站式的区块链安全服务和产品，为区块链生态保驾护航。在杨霞看来，企业上链的优势很多，现在市场上，华为、蚂蚁等都推出了面向中小企业的上链服务。『选择适合自己的最重要。就我个人而言，更多的是希望企业不止上链，更要安全上链。』

目前，成都链安已经推出了基于形式化验证技术的智能合约自动形式化验证系统(Beosin-VaaS)、安全态势感知系统（Beosin-Eagle Eye)、、反洗钱和调查取证系统(Beosin-AML)、威胁情报系统(Beoin-OSINT)、四大核心安全产品。『希望我们能用这些产品，为企业上链之路安全护航。』杨霞说道。