近日，比原链基金会与成都链安科技签署战略合作协议，双方将在区块链安全技术领域达成初步合作意向，未来成都链安科技将会为比原链提供底层平台的形式化安全验证，智能合约的开发、审计、安全验证等服务，保证比原链平台和智能合约的安全性、功能正确性。
成都链安科技作为国内首家区块链形式化安全验证公司，致力于通过严格的形式化验证方法有效地提高区块链生态系统的安全性。公司依托于中国电子科技大学的雄厚研发实力，数十名核心开发成员均为耶鲁、UCLA等世界顶尖大学的博士后、博士等，且连续多年为航天、国防等领域的安全关键软件提供了专业的形式化验证服务。
比原链创始人段新星表示，比原链团队极为重视项目区块链安全防护，在加强项目自身的安全性的同时，又引入链安科技第三方安全验证平台，目的是为项目平稳运营保驾护航。
区块链技术的底层机制、算法是区块链最核心的地方,是保障区块链稳定运行的根本。目前，区块链技术还处在初级阶段，存在密码算法安全性、协议安全性、使用安全性、系统安全性等诸多挑战，风险不仅来自外部实体，也有可能来自网络内部的攻击。
因此，如何围绕物理、数据、应用系统、加密、风险控制等方面构建区块链安全体系是一个重要问题，未来比原链团队会与链安科技一道在区块链安全领域进行深度交流合作。
成都链安科技创始人杨霞表示，随着区块链技术的快速发展，高风险事件也呈现高发态势，尤其在涉及大量资产交易时，往往会出现“一行代码，打倒一种资产”、“一个漏洞，摧毁一类智能合约”等高风险事件，仅仅在18年初就造成了十几亿美元的资产损失。
链安科技团队率先研发出全球首个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），可自动精确定位到有安全漏洞的合约代码位置，使溢出等漏洞导致的巨额财产损失变为历史，让智能合约不再被“溢出”等安全漏洞所困扰，为智能合约和区块链应用提供“军事级”的形式化验证服务。
本次合作双方将发挥其在各自领域的优势，深耕技术创新，积极拓展在区块链相关领域的应用。围绕底层算法的稳定，系统漏洞的加固，基础架构的保障，应用环境的安全等方面，携手构建区块链安全新生态，共同打造区块链安全新高地。